  [ok] (U1) tangent: R in C[X,Z]_4 (line through [X] transverse to Gamma'): q = 2 <= 2
  [ok] (U1) tangent: R binary (case (d)): q = 2 <= 2
  [ok] (U1) tangent: R = R_bin + c X^3 Z (embedded point at [X]): q = 2 <= 2
  [ok] (U2) tangent, S_1 = R_bin + c Z^4: generic q = 3, r_Z = 1, active equation solvable: False
  [ok] (U2) tangent, S_2 = R_bin + c (al X + be Y)^3 Z: generic q = 3, r_Z = 1, active equation solvable: False
  [ok] (U1) secant: R in C[X,Z]_4 (line through [X] transverse to Gamma'): q = 2 <= 2
  [ok] (U1) secant: R binary (case (d)): q = 2 <= 2
  [ok] (U1) secant: R = R_bin + c X^3 Z (embedded point at [X]): q = 2 <= 2
  [ok] (U1) secant: R = R_bin + c Y^3 Z (embedded point at [Y]): q = 2 <= 2
  [ok] (U2) secant, S_1 = R_bin + c Z^4: generic q = 3, r_Z = 1, active equation solvable: False
  [ok] (U2) secant, S_2 = R_bin + c (al X + be Y)^3 Z: generic q = 3, r_Z = 1, active equation solvable: False
  [ok] (A3) tangent, S_1: actual member closed with H (D_3 = P(R)); S6.2 triple at its R of local length 41 <= 41
  [ok] (A3) tangent, S_2: actual member closed with H (D_3 = P(R)); S6.2 triple at its R of local length 41 <= 41
  [ok] (A3) secant, S_1: actual member closed with H (D_3 = P(R)); S6.2 triple at its R of local length 41 <= 41
  [ok] (A3) secant, S_2: actual member closed with H (D_3 = P(R)); S6.2 triple at its R of local length 41 <= 41
15 checks, 0 failed
ALL CHECKS PASSED
