n4-L3-f7-t2.dat
p=17497
t0=1
g=5
*** a(t,0,r):
8451051
1
*** a(t,3,r):
8381063
1
*** a(t,6,r):
8311075
1
*** a(t,1,r):
8486045
1
*** a(t,4,r):
8346069
1
*** a(t,7,r):
8643518
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 2
start=Tue 14 Mar 2023 21:13:19
end  =Tue 14 Mar 2023 21:13:19
elapsed(sec)=0.033655