n4-L3-f143-r137-t141-ver3.3b.txt
p=1353410096150441601919344425977856951756646000511103699369673178973017
g=7
contribution table:{0, 1, 70, 116, 219, 274, 297, 395, 515, 576, 672, 697, 777, 893, 942, 1006, 1066, 1195, 1294, 1395, 1443, 1567, 1648, 1654, 1694, 1705, 1763, 1829, 1922, 1974, 2006, 2090, 2120, 2174, 2307, 2354, 2472, 2572, 2691, 2821, 2845, 2972, 3034, 3085, 3194, 3261, 3264, 3299, 3319, 3333, 3407, 3450, 3479, 3585, 3618, 3623, 3738, 3863, 3889, 3961, 3977, 3986, 4028, 4115, 4130, 4208, 4235, 4280, 4415, 4280, 4235, 4208, 4130, 4115, 4028, 3986, 3977, 3961, 3889, 3863, 3738, 3623, 3618, 3585, 3479, 3450, 3407, 3333, 3319, 3299, 3264, 3261, 3194, 3085, 3034, 2972, 2845, 2821, 2691, 2572, 2472, 2354, 2307, 2174, 2120, 2090, 2006, 1974, 1922, 1829, 1763, 1705, 1694, 1654, 1648, 1567, 1443, 1395, 1294, 1195, 1066, 1006, 942, 893, 777, 697, 672, 576, 515, 395, 297, 274, 219, 116, 70, 1, 0}
*** a(t,u0,r):
{{0, 576, 1567, 4028}, {3085, 3585, 219, 1443}, {1567, 1567, 4208, 297}, 
 {2572, 2006, 2821, 4130}, {1922, 4235, 3618, 576}, {3986, 4235, 3738, 3034}, 
 {2572, 2845, 3986, 1}, {942, 1195, 3407, 672}, {2845, 3261, 515, 2472}}
83728
21
*** a(t,u0+1l^(t-1),r):
{{3034, 70, 576, 2090}, {3085, 2006, 70, 3863}, {3623, 942, 297, 297}, 
 {3194, 219, 2120, 395}, {3618, 70, 1974, 1705}, {70, 1763, 219, 4280}, 
 {70, 1, 1648, 2821}, {672, 2174, 2090, 3585}, {3479, 777, 697, 3986}}
61580
67
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.017513