n4-L3-f10-t3.dat p=472393 t0=1 g=5 *** a(t,0,r): 2076167235 1 *** a(t,9,r): 2068608947 1 *** a(t,18,r): 2079001593 1 *** a(t,1,r): 2053964764 0 *** a(t,10,r): 2050185620 0 *** a(t,19,r): 2066719375 1 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 2.1(Remark 1(II) start=Thu 30 Mar 2023 09:39:40 end =Thu 30 Mar 2023 09:39:41 elapsed(sec)=0.131168