n4-L3-f143-r167-t141-ver3.3b.txt
p=1353410096150441601919344425977856951756646000511103699369673178973017
g=7
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, 646, 1627, 5637}, {3776, 4780, 250, 1582}, {1582, 1627, 5880, 302}, 
 {3084, 2632, 3203, 5806}, {2358, 5999, 4922, 660}, {5577, 6032, 5113, 3566}, 
 {3084, 3278, 5577, 1}, {1058, 1252, 4427, 750}, {3278, 3991, 570, 2989}}
106896
16
*** a(t,u0+1l^(t-1),r):
{{3566, 141, 646, 2654}, {3776, 2632, 85, 5249}, {4927, 993, 323, 302}, 
 {3909, 250, 2684, 323}, {4798, 141, 2358, 2012}, {85, 2059, 250, 6087}, 
 {85, 1, 1726, 3116}, {660, 2755, 2654, 4798}, {4780, 762, 762, 5626}}
77975
153
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.017693