n4-L3-f22-r173-t20-ver3.3b.txt
p=251048476873
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, 650, 3893, 650}, {1656, 5485, 1630, 1965}, {6419, 3893, 146, 5020}, 
 {1548, 3624, 4206, 2102}, {6680, 2736, 7032, 6680}, {6043, 6894, 906, 1630}, 
 {1548, 4422, 146, 1042}, {6043, 6107, 5712, 4764}, {276, 2881, 1311, 6587}}
122327
16
*** a(t,1162261467,r):
{{7260, 1689, 4849, 3030}, {3301, 1042, 88, 2212}, {2502, 4048, 5020, 6410}, 
 {7089, 5882, 1042, 1548}, {2192, 5712, 4852, 5307}, {3314, 3189, 409, 3812}, 
 {1, 4161, 5882, 1423}, {5380, 7032, 4764, 6894}, {702, 7089, 4422, 2427}}
135976
171
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:39
end  =Sun 8 Sep 2024 20:22:39
elapsed(sec)=0.004204