n4-L3-f143-r113-t141-ver3.3b.txt
p=1353410096150441601919344425977856951756646000511103699369673178973017
g=7
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, 365, 1140, 3017}, {2064, 2467, 96, 1140}, {1140, 1140, 3099, 249}, 
 {1935, 1509, 1988, 3067}, {1372, 3189, 2485, 464}, {2935, 3226, 2679, 2022}, 
 {1935, 2012, 2935, 1}, {724, 916, 2340, 464}, {2012, 2141, 365, 1824}}
60457
2
*** a(t,u0+1l^(t-1),r):
{{2064, 58, 365, 1609}, {2086, 1509, 1, 2780}, {2593, 724, 249, 249}, 
 {2086, 96, 1609, 268}, {2485, 58, 1372, 1277}, {1, 1277, 96, 3226}, 
 {1, 1, 1184, 1988}, {464, 1676, 1509, 2485}, {2467, 552, 552, 2935}}
43952
108
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.057034