n4-L3-f7-t1.dat
p=17497
t0=1
g=5
*** a(t,0,r):
25143189
1
*** a(t,1,r):
25475632
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.034693