Part B: Gamma in the line x = 0; slide
  ok   secant Gamma, Q_D = Y*Z (W_2 = [y^2, z^2]): H = [1, 3, 5, 5, 3, 2, 2], gamma_f = 0, x phi(W_2) in I, phi nonzero at the roots of p = 2*y^3*z - 3/2*y^2*z^2 + y*z^3: True
  ok     tau = 1: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     tau = -2: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     CI(f, P, K + 3 phi) local length 40 <= 40
  ok   secant Gamma, Q_D = Y^2 (W_2 = [y*z, z^2]): H = [1, 3, 5, 5, 3, 2, 2], gamma_f = 0, x phi(W_2) in I, phi nonzero at the roots of p = -8/3*y^3*z + 2*y^2*z^2 + y*z^3: True
  ok     tau = 1: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     tau = -2: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     CI(f, P, K + 3 phi) local length 40 <= 40
  ok   tangent Gamma, Q_D = Y^2 + Z^2 (W_2 = [y^2 - z^2, y*z]): H = [1, 3, 5, 5, 3, 2, 2], gamma_f = 0, x phi(W_2) in I, phi nonzero at the roots of p = -6*y^2*z^2 + 2*y*z^3 + z^4: True
  ok     tau = 1: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     tau = -2: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     CI(f, P, K + 3 phi) local length 40 <= 40
  ok   tangent Gamma, Q_D = Y^2 (W_2 = [y*z, z^2]): H = [1, 3, 5, 5, 3, 2, 2], gamma_f = 0, x phi(W_2) in I, phi nonzero at the roots of p = 2*y*z^3 + z^4: True
  ok     tau = 1: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     tau = -2: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     CI(f, P, K + 3 phi) local length 40 <= 40
  ok   tangent Gamma, Q_D = Z^2 (W_2 = [y^2, y*z]): H = [1, 3, 5, 5, 3, 2, 2], gamma_f = 0, x phi(W_2) in I, phi nonzero at the roots of p = 3*y^2*z^2 + 2*y*z^3 + z^4: True
  ok     tau = 1: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     tau = -2: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     CI(f, P, K + 3 phi) local length 36 <= 40
  ok   secant Gamma, Q_D = Y^2 + 2*Y*Z + Z^2 (W_2 = [y^2 - z^2, y*z - z^2]): H = [1, 3, 5, 5, 3, 2, 2], gamma_f = 0, x phi(W_2) in I, phi nonzero at the roots of p = 2*y^3*z - 9/2*y^2*z^2 + y*z^3: True
  ok     tau = 1: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     tau = -2: slid ideal colength 21, H = [1, 3, 5, 5, 3, 2, 2], contains f, P, K + tau phi: True
  ok     CI(f, P, K + 3 phi) local length 35 <= 40
  ok   Part B: 6 accepted samples (of 6 cases)
  ok   Part B anchor certified by stabilization: 35 (N = 11) <= 40
Part N: Gamma transverse, D_6 = <Y^6, X Y^5>, W_2 = z<y,z>, Q_D = Y^2
  ok   U: y^4 o Y^6 = 360 Y^2, x y^3 o Y^6 = 0, x y^3 o X Y^5 = 60 Y^2, y^4 o X Y^5 = 120 X Y
  ok   E_4 = Y^2*Z^2 + Z^4: H = [1, 3, 5, 5, 3, 2, 2]; p_3 = y^2*z - 1/6*z^3 kills D_4; p_3 o P_5 = 0, p_3 o Q_5 = 0 (shape c Y^2, (c/3) XY + c' Y^2: True); T in (I : m^2): True
  ok   E_4 = Y*Z^3 + 2*Z^4: H = [1, 3, 5, 5, 3, 2, 2]; p_3 = y^2*z kills D_4; p_3 o P_5 = 0, p_3 o Q_5 = 0 (shape c Y^2, (c/3) XY + c' Y^2: True); T in (I : m^2): True
  ok   E_4 = X*Y^3 + Y^2*Z^2 + Y*Z^3 - Z^4: H = [1, 3, 5, 5, 3, 2, 2]; p_3 = y^2*z - 2/11*y*z^2 + 4/33*z^3 kills D_4; p_3 o P_5 = 0, p_3 o Q_5 = 0 (shape c Y^2, (c/3) XY + c' Y^2: True); T in (I : m^2): True
  ok   E_4 = Z^4: H = [1, 3, 5, 5, 3, 2, 2]; p_3 = y^2*z kills D_4; p_3 o P_5 = 0, p_3 o Q_5 = 0 (shape c Y^2, (c/3) XY + c' Y^2: True); T in (I : m^2): True
  ok   E_4 = Y^3*Z + Y*Z^3: H = [1, 3, 5, 5, 3, 2, 2]; p_3 = y^2*z - z^3 kills D_4; p_3 o P_5 = 0, p_3 o Q_5 = 0 (shape c Y^2, (c/3) XY + c' Y^2: True); T in (I : m^2): True
  ok   Part N: 5 accepted samples
  ok   anchor Psi = X Y^5 + Y^3 Z^2, E_4 = Y^3 Z: H = [1, 3, 5, 5, 3, 2, 2], p_3 = y*z^2, p_3 o Q_5 = 6*Y^2 (c' = 6 != 0), T = -1/10*x*y^3 + y*z^2 in (I : m^2): True; p_3 alone is not: True
ALL CHECKS PASSED
