n4-L3-f331-r173-t329-ver3.3b.txt
p=676433798339608719751489659791140249535907872330735880104008921809592561279383288544928129466114242273720312507511068453334963350491170250477226255280706287577
g=17
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, 4896, 88, 5380}, {3230, 5843, 1, 2792}, {2736, 7089, 3189, 6410}, 
 {6746, 6680, 2736, 2502}, {2792, 4852, 702, 5380}, {6587, 4422, 1042, 866}, 
 {6746, 2736, 2881, 6419}, {146, 765, 573, 6273}, {5020, 2569, 4311, 5380}}
130780
165
*** a(t,u0+1l^(t-1),r):
{{3893, 4161, 4048, 88}, {2792, 5020, 4422, 573}, {573, 1807, 3314, 4896}, 
 {5712, 3301, 2881, 4764}, {1192, 6587, 4301, 3352}, {6727, 0, 3301, 4301}, 
 {1807, 7032, 6894, 4422}, {1548, 2736, 5544, 4161}, {6043, 1689, 0, 5296}}
129178
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.070410