n4-L3-f143-r173-t141-ver3.3b.txt
p=1353410096150441601919344425977856951756646000511103699369673178973017
g=7
contribution table:{0, 1, 88, 146, 276, 380, 409, 508, 573, 650, 702, 765, 866, 906, 1042, 1192, 1311, 1423, 1548, 1630, 1656, 1689, 1807, 1965, 2102, 2192, 2212, 2353, 2421, 2427, 2502, 2569, 2715, 2736, 2792, 2881, 3030, 3189, 3230, 3301, 3314, 3352, 3455, 3624, 3683, 3733, 3812, 3893, 4048, 4161, 4206, 4301, 4311, 4422, 4579, 4730, 4764, 4849, 4852, 4896, 5020, 5176, 5296, 5307, 5380, 5388, 5485, 5516, 5544, 5712, 5843, 5882, 6043, 6107, 6273, 6303, 6410, 6419, 6541, 6587, 6680, 6727, 6746, 6894, 7032, 7089, 7260, 7089, 7032, 6894, 6746, 6727, 6680, 6587, 6541, 6419, 6410, 6303, 6273, 6107, 6043, 5882, 5843, 5712, 5544, 5516, 5485, 5388, 5380, 5307, 5296, 5176, 5020, 4896, 4852, 4849, 4764, 4730, 4579, 4422, 4311, 4301, 4206, 4161, 4048, 3893, 3812, 3733, 3683, 3624, 3455, 3352, 3314, 3301, 3230, 3189, 3030, 2881, 2792, 2736, 2715, 2569, 2502, 2427, 2421, 2353, 2212, 2192, 2102, 1965, 1807, 1689, 1656, 1630, 1548, 1423, 1311, 1192, 1042, 906, 866, 765, 702, 650, 573, 508, 409, 380, 276, 146, 88, 1, 0}
*** a(t,u0,r):
{{0, 866, 2353, 6587}, {4730, 5516, 380, 2212}, {2212, 2353, 6746, 508}, 
 {3893, 3230, 4206, 6727}, {3030, 6894, 5544, 866}, {6419, 7032, 5882, 4422}, 
 {3893, 4301, 6419, 88}, {1548, 1807, 5307, 906}, {4301, 4849, 702, 3733}}
130462
20
*** a(t,u0+1l^(t-1),r):
{{4422, 146, 866, 3314}, {4730, 3301, 88, 6107}, {5712, 1548, 573, 508}, 
 {4764, 380, 3352, 650}, {5544, 146, 3030, 2715}, {146, 2736, 409, 7089}, 
 {88, 1, 2421, 4161}, {866, 3455, 3301, 5516}, {5485, 1192, 1042, 6419}}
96223
35
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.016604