n4-L3-f76-r173-t74-ver3.3b.txt
p=14598402905120585018872415822852671369
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,0,r):
{{0, 4896, 3683, 4896}, {2881, 4161, 1965, 6410}, {5176, 4730, 6410, 1423}, 
 {4301, 6727, 5712, 5020}, {1192, 4161, 6894, 6419}, 
 {4852, 5020, 3893, 4161}, {4301, 2569, 4896, 4311}, {4301, 0, 5020, 1}, 
 {88, 276, 4161, 5485}}
140392
89
*** a(t,67585198634817523235520443624317923,r):
{{508, 1192, 4764, 5388}, {3683, 6410, 4422, 2881}, {2421, 7032, 6587, 6680}, 
 {3455, 7089, 4422, 5882}, {3352, 1689, 1311, 1192}, 
 {2192, 1423, 5882, 3683}, {4206, 5843, 5296, 3030}, {146, 4579, 3189, 4206}, 
 {88, 5843, 1689, 4048}}
135703
71
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.014364