n4-L3-f22-r137-t20-ver3.3b.txt
p=251048476873
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,0,r):
{{0, 395, 2572, 395}, {1066, 3479, 1006, 1294}, {3986, 2572, 70, 3299}, 
 {942, 2307, 2845, 1395}, {4115, 1763, 4235, 4115}, {3863, 4208, 672, 1006}, 
 {942, 3034, 70, 697}, {3863, 3889, 3618, 3261}, {116, 1922, 893, 4115}}
78020
67
*** a(t,1162261467,r):
{{4415, 1195, 3261, 1922}, {2006, 697, 1, 1443}, {1694, 2691, 3299, 3977}, 
 {4280, 3738, 697, 942}, {1443, 3623, 3264, 3407}, {2120, 1974, 219, 2472}, 
 {1, 2821, 3863, 893}, {3450, 4235, 3194, 4208}, {515, 4415, 3034, 1654}}
87063
68
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:39
end  =Sun 8 Sep 2024 20:22:39
elapsed(sec)=0.004615