n4-L3-f130-r137-t128-ver3.3b.txt
p=848893289597177988349502846021701343928831234643860559854981193
g=5
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, 2691, 3407, 2691}, {297, 4208, 1395, 3261}, {70, 3986, 3034, 3407}, 
 {3863, 3977, 2307, 1705}, {3961, 3977, 1694, 3618}, {297, 2120, 3264, 777}, 
 {3863, 1567, 3479, 4115}, {3479, 219, 219, 576}, {219, 1974, 219, 2572}}
82508
34
*** a(t,u0+1l^(t-1),r):
{{1654, 893, 3977, 1974}, {4208, 1195, 672, 274}, {3618, 576, 1443, 1763}, 
 {274, 1654, 3333, 1763}, {2972, 1195, 4208, 2972}, {3194, 3450, 4115, 3738}, 
 {1195, 2572, 1829, 116}, {1694, 2354, 3618, 3264}, {672, 3986, 3085, 2006}}
81506
128
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.020792