n4-L3-f130-r113-t128-ver3.3b.txt
p=848893289597177988349502846021701343928831234643860559854981193
g=5
contribution table:{0, 1, 58, 96, 181, 249, 268, 365, 464, 552, 586, 658, 724, 811, 916, 1014, 1120, 1140, 1184, 1190, 1207, 1277, 1313, 1372, 1405, 1509, 1609, 1676, 1785, 1824, 1873, 1935, 1988, 2012, 2022, 2064, 2086, 2141, 2144, 2173, 2238, 2340, 2375, 2467, 2485, 2593, 2679, 2780, 2853, 2883, 2935, 3017, 3067, 3099, 3189, 3226, 3337, 3226, 3189, 3099, 3067, 3017, 2935, 2883, 2853, 2780, 2679, 2593, 2485, 2467, 2375, 2340, 2238, 2173, 2144, 2141, 2086, 2064, 2022, 2012, 1988, 1935, 1873, 1824, 1785, 1676, 1609, 1509, 1405, 1372, 1313, 1277, 1207, 1190, 1184, 1140, 1120, 1014, 916, 811, 724, 658, 586, 552, 464, 365, 268, 249, 181, 96, 58, 1, 0}
*** a(t,u0,r):
{{0, 1935, 2340, 1935}, {249, 3189, 1014, 2141}, {1, 2935, 2022, 2340}, 
 {2780, 2883, 1785, 1207}, {2853, 2935, 1190, 2485}, {249, 1609, 2144, 586}, 
 {2780, 1140, 2467, 3067}, {2467, 96, 181, 365}, {96, 1405, 96, 1935}}
58902
29
*** a(t,u0+1l^(t-1),r):
{{1190, 658, 2935, 1405}, {3189, 916, 464, 181}, {2485, 464, 1140, 1277}, 
 {181, 1190, 2238, 1277}, {2022, 916, 3099, 2022}, {2086, 2375, 3067, 2679}, 
 {916, 1873, 1313, 58}, {1190, 1824, 2485, 2144}, {464, 2935, 2064, 1405}}
58127
45
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.128706