n92-L7-f7622-r3-t7621-ver3.3b.txt
p=400017334555903438257343101993381976276928526017888555888594407767814754693664919054999288046163595704200691398073649324742825827297990039294429205404130804205417143874372424208283771953679622717974531192562492809238532093786067093269090212471150099888829499804599413779926296520392009413559148722298468911607058746866467176032103746312222885166692169880494236344852638752381188937536680992612844550400815941819697785304846448059297324594120147537753682157804967920206456679294600395009259971888669773715715144872342851275595590546053086473042135882951794125014504086311124171614510113733321018991253221986285881873911243501008385321090691741161130648590637014762337247913350390283256543396659407928655410853215005945676361059523359409293693084479293864985654329279945708790645311251808119566705409028598689474595104438153953942680604377033915518726970049066450238130963001242462628350168552338124681173652824919398241090990648120001347884984846684413047003897875405950259215567958370486767947534765869481456310899535221225749697600095843574642916316122538068131960976796029455410383025121907344365334643925321938158303416984111658725980485171413279274397618024734172450883482916083834854831875570218588560153076021195139059382874503206341669668822179943942186356729243051720350632474373682076052429766760679086436551998510715726936227696371465959362815717321446627803673939781136559346607653144011226284459843798847907369872751717265900685611733580907407952273236611674717204626621370763919055582726321175472966049525983778122348373200441870984675315392605889627453013540598562250303860112724535007590714677984337678350630421041369221996857008711646302364912302753355846159713618157552662130745243059207150746936196559642532722030342398549924377496476590016839713282665045782550734580902669116483374349267970533377755517437959652051001581773135548256219941861428092912368810713907683741972466024776284767385364520931497705376180651600705185988248557551157345261768196400373900027691618261991186199557069371344453586610526176993467648422952638594605532700340913276326930317965696319438022266794971351568650743523275720241081834415982206811176805272779487890159674479656454507127399161511037031883331083333515218910309620475866990868888547507613331204508179746948943487625819787468929867235637918058622141538768517380717130180194472534954210169143933275820563267877498580859673247687515689855721017119331515765341565815154615892313763850137722621604928326748431943741038248731497568736174967373205385031908104025553049594315449348401797952362287642525045818797938150804872281906241313512528553226540156337446971166782343714147281496779972893656765130793200749859349255316647013004031523067802898528951799465658981501221379853697270155012689997912821055119513998484614977511131340730465855186045930274026188219827512066061449247650635595114417882825139459174806183066094936860933851601654203268411791346489471130245602691663515784793448210695190993319634759456401149604006053589450668868580386599913151172242313961068714069182543518030552095317081638594123033285567116891459019084391916540398909793247170392365566332602419463244687895735279806305140963218342922224415661984922227788887346172193682882289771634846247256811256481045057169526688275736561012826334184610052528209383348392951021794591882279090257333001815223761361317950754601526538225862255438768143427690572742003709250406379580751037057241288078857894960626101103178378021634858205359136849297366333636068036503859071423129932678651144442967942401908860703755863641415261635947190191640283028423782132183558337662968681191231936687302444072825019419805358759445218349101864387223931515375462243650514553497687416637031986594209155131830463207671014617179606024175882418008526583255850617385759372646552963769786788537455046793714156496613063017824233218847628598867810649564134437008946346903498052165601826730715973950889726487542549533889325181707263600249595291685161726832312352909632332674717302877350687924440283994706337472287148617331045949340401500955022031341182605630731033245704727337525886556982637802862066574962674970618301348448775793847281623880710456279819635462119911403511409018780818414690887628599804910614403438188257090446940477153560448862060664357923132249568005137383889686392693135194263738935271332705846284525752517398100445002206350850470582930803579066153616348969891538723186372283571228242273094692838149432202781903488757643316359728415217220212583408420912207754397644368177878525651281763776472834037030287257782624710170594832777941757029415845568992069935316626371293526193541943308351062668650359211984928739555068488697009540539782507515131836132252028283769639486983764272277531152403618630762121434779811659184831212058198735098575314414066343814180643632104793411015312461383599469246884059325491408431436312004500892471290023534098869436624284171637177933821058289687919382095881107846372081001784905910029072873250060935691524720652196688429672224002649615329338895347514840721932706617240703747245384209969201645994664539341953285706914859221545534966569093496653663089284149654285149017169965542078062832501337818961203304986198818488367669295738590049614555227051749464116361010868976080593327565283314244637487859243600685372265879110981256823064715755307748874995327337815640693540711131851950993666071149486923623738452074702359950567780416693957507104705768711929482523177899183283385541513062604981722588409915766428363564443653332549550138239173343548543937261149902822804069968917585295620382438848591552728539444049627247652876627102580665751885083905647112099512965669987000488592912478578220689997940778123567989241898192216063984215210349656316994133199879485194058890417744926208341428135554468688395365442033541961313035619517353666814871381744378845434791789608508831103137123298223023808316823101859288754659036852669309436027452005714376975458533172793781204441510582502660134026077320860833010791625777786030399772551420719438478591803126276830041370851161425600543916262245253701874820633700909242597694019918373734418351723359349596389670978928362911860151448785119702745334420141984532447374526178480407621383211047265317612991235015579839700227942079015985106803043517368870818172808007379503035624942646552245339108956873905277378674260921301374545737406264621402766271035805369228630888234896825176151696205562917596874674953254744296683349339365235149962666578432679033442248582796978472473702362824350761017
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
205
1
*** a(t,u0+1l^(t-1),r):
212
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 3 Mar 2025 14:58:09
end  =Mon 3 Mar 2025 15:55:21
elapsed(sec)=3431.821219