n4-L3-f130-r131-t128-ver3.3b.txt
p=848893289597177988349502846021701343928831234643860559854981193
g=5
contribution table:{0, 1, 67, 111, 144, 249, 271, 346, 428, 530, 648, 660, 671, 792, 895, 930, 971, 1025, 1076, 1145, 1204, 1229, 1235, 1292, 1363, 1384, 1510, 1544, 1661, 1783, 1866, 1959, 2045, 2049, 2076, 2091, 2182, 2267, 2367, 2451, 2546, 2562, 2640, 2704, 2707, 2806, 2900, 2992, 3093, 3216, 3292, 3310, 3373, 3462, 3479, 3560, 3684, 3707, 3768, 3788, 3895, 3953, 4065, 4117, 4160, 4289, 4160, 4117, 4065, 3953, 3895, 3788, 3768, 3707, 3684, 3560, 3479, 3462, 3373, 3310, 3292, 3216, 3093, 2992, 2900, 2806, 2707, 2704, 2640, 2562, 2546, 2451, 2367, 2267, 2182, 2091, 2076, 2049, 2045, 1959, 1866, 1783, 1661, 1544, 1510, 1384, 1363, 1292, 1235, 1229, 1204, 1145, 1076, 1025, 971, 930, 895, 792, 671, 660, 648, 530, 428, 346, 271, 249, 144, 111, 67, 1, 0}
*** a(t,u0,r):
{{0, 2182, 3093, 2182}, {271, 4065, 1076, 2704}, {1, 3788, 2546, 2992}, 
 {3479, 3707, 2045, 1363}, {3684, 3768, 1292, 3373}, {249, 1959, 2707, 660}, 
 {3479, 1204, 3216, 3953}, {3292, 144, 144, 428}, {111, 1544, 144, 2182}}
73027
60
*** a(t,u0+1l^(t-1),r):
{{1235, 792, 3768, 1661}, {4065, 1025, 648, 249}, {3373, 530, 1145, 1363}, 
 {249, 1235, 2900, 1384}, {2451, 971, 4065, 2451}, {2640, 3216, 3953, 3462}, 
 {1025, 2091, 1384, 111}, {1292, 2049, 3373, 2707}, {530, 3768, 2562, 1661}}
71384
120
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.025057