Part O1: 13553211, W_2 = z<y,z>, D_7 = C Y^7, delta = 1
  ok   O1 sample 1 [Y^7, Y^2*Z^3]: H = [1, 3, 5, 5, 3, 2, 1, 1], branch data ok: True, dim J_4 = 2, gcd(J_4) = z, gcd(p, q) = z; CI(f, P, Q + 2 l^8) = 36 <= 40
  ok   O1 sample 2 [Y^7, Y^2*Z^3 + Z^5]: H = [1, 3, 5, 5, 3, 2, 1, 1], branch data ok: True, dim J_4 = 2, gcd(J_4) = z, gcd(p, q) = z; CI(f, P, Q + 2 l^8) = 40 <= 40
  ok   O1 sample 3 [Y^7, Y^2*Z^3 - 2*Z^5]: H = [1, 3, 5, 5, 3, 2, 1, 1], branch data ok: True, dim J_4 = 3, gcd(J_4) = z, gcd(p, q) = z; CI(f, P, Q + 2 l^8) = 38 <= 40
  ok   Part O1: 3 accepted samples
  ok   Part O1 anchor certified: 36 (N = 12) <= 40
Part C: 13543221, cube branch, Gamma tangent out, E_4 with a Y^2 Z^2 term, delta = 1
  ok   C sample 1 [Y^7, X*Y^5, Y^2*Z^2]: H = [1, 3, 5, 4, 3, 2, 2, 1], branch data ok: True, dim J_4 = 3, gcd(J_4) = z, gcd(p, q) = z; CI(f, P, Q + 2 l^8) = 38 <= 40
  ok   C sample 2 [X*Y^6, Y^3*Z + Y^2*Z^2]: H = [1, 3, 5, 4, 3, 2, 2, 1], branch data ok: True, dim J_4 = 3, gcd(J_4) = z, gcd(p, q) = z; CI(f, P, Q + 2 l^8) = 38 <= 40
  ok   C sample 3 [Y^7, X*Y^5, -2*Y^3*Z + Y^2*Z^2]: H = [1, 3, 5, 4, 3, 2, 2, 1], branch data ok: True, dim J_4 = 3, gcd(J_4) = z, gcd(p, q) = z; CI(f, P, Q + 2 l^8) = 40 <= 40
  ok   Part C: 3 accepted samples
  ok   Part C anchor certified: 38 (N = 11) <= 40
ALL CHECKS PASSED
