n78-L7-f5819-r3-t5818-ver3.3b.txt
p=658596534754108782993400130237975353680425491091120268084511463151385992634402942786648058961197999085680002590339275590267782684976831500934154726144068940851454353811932900810932297694963702319247209860921119120890839997418157940523887411608183388697374954649483864435966382278115756807939260797889940199436460922271131741376878517544860284250850923162273746220786866731847727172317092840610141723612643690023506149857827515168859223023897331077696814371615535126284308100996930778125955179302086170451042290770711368890103405678697217632622237017795397337229031877232875953907813757762720763650608688021495405571039451684154462295168925332953944173474489985857291697975652505562135836600980193783391924093407958132168594219221196287439725856108340765984695937565943684975215873805461537924975265086266737841953114531636588222346042016320184067278314198672742187259125297284786234557200332847012216001761974792517109384245117498617895549757501762835872568748712583696637653732402804166425557779583746912331861057724385242592621183392710354002127625005516832790169979856513439297597543508752362303516015002884393769307525006682972217356653668051432738738543637083410922671386302295318382149697358585220101346611088232097147863843000678861493163984049170829053733136792307689769681582261845436371091502185321776701141313834949407675489951956562312661901736344613228457481754730370252568130843489693229887116453479966671192378499360037675875448653285538512915584012949864727317222821829671672052280895819182019858759980193440521121586814203827270676584981948479255168892867012719490651660495433931214104875737459318193068262347162919274088163775018063874861336013525237170134442962743820582844060614852912685911059010190405486053240157684569907497758542842845063906430028293610165276083966481684830703839139643437771802504747708569908883964911885888482050286281778010998250684546860510286567145274156312714085114752037666123442049760897630262300301475315264129515917472967757313188955448337980334394201844268439237061272263240375924957806585938641198905572587813495540937392303272331178774556603685101251890326459431910817909135781667270517119107357759929006742755643403245962246368013163774065374084546064411297295233262630524522833764792755843657875795050701555248004626242507126483283300920455595073058480543610796542479747576060193436329869020382136189116613413250995692011091474045733539023059220763112426238403272279378738657854447010049669331135280177386438272472636892286986625058649237421118216167282544935733021192147097143586572681840082146674941186344582150787929643911664892389666667532859501807031869733495278819741950530084310875530064131843581220403486342266202876793103035366553487858606189981238436087531420742901232925076739354783207495654348227128631431426005942272333175566463193234754103758955076018854514135890285499606968273982132927724469453803549798975074137966449813321972993056326418218744941877374539797560195535304781625053438826881978773484056723804872981810725024195098105605483454529023521916093073700543692891780706960386936316100615872079822770652407272345804523213092149571869637881933303240313162462556505034226396626848577059801646064970580027565080772655510879822550148149461804207284575151532830357782551112524681082149281742534408218612534764402635251502853592455359128075703392903940702502369165204373138746511943744879730609117653250236989607840625356038885086475503660907766093928168350201438403606810211384458477515262676870575573679772940692491128647342121125859838728535806608933227004569024127620279471956670665441106448433247743658051748158065299458127684533890173347946746328201075768003559113858518164767442730733920431273539746744556234681383476338284831843498924984612920958978817648554526277291434929889531131837116033219895781070563134070025777870367884320839742302598794114403310063368051662821131311382866300550972266534437287915352509893885789384593120299368956532430492835352930888264067770398084337630192673672664492873319885390420365165087924293978431196584524480085500853593207166483444645777587351626758700272883864530270939485975398224317360466546426602181493614318951403373545553820700272305860919171063723593403576649267559829973904935341099441396612187201801340472688976574485769279556388553123961892301686952101534327548554057269925457335639303241444529247429633154407343923339374455886079118416237170003076613894609194109612495209263002809177488945026845387340230066120133864440766107626376396864839986715923268402606939254321678567731183153297792585173669767873336838933938189789697483951223805200249516941072297783102388361952878941773911475359129449189354037781889185301955670060898534236563275726656234673598444163062626611866646068981741142937688231058414540711870668091404578112200221427509764922452365216636892117633098067824841064276914859481654025854438629698225748402346187147152100044042667474051453482396432111179524047339408045628982050309
g=6
contribution table:{0, 1, 0}
*** a(t,u0,r):
174
0
*** a(t,u0+1l^(t-1),r):
205
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 1 Mar 2025 06:25:01
end  =Sat 1 Mar 2025 06:41:56
elapsed(sec)=1014.848222