n95-L3-f2545-r83-t2543-ver3.3b.txt
p=35673593768135197284443122745885493289630564738752005558765077463142408135356515504938307741275115295367124599412546474813109943722224962560892722954747834618113942963998464280129648840480722947933351149082758186775262019344190785719858705439837019538340602472662651349718251488108637747332564887885150498862043951778644563287338802655906905250115053503189057840534145869844885483227679480951209597019397672332738331558822341999425826796280475397840946355414623556272846828954998293984096299951633729720787432550558099950961827208958884850378006616275620189986467185164858618981736976453101688132573390860815031547136353529717540347905670475259519901432522679059348033548500494453771912740047351152818581330445969157042697159794486953073654108858764321920772317568901967480169270936403460613977925348143136678493950790421642448420755214822839564860455268676764476349504062632614720023334240962500124425375265349539625837162596460007817475528782013073047266644748096025982986671363749606626215163048726701036004044083247314317088040638738188295551328568869904274319061328253148329435309623535309822303869556603071617491738240669534658409124437842004592986329120147928767576699794375002698462361347527547130332471242171
g=2
contribution table:{0, 1, 43, 71, 92, 142, 156, 168, 220, 257, 282, 350, 357, 389, 395, 467, 493, 537, 597, 632, 686, 690, 724, 789, 834, 844, 860, 900, 903, 966, 1002, 1077, 1090, 1168, 1190, 1209, 1239, 1248, 1307, 1373, 1400, 1481, 1400, 1373, 1307, 1248, 1239, 1209, 1190, 1168, 1090, 1077, 1002, 966, 903, 900, 860, 844, 834, 789, 724, 690, 686, 632, 597, 537, 493, 467, 395, 389, 357, 350, 282, 257, 220, 168, 156, 142, 92, 71, 43, 1, 0}
*** a(t,u0,r):
569821
26
*** a(t,u0+1l^(t-1),r):
567510
39
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Fri 23 Feb 2024 06:11:25
end  =Fri 23 Feb 2024 06:12:13
elapsed(sec)=48.457041