n57-L5-f4027-r37-t4026-ver3.3b.txt
p=644335875060618785943357202872857030624844946912297328611603569308277334006795932350906861350827615139371747752664762040668588588291511222087446282724650593108884653054668206050295819487851095503677905721718216382008168908236088193016186443825720295831904151780200005945261387862222059236916826488406134824986526890746770659663174925498056534064472723014486502135939209169601137364680859817234326821674391987610518727972845871450956993777018568945927842415888335666680538916088259803992055042049582367207225504899455428387129777225074833652080585507517087942600017383803876982475683735386508224136104765447831451825436253210139192965848313556667080630547456256531385834988757859151049180840700594917209656038318096020454306474232161437155422606081418262562299736117468250348009195441764188629142597324854132946146493980265534960247788965996033956972568319575358093451702405186207842887579054711176999997169863471323160135955922703945840179412880713838497060643454968390175703263596240125234309464257951621548812731014051360605663764303144305846896812774025379195713151816369448610658452857932767197062170791915382258867448364310604494230262325939999629192464811918306909266160046565770389578605410648522321799834140846584431451158260552399755230933379394445315499658287224469905943286701166491609073982462579408455103335291237828542319332100052458829459407595559432736649698015104190800869539544029563662124254119570906891558117650713162685809527052923597323371102131064532810044187948702394610584980888233909578935670452913163659257163312492514730883412077108764025589410860656668421293294120071743745195316814180850177773519158944336094760795056936404087911788624539243957629242097442780319810430481602602483666864821513135275744072236886231497647205787002325554259360743145789197208615430515845544259137657895860606380337183686668604027181312051166782945398717778251592400780212437963121713873054958279120141837120721287029380360185580485187089712577252983753062821226723833230837972973161246419238412352795169657852695823682980857802040840490871380164340303247783319264289015552221874908611361828102870315891328300279311395740538449944974391751461962009227922473033082202153033980038334734292629322867327617651255792334322126800234206942003404226781494881836280071854165897054863779904306389724391654693570157298221666741238122477238924685265630955507090044558022288481670723119914291624630237915178082368574655976537124768108381792122455000656985576658762506997237430378424310471837851467429838455522821331000862519160820357689043897866403977772629871829807059145086299266432936737618395136545749632820424953114443594482244091690060980288580888571047124706882042052119315361301111712174080064711506057378227790753346386354737238804629896942344261011406295498898632716786374907691481439542258158326148986816406251
g=3
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):
45646
25
*** a(t,u0+1l^(t-1),r):
50143
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 29 Mar 2024 15:19:16
end  =Fri 29 Mar 2024 15:21:34
elapsed(sec)=137.877511