n5-L3-f12-t8.dat p=5314411 t0=1 g=2 *** a(t,0,r): 1062882200 0 *** a(t,2187,r): 1126655132 0 *** a(t,4374,r): 1084139844 0 *** a(t,1,r): 1025681323 1 *** a(t,2188,r): 1116026310 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 2 start=Fri 10 Mar 2023 10:36:41 end =Fri 10 Mar 2023 10:36:41 elapsed(sec)=0.006846