n2-L3-f6-t2.dat p=2917 t0=1 g=5 *** a(t,0,r): 233360 0 *** a(t,3,r): 250862 0 *** a(t,6,r): 236277 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.004333