n5-L3-f4-t1.dat p=811 t0=1 g=3 *** a(t,0,r): 55148 0 *** a(t,1,r): 57581 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:40 end =Fri 10 Mar 2023 10:36:40 elapsed(sec)=0.001621