  ok   secant, F = Y^7 + Z^7, Q_D = Y Z, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z + 13/17*y*z^2] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^7 + Z^7, Q_D = Y Z, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z - 22/7*y*z^2] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^7 + Z^7, Q_D = Y Z, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^7, D_6 = <Y^6, Z^6>, Q_D = Y^2 + Z^2, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^7, D_6 = <Y^6, Z^6>, Q_D = Y^2 + Z^2, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2] contains a non-cube: Cor. 4.6
  ok   secant, F = Y^7, D_6 = <Y^6, Z^6>, Q_D = Y^2 + Z^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 2, 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^6 Z, Q_D = Y^2, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [z^3]: only a cube; element of (I : m^2) with cubic part x y^2 + (cube) exists: True
  (4 inconsistent draws rejected)
  ok   tangent in, F = Y^6 Z, Q_D = Y^2, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y*z^2 + 16/5*z^3] contains a non-cube: Cor. 4.6
  ok   tangent in, F = Y^6 Z, Q_D = Y^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent in, F = Y^7, Q_D = Z^2, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent in, F = Y^7, Q_D = Z^2, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent in, F = Y^7, Q_D = Z^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent out, F = X Y^6, Q_D = Y^2, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent out, F = X Y^6, Q_D = Y^2, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent out, F = X Y^6, Q_D = Y^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  (4 inconsistent draws rejected)
  ok   tangent out, F = Y^7, Q_D = Y^2, seed 0: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  (4 inconsistent draws rejected)
  ok   tangent out, F = Y^7, Q_D = Y^2, seed 1: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  ok   tangent out, F = Y^7, Q_D = Y^2, seed 2: closed, H = [1, 3, 5, 5, 2, 2, 2, 1]
  ok      Pi = [y^2*z, y*z^2, z^3] contains a non-cube: Cor. 4.6
  samples: 18; non-cube in Pi: 17; cube sub-case with x y^2: 1
  ok   every sample settled, with at least one accepted sample in each of the 6 cases (accepted per case: [3, 3, 3, 3, 3, 3])
time 43.6 s
ALL CHECKS PASSED
