n4-L3-f8-t2.dat p=52489 t0=1 g=7 *** a(t,0,r): 76843896 0 *** a(t,3,r): 76371495 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:22 end =Thu 30 Mar 2023 09:39:22 elapsed(sec)=0.017994