n4-L3-f7-t3.dat p=17497 t0=1 g=5 *** a(t,0,r): 2817017 1 *** a(t,9,r): 2747029 1 *** a(t,18,r): 2887005 1 *** a(t,1,r): 2729532 0 *** a(t,10,r): 2921999 1 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.006996