n81-L5-f12365-r37-t12363-ver3.3b.txt
p=94106285031759420351680656745159859608541478886076581583459385102010164077124168495381684722928806505100788418709453495937944673658428499253131067922721038041254417693350624239152617483477608375695451102922161435726888642977756985882392402453636732599784270312016509911094536312229723791957401378076362355374062674664448486047865629917582369234832155537685796990843827334720775126769407103675584388052047485931436789870298769469891502829591934429057327349198587264703654876854379437676857402426037001064882197877129231924655014774626505837711306969276679567341921658680139057792437627016941157288218833501253997615957325264398217801725124034423379044226946758596790640895347286791728104874407688067645828929693321315858343407759182644018882817322612259106384110730471590675348736493567836860503770063982847875169749993558646086111533444851953801312598676645769762521573608771848528165000469001075649514190204308624079166783470734001318840036589207712754730095659003338115671601836572485518596764661657332007922923145985050000037596440214506369313786442999114852962223400947098068569151090327492758288373622771485959125493525083321297843928366182058675423712483063530948773088186158282651057087155275539026040689245126236609282045347195987082981487170578822553147678760871982484212829193130251594493585916746961151578966253255077850337384752145480737020990287089159802215739578042976688415405629243166233325814629606606277811983378839530812119466912661277200488285846599994301512919512973346696404893651584480541479587863805258887341230831640338395749395786882070572723696837395713637755214576821575242896843242470359875790044791930669629700982057646652002312537013604960925652498076776542349666520353744847329724084253760588136700040930945794418536589044308552943695103193218655427178365433301211604789537200098538847489202459530506978770520447292880155538758564059647739249809276790507256082820584883313873230036597819487905980567344927955985793412032165708364607374557132628680043320526885819797547527290356031999177367938781807061892080844839637877847477694229263321498997789485535132593026027550624002930764481781465970468281220554537529516966957955970924111251938544979005343227115618722421053107811304775639687581298943039880998023516313433144362331817100858850975211319750581199897339010421074406850026711051690383544518240364857776794717434535566795123692361666340736161033738760787185041891622098030547299870616849656189423759983512570879421478356854550729645679968186068073535084414290108913664425607739285492103142237600991841354407629166387257810770214513869007160586892254321150200749328365726901356337957185294207452014590165550537664678857095849667928546553295298219829269093092763203167392915645602418562222206129452854955363673133663494536086189238083965251506758668033765827093361846893999004540815517172480728259098563837960204129917401082444707134248388083286284754914137917001834646313252373135825417244557901997583642853020230558732250555313099973201905877031859961115076519991659965230589470370585740857676142961871931051556555721750043724780860325943420336588180571942597542983858997088349976951328099894473474376746788245510567005774187770761568709460395805533577169008534629686304898231624383849002693302341814891682897386205934119306285147168959547747253236756489246651848181377356697371005336810405716327907657421855614104291875302506047773919287595550054395847300252994070427808979119351928361886034728308568257910938811980258213888067859920686960543457001414808102804980118407780306242707349783518684640821060045582735312876694357231126957345494018945054525683228323664213117056981121748068020983057838452711502945359522151068583251636514297333081594531865101150986331518607765997675874053968639951691278342284489500182782909818101520837355616717050118225785048681159058669887139103647974804556703791790836658786694374101862984292510034035082238191892925861921338784868764432182854241164174317051377274871260360287031084105456324630736854213782292358882197908813900778224743049523186544384313359085977040465985335306353507818006874796430555683474521427994053733242006698579270977075920892285093201974865470425514989762997499355613918059181885675218104698319187235732737723873232788538638327391254145411289515176801316338046216438467076869437542860757921933124629137126449216738086656453063499992582860189546867671080288622283665526590512525258501423837813569067546027103903966230123019829608532454054713727782593998022195441838030064496802857323608734273751560890351180203255185311245559698452127623404721398039267060752260973486686348729300963239218303084212703527189690143451876960914897302583051331024559712610205415341158804360773499448515259128636414337388692945108616677429850372827900154193412862675275341610176250571579222509424145707025165024739859132842870589636792841406712612138027995839226241286318306167736251010955770718499644104162931254906238043520230532500711063210129767324072943228892500629913454098763532801912954685615676787375133169348709732401254588658361087646766249366360652538647897499896581862049410729168154523313304960179299052185074385208547431944050319533248483882465039259564302294648669147568712574486753161460464353964502775013135239631397441237633163002323850793127376887169741346182647032561646691817721212026098894005231064274612650716091081206658084670903398495640539753928512760941999914876035378089177219686474705881315200696332379605618510856365974471749889616037122956967432631860283912011891627450284356272574093078308535967490448047005067144236418488343248140795459452252900606717736832578023051688564934963024828478133275827822290681452603058731302990478980622252709682393271526846742681039612831346197509521470049992594721988912645870764641270101356746741129610371017929544775807947231069931073606391714204335224533188494848681353027128027156107951701293813291431553854811240006515114558084791729569034333737005260227558261137035899041731298940430577764744256293583033273509870738389125891027440574306298279768792284109245959404281539050045395709142726715870741912259734117759079439411114459256069008472839166620214835961030102803515157996847125695562642723129425430184288252523398427392061815041154843271765507031628347020514162564037916942841406329116988666693371180413716257424732110220523425374137986235797820095622169010627727314696798535334684340181081717217611685064632973739926976058151876129628719419877781248000728974889991513801725582188648735292686605089811109186062389915429154906211788127898325104141842298569737524589284791423053921736436050346528118710112959860229139638194587186247905826470747572664924850359068534440322272950973272954289967233276901945530402226530959148851358882872772248534300906910153257386422277457669221155732921578300507771091405228920377895467739055923563536773273047300134197403963577440681110853081819777392534976619828449502677998100903468652883981389167612544517695661338195676525844239642974572322915722630376659425531540033427883957681328515400107796792294445186367532033048315501074167862023756650520850513803201924832379842150570188901474637994335039716055422988840244180393186426729082709539449344112400473316877350597906789366583684556356334116737597931311330732271948420024460098294049374076422942045403353311602011699907016103329949782063659261781362028278754101613946726341317198630877107788808872244097739425074703510292654586380031497086563960233511601230822203083088239902275499422748273490887873863248406749633178397791845978172689242386478014820483051323053272639199519326678992216510350306753926160932018272483267672371369321254278913488681589344534457704130438661839636123752755410332050638749254931651549379409441907122906314486570758895194105906605482212729977105940640702350483810195776246993553768512216864043026201101221673305778192484609415991006719568873066022448755775096330265130454728987136369322572345294160155622533463302809793472509434026308535814144149784006568773139320028262016628950165733920924362504838500145114118134217638539197631503953552570788713508262285804428970456033600677910310551700921215860438465069882570127569683232601327530202539432619654716055155081606798854157578666782441029815435334327803857154918831886099035068234699333623494618711558660519395686863696364972920221260736038115706185271432153963018274058509487134379495194106431832960447009119783622821233094495227473493573709542233166717257174226136947157980306113685674229336682661303053522190786003952730951646423961796366081154001017866974848600325770273715909004711219009274564392252056109998495710938574618344943195340401882543343274124437087012697079668331892953774859980967115724581617541844025254249572753906251
g=7
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
354741
22
*** a(t,u0+1l^(t-1),r):
359561
32
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 29 May 2024 05:32:51
end  =Wed 29 May 2024 10:01:54
elapsed(sec)=16142.716146