  ok   A1: F general, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      w = y^4 + 20/3*y^2*z^2 + 20*y*z^3 in (I : m^2); (f + 3w, K_r, G): 40 <= 40
  ok   A1: F general, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      w = y^4 + 20/3*y^2*z^2 + 20*y*z^3 in (I : m^2); (f + 3w, K_r, G): 40 <= 40
  ok   A1: F general, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      w = y^4 + 20/3*y^2*z^2 + 20*y*z^3 in (I : m^2); (f + 3w, K_r, G): 40 <= 40
  ok   A1: F = Y^4 Z^2 + Y Z^5, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      w = y^4 - 2/5*y*z^3 in (I : m^2); (f + 3w, K_r, G): 40 <= 40
  ok   A1: F = Y^4 Z^2 + Y Z^5, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      w = y^4 - 2/5*y*z^3 in (I : m^2); (f + 3w, K_r, G): 40 <= 40
  ok   A1: F = Y^4 Z^2 + Y Z^5, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      w = y^4 - 2/5*y*z^3 in (I : m^2); (f + 3w, K_r, G): 40 <= 40
  ok   A2: F = Y^6 + Z^6, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      Pi = [y^2*z - y*z^2] nonzero (type (b) turning operator)
  ok   A2: F = Y^6 + Z^6, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      Pi = [y^2*z + y*z^2] nonzero (type (b) turning operator)
  ok   A2: F = Y^6 + Z^6, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      Pi = [y^2*z, y*z^2] nonzero (type (b) turning operator)
  ok   A2: F = Y^5 Z, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      Pi = [z^3] nonzero (type (b) turning operator)
  ok   A2: F = Y^5 Z, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      Pi = [y*z^2 + 2/5*z^3] nonzero (type (b) turning operator)
  ok   A2: F = Y^5 Z, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      Pi = [y*z^2, z^3] nonzero (type (b) turning operator)
  ok   B(i): F = Y^6, D_5 = <Y^5, Z^5>, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = 5*y^4*z - 4*y^3*z^2 - 2*y^2*z^3 - 2*y*z^4: v_6(Y) = -8/15 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(i): F = Y^6, D_5 = <Y^5, Z^5>, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = 4*y^4*z + 5*y^3*z^2 - 2*y^2*z^3 - 5*y*z^4: v_6(Y) = 1/5 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(i): F = Y^6, D_5 = <Y^5, Z^5>, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = -2*y^4*z + 4*y^3*z^2 + y^2*z^3 + y*z^4: v_6(Y) = 0 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(i): F = Y^6, D_5 = <Y^5, Y^3 Z^2 + Z^5>, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = 5*y^4*z - 2*y^3*z^2 - y^2*z^3 + y*z^4 + 1/5*z^5: v_6(Y) = -13/30 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(i): F = Y^6, D_5 = <Y^5, Y^3 Z^2 + Z^5>, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = -3*y^4*z + 5*y^3*z^2 - y*z^4 - 1/2*z^5: v_6(Y) = -1/3 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(i): F = Y^6, D_5 = <Y^5, Y^3 Z^2 + Z^5>, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = y^4*z + 2*y^3*z^2 - 5*y^2*z^3 - 5*y*z^4 - 1/5*z^5: v_6(Y) = 0 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(ii): F = Y^6, D_5 = <Y^5, Y^4 Z>, seed 0: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = 4*y^3*z^2 + y^2*z^3 + z^5: v_6(Y) = -1/10 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(ii): F = Y^6, D_5 = <Y^5, Y^4 Z>, seed 1: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      p_5 = 3*y^3*z^2 + 2*y^2*z^3 - 3*y*z^4 + 3*z^5: v_6(Y) = -2/3 = -<p_5, B_5>/720
  ok      b^3 z, b^5 in (I : m^2) (b = y + z)
  ok      (f + s b^3 z + r b^5, K_{b^2}, v) for two random (s, r): [41, 41] <= 41
  ok   B(ii): F = Y^6, D_5 = <Y^5, Y^4 Z>, seed 2: closed, H = [1, 3, 5, 4, 5, 2, 1]
  ok      gamma_f = 0
  ok      B_5 in D_5: y z^2 in (I : m^2): True
  accepted samples: 21 of 21
  ok   all samples accepted
time 25.1 s
ALL CHECKS PASSED
