  ok   delta=2 tangent, D_4 binary (seed 1): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = z^2; p = (-1) * z^2 * (12*y^2 - y*z + 2*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 40 in [21, 40] (unslid: 40, information)
  ok     anchor delta=2 tangent, D_4 binary: stabilized local length 40 (N = 13) = ds value 40, in [21, 40]
  ok   delta=2 tangent, D_4 binary (seed 2): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = z^2; p = (-3) * z^2 * (18*y^2 - y*z - z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 40 in [21, 40] (unslid: 40, information)
  ok   delta=2 tangent, D_4 binary: 2 accepted samples
  ok   delta=2 tangent, D_4 binary (2) (seed 1): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = z^2; p = (-3/2) * z^2 * (33*y^2 + 2*y*z - 2*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 40 in [21, 40] (unslid: 40, information)
  ok     anchor delta=2 tangent, D_4 binary (2): stabilized local length 40 (N = 13) = ds value 40, in [21, 40]
  ok   delta=2 tangent, D_4 binary (2) (seed 2): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = z^2; p = (-1/2) * z^2 * (69*y^2 - 2*y*z - 6*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 37 in [21, 40] (unslid: 37, information)
  ok   delta=2 tangent, D_4 binary (2): 2 accepted samples
  ok   delta=2 tangent, D_4 nonbinary (seed 2): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = z^2; p = (-1) * z^2 * (y^2 + 3*y*z - 2*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 37 in [21, 40] (unslid: 40, information)
  ok     anchor delta=2 tangent, D_4 nonbinary: stabilized local length 37 (N = 12) = ds value 37, in [21, 40]
  ok   delta=2 tangent, D_4 nonbinary (seed 3): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = z^2; p = z^2 * (2*y^2 + 2*y*z - 3*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 40 in [21, 40] (unslid: 41, information)
  ok   delta=2 tangent, D_4 nonbinary: 2 accepted samples
  ok   delta=2 secant, D_4 binary (seed 1): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y*z; p = z * y * (3*y^2 - z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 38 in [21, 38] (unslid: 40, information)
  ok     anchor delta=2 secant, D_4 binary: stabilized local length 38 (N = 11) = ds value 38, in [21, 38]
  ok   delta=2 secant, D_4 binary (seed 2): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y*z; p = (2/3) * z * y * (y^2 + 3*y*z - 3*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 37 in [21, 38] (unslid: 40, information)
  ok   delta=2 secant, D_4 binary: 2 accepted samples
  ok   delta=2 secant, D_4 nonbinary (seed 1): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y*z; p = z * y * (y^2 + 2*y*z + 3*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 38 in [21, 38] (unslid: 40, information)
  ok     anchor delta=2 secant, D_4 nonbinary: stabilized local length 38 (N = 11) = ds value 38, in [21, 38]
  ok   delta=2 secant, D_4 nonbinary (seed 2): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y*z; p = (-1) * z * y * (3*y^2 - 2*z^2); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 37 in [21, 38] (unslid: 37, information)
  ok   delta=2 secant, D_4 nonbinary: 2 accepted samples
  ok   delta=3, g = z y (y - z) (seed 4): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y^2*z - y*z^2; p = (-3) * z * (y - z) * y * (2*y + z); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 37 in [21, 40] (unslid: 38, information)
  ok     anchor delta=3, g = z y (y - z): stabilized local length 37 (N = 12) = ds value 37, in [21, 40]
  ok   delta=3, g = z y (y - z) (seed 5): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y^2*z - y*z^2; p = z * (y - z) * y * (5*y + 2*z); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 36 in [21, 40] (unslid: 40, information)
  ok   delta=3, g = z y (y - z): 2 accepted samples
  ok   delta=3, g = z y (y - z), D_5 with (Y+Z)^5 (seed 1): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y^2*z - y*z^2; p = (-1) * z * (y - z) * y * (3*y + z); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 37 in [21, 40] (unslid: 37, information)
  ok     anchor delta=3, g = z y (y - z), D_5 with (Y+Z)^5: stabilized local length 37 (N = 11) = ds value 37, in [21, 40]
  ok   delta=3, g = z y (y - z), D_5 with (Y+Z)^5 (seed 2): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y^2*z - y*z^2; p = z * (y - z) * y * (3*y + 2*z); x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 38 in [21, 40] (unslid: 42, information)
  ok   delta=3, g = z y (y - z), D_5 with (Y+Z)^5: 2 accepted samples
  ok   delta=3, g = z y^2 (seed 1): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y^2*z; p = z * (3*y + 2*z) * y^2; x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 39 in [21, 40] (unslid: 43, information)
  ok     anchor delta=3, g = z y^2: stabilized local length 39 (N = 11) = ds value 39, in [21, 40]
  ok   delta=3, g = z y^2 (seed 3): H = [1, 3, 5, 5, 3, 2, 1, 1]; gamma_f = 0; W_2 = z<y,z>: True; D_7 = C Y^7: True; gcd J_4 = y^2*z; p = (-3) * z * (y + z) * y^2; x phi, m^2 phi in I: True; m meets p only at [Y], phi(m) nowhere on p: True; slid ideals (tau = 1, -2): colength 21, contain G, P, K_m + tau phi(m): True; CI(G, P, K_m + phi(m)) = 36 in [21, 40] (unslid: 38, information)
  ok   delta=3, g = z y^2: 2 accepted samples
  ok   total accepted samples: 16
  ok   anchors certified (stabilization in ds and a local standard basis): 8
time 321.6 s
ALL CHECKS PASSED
