  (8 inconsistent draws rejected)
  (6 inconsistent draws rejected)
  ok   secant, F = Y^8, Q_D = Y Z, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y^2*z] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^8, Q_D = Y Z, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y^2*z, y*z^2] contains a non-cube: Cor. 4.6
  (8 inconsistent draws rejected)
  (2 inconsistent draws rejected)
  ok   secant, F = Y^8, Q_D = Y^2, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y^2*z, y*z^2] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^8, Q_D = Y^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y^2*z, y*z^2] contains a non-cube: Cor. 4.6
  (2 inconsistent draws rejected)
  ok   tangent in, F = Y^8, Q_D = Z^2, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  (8 inconsistent draws rejected)
  ok   tangent in, F = Y^8, Q_D = Z^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  (8 inconsistent draws rejected)
  (8 inconsistent draws rejected)
  ok   tangent in, F = Y^8, Q_D = Y^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  (8 inconsistent draws rejected)
  (8 inconsistent draws rejected)
  ok   tangent out, F = Y^8, Q_D = Y^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 1, 1, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  samples: 8; non-cube in Pi: 8; cube sub-case with x y^2: 0
  ok   every sample settled, with at least one accepted sample in each of the 5 cases (accepted per case: [2, 2, 2, 1, 1])
time 135.5 s
ALL CHECKS PASSED
