n57-L5-f9644-r47-t9642-ver3.3b.txt
p=83873867251006311337759089991894998316077857980902009345130875530980484256479043308518006980999555529041059738196047846332784324771375997443573864831171757504093073771930551769660572979990765855250636616222006016624738255266168802713968513075430991414496196029482548871516566259793314312321518658988835332023260650894742390897644028898011466070336687100413626372947806261418489752818453685903945831562749754228618587125392389766218697132393562131487580379356813494791114532278341731699017285603924267304864532231512266174851749970184593954463713003380562292329066472071721269273849036924272708749447752419925900133687491520965257378191720366495201033167915605147421845628882816082019837375278730471055940235811800529923229271502332310435577268736003612162533115796217568303695157681112045470786046608691387291717266435479737919540160885697203221547593317440173072550331136400468543857871415969263603586944100563230874323746239493831670044240381506816759272345693248898557480824222374655773593819975709431290544764127159727621582795558840894652725676199311534931828015573967431093839095432948916122802305333481527424439860799200776285744008682342832773124192288182650470561948981358088603578944916100210937568506261227486251757883741075648950976013670568660430931533256782637395260834522288316305410844304044191904201480752797151931416656069621241436217564176106265142642268822863811802343393685991630293879866043063727820670833150904060580513169094091647950620820120179012102456033718501864084151248336985926656247547414781978688504274897899834447271604087955965203648720285034729103403258266062205031809953876636404964495584146075759288735306560203470964368513449753707379900210141304472242337111221810736837550124703091345981541157647648116105470269161654838873456044984768323068135523950517606012991350195548036494490102759590767314814975512513479675745877610705536791246222597240347004678163927263665378708802844638275763843353953383510925672525330020166560798799035249988359667392286463354496093679763182264860116761866063171592084181710346822405507763530372786111748773728682839909922722425330339971808115452492500359688285250454619185698650285538440124603850845545811801475200974750666471284686779171490039217477529284344445297226103741823664233471243123369836277470747070582745211204020130056605008233681436448008610530118850924289516771585893862405306305317455558148053387963028354420352205515182965770187459536715904143060151991217231800378686485809314842640730027299564831511930080028765677195220562305020543481423967978499777645853378621960527165882152122007260879752020658685439618097094167495759940761299367113521862873217975804434036212204198106753607677752559995508285085008190813561827782834355255273696839005427771438702268397106718865312424793457113948457256743797796187363086633124363233776618326534355464057432908588414297525046935431655738691937416078990089147490490144270133707776004457913234158624240868281092134179718844081313085033249729158366785409652312913300071178691509580830533081764061284933970583420222131800705643318830391314741648646591959091995714686775861750353325040459962157278742473326475066191591475862367982498786914769945631501648736126134165813775398840643255048710384245543503716260523396344245065756367475894568655633995231446998635812835886073447330408681586830947245340555556733395326340663922518867362493775947487374789985410191808633352705311206603406975576857589938219975466586115622188726800375193848416206917448184614600976171257392344668226619676858300609674984751065946944409850151087662969815268615406227406954578948268377465907879552766243332820836690031265843962226507716146066247411229220556159317295463398302616421564981076371885675520995447927748319914552602131466568312146547157956840904208412053475684486039706500811198849057289758282657228322232090447455310682590889528757454928481447620135694405216032684419421501194679939463842290040436370324611506033957718312657855318791474566211187822452001705823868495490304551702077384040860029380958089421185584721126610374175748564856629007674835562622453378781082981381945530982230522811235186593483771564821219407059629480933945552400218669045386152464466987916557336250113140233315361295474785414507648727344264576021237064142860009316115055530944108048441475241861500905720046091689157677569701804309560127971591224132867984282663934753718989289399022786590057007427613251405106241194909374865908738701295363629976272924175408278621898856135221917430770069347116849289628244974310670064214978465459130904780820816494456431431234016321305682626219813868958703539462381739359021194662808601259106577699660176131004326721362018847513691190490624596385499913126228898932698036103314615067081846279110293432793605747177515698444588967321812491389083550051293153708345923966400562973127470364855826775898660001056952791070990745788363234095197205585728244914337733604876469256861314351686844635456668401335118799335389281636963643742886142114830994254516546739462806350700966066780736485157042308575995121501192542229329670096828158266810035223845819934832413819657173690918212468268520044132513827851189758240405267429330882303645961604477047613808869702149186897293243273634092827124670221827253619118262079086869422551026851313964137495476035341915803641612933091055744509915797357864738122717167259298359589718623262966332789313135160260312424593583585923789881196962517095880613369800679800739621511561957041081301866518327518340720876231690980566185204736876562646814086098857291767189414552746154629798385671242885100583713648701324140718635298362517456422432246021179562661093120960040396542404046836835455114895007955896800696064902295877841202728805037255928755367810805231656880622352165698571193031374411055973757122583900409918387925626623826795086319748965337749630821557636456579332222453639016338458480452780394473909363885299307571614766154069387872141655048614692080970986310699816633139030152865806988920937163274755463592406410649247927491532412014513633906791397893659307163383282054637031561178541900669442393518530715001305166312985912771479856319526497160499742783429956467096442453586944031035024442246629166816153859976444909896609663057779601045180688320354222916505865857128081730370051808009272800438214230919780221233554617492948254726063059043195692960048379781003451711609536667368895652703268224758701540112871335786241483239691690653864171713163122442183958262833938381653852613186113504907333319679126691234284270129355059566677874191893737006597775860228988825289038578073675562822509907821269949321028456295222488407365812610038032727504879052612056248106762205528776016467725365226389620072554030406667432286372934885334467269728536970595517146339146624260717580168211782165599288418889045715332031251
g=7
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
291469
22
*** a(t,u0+1l^(t-1),r):
289099
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 18 Apr 2024 07:46:23
end  =Thu 18 Apr 2024 09:54:02
elapsed(sec)=7658.545874