n4-L3-f331-r167-t329-ver3.3b.txt
p=676433798339608719751489659791140249535907872330735880104008921809592561279383288544928129466114242273720312507511068453334963350491170250477226255280706287577
g=17
contribution table:{0, 1, 85, 141, 183, 250, 278, 302, 323, 453, 570, 646, 660, 750, 762, 840, 934, 993, 1058, 1102, 1244, 1252, 1290, 1428, 1435, 1582, 1627, 1726, 1732, 1876, 1915, 2012, 2059, 2140, 2253, 2358, 2474, 2632, 2654, 2684, 2755, 2865, 2869, 2970, 2989, 3015, 3084, 3116, 3203, 3278, 3435, 3566, 3672, 3776, 3909, 3991, 3994, 4120, 4192, 4209, 4312, 4427, 4559, 4673, 4780, 4798, 4922, 4927, 5067, 5113, 5249, 5289, 5347, 5498, 5577, 5626, 5637, 5791, 5806, 5880, 5999, 6032, 6087, 6252, 6087, 6032, 5999, 5880, 5806, 5791, 5637, 5626, 5577, 5498, 5347, 5289, 5249, 5113, 5067, 4927, 4922, 4798, 4780, 4673, 4559, 4427, 4312, 4209, 4192, 4120, 3994, 3991, 3909, 3776, 3672, 3566, 3435, 3278, 3203, 3116, 3084, 3015, 2989, 2970, 2869, 2865, 2755, 2684, 2654, 2632, 2474, 2358, 2253, 2140, 2059, 2012, 1915, 1876, 1732, 1726, 1627, 1582, 1435, 1428, 1290, 1252, 1244, 1102, 1058, 993, 934, 840, 762, 750, 660, 646, 570, 453, 323, 302, 278, 250, 183, 141, 85, 1, 0}
*** a(t,u0,r):
{{0, 4120, 1, 4559}, {2474, 5067, 1, 2059}, {2059, 6087, 2474, 5498}, 
 {5880, 5791, 2059, 1876}, {2140, 3994, 453, 4559}, {5637, 3672, 762, 646}, 
 {5880, 2059, 2253, 5626}, {141, 646, 323, 5347}, {4192, 1915, 3435, 4427}}
108112
63
*** a(t,u0+1l^(t-1),r):
{{3015, 3116, 3084, 85}, {2140, 4192, 3566, 302}, {323, 1252, 2654, 4120}, 
 {4922, 2632, 2140, 3909}, {840, 5637, 3278, 2755}, {5806, 0, 2654, 3278}, 
 {1252, 6032, 5999, 3566}, {1058, 2059, 4798, 3116}, {5113, 1244, 0, 4209}}
104146
105
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 8 Sep 2024 20:22:40
end  =Sun 8 Sep 2024 20:22:40
elapsed(sec)=0.043257