PASS M_0, the (1,3,6,5,2,2) anchor: H = (1,3,6,5,2,2), f_i in Ann(M_0)  [0.5s]
  G = -X*Y^2 + X*Z^2
PASS M = M_0 + C G: H = [1, 3, 6, 6, 2, 2], f_i in Ann(M), local length 32 < 40, residual 12 with H = [1, 3, 5, 2, 1]  [8.7s]
total time 8.7 s
ALL CHECKS PASSED
