n5-L3-f12-t1.dat p=5314411 t0=1 g=2 *** a(t,0,r): 2353678230146 0 *** a(t,1,r): 2354990889663 1 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 2 start=Fri 10 Mar 2023 10:36:43 end =Fri 10 Mar 2023 10:36:47 elapsed(sec)=3.591569