n54-L7-f3172-r17-t3171-ver3.3b.txt
p=4835113583424362059638901633734101481267435570317888622413793788499296462408691024167694530426221531396801424301126971366029756593754328701075808207745530420261379528924030676254185023086841342708560888690584692712778480180636437551314070421248906360288009988689067807188762794264481559659020887747638248740537963460856579321302599094883803854087916509488253458908713336567496090967046792734286443835632931667852342292362062487798197386163911931004086684500386231873295629689377435662581033705076462015920059610815140057299500140389902288446334111378524025071579428440650819473327323904271199111709260196331892374952836695721516825702330293909667343553006666539853267767852483409817123182004076817835696522745002501035460149047479420957451709219325683468971154846011451289287953772289039682274259037096989558140953826944484768681880013598948896425228205598154576586020204941799601589178808096208726276017038421038187283352211213439719410962910003609894294295251658746952219339096366556256752171613769451820588062708335001108575267326211865941973903930781228876075598943034081867550497734898537858348058611286907262114822629880107629781349264437327576912251801482564326059899313361143792558497551137948718311027801448632387248370062906193030705652486971815595430306432733172163770267549494710677523625526798114633450532289985544821455909919802543578510701577527072379589463587620776021384968043210964656749635315619399902923695219417547372847825052589690448646226112001751240350658069491076119944034347924102638263417246714771710626223919992422704320757891711061344104287668753524725148419712386312218677968167152941053470029158032591829838553615563809403690029147885157226182055038828086139965203059103966608580309502858039978451559067331933697870964930733036449000197872706698246823076498088868844462260638520204629027701266713869089532231284434041357328628721270531060752799060996743409529746667987944264641194678704861388601608475622181598954997604703098980015248664321445952343481882571506881461355375251528198736647060074190439953291845834475816212951233774092619605119699238163645145096060475042691298934052966224249238617627526001786933135065139254264518852006325228489463166563531031879366190368477417787482546034712116011075019270032454960786394482319250913071732942640994786278885364886023301939009896166714869769993948076550197742573444018657415690032076627260291087479123127513541931558255011523553910218198425915478311619455717096124235595520128213181281180384280356121864989951315533285016309989477153111867619686967333392115843814940190573655012293411005147656384207384304502339115602685830675555642132910820477687752187178445807426831913150691642875300281037015785709
g=6
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
9478
9
*** a(t,u0+1l^(t-1),r):
8427
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 27 Feb 2025 17:18:21
end  =Thu 27 Feb 2025 17:20:54
elapsed(sec)=153.036643