  ok   p general, F = 2*Y^6 + 3*Y^5*Z + 555/68*Y^4*Z^2 + 120/17*Y^3*Z^3 - 225/17*Y^2*Z^4 - 84/17*Y*Z^5 - 47/68*Z^6, seed 0: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 32 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 32 <= 36
  ok   p general, F = 2*Y^6 + 3*Y^5*Z + 555/68*Y^4*Z^2 + 120/17*Y^3*Z^3 - 225/17*Y^2*Z^4 - 84/17*Y*Z^5 - 47/68*Z^6, seed 1: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 32 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 32 <= 36
  ok   p general, F = 2*Y^6 + 3*Y^5*Z + 555/68*Y^4*Z^2 + 120/17*Y^3*Z^3 - 225/17*Y^2*Z^4 - 84/17*Y*Z^5 - 47/68*Z^6, seed 2: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 36 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 36 <= 36
  ok   p = y^2 (y - z)(y + 2z), F = 2*Y^6 + 3*Y^5*Z + 75/4*Y^4*Z^2 + 35/2*Y^3*Z^3 + 255/16*Y^2*Z^4 - Y*Z^5 - 5/12*Z^6, seed 0: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 32 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 32 <= 36
  ok   p = y^2 (y - z)(y + 2z), F = 2*Y^6 + 3*Y^5*Z + 75/4*Y^4*Z^2 + 35/2*Y^3*Z^3 + 255/16*Y^2*Z^4 - Y*Z^5 - 5/12*Z^6, seed 1: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 32 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 32 <= 36
  ok   p = y^2 (y - z)(y + 2z), F = 2*Y^6 + 3*Y^5*Z + 75/4*Y^4*Z^2 + 35/2*Y^3*Z^3 + 255/16*Y^2*Z^4 - Y*Z^5 - 5/12*Z^6, seed 2: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 36 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 36 <= 36
  ok   p = y^3 (y + z), F = 2*Y^6 - 12*Y^5*Z + 30*Y^4*Z^2 - 40*Y^3*Z^3 + 3*Y^2*Z^4 + 66/5*Y*Z^5 + 1/5*Z^6, seed 0: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 32 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 32 <= 36
  ok   p = y^3 (y + z), F = 2*Y^6 - 12*Y^5*Z + 30*Y^4*Z^2 - 40*Y^3*Z^3 + 3*Y^2*Z^4 + 66/5*Y*Z^5 + 1/5*Z^6, seed 1: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 32 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 32 <= 36
  ok   p = y^3 (y + z), F = 2*Y^6 - 12*Y^5*Z + 30*Y^4*Z^2 - 40*Y^3*Z^3 + 3*Y^2*Z^4 + 66/5*Y*Z^5 + 1/5*Z^6, seed 2: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      Thm 3.15 triple: 36 <= 40
  ok      b^5 in (I : m^2)
  ok      N1 triple: 36 <= 36
  ok   F = Y^6: p = z (y^3 + y z^2 + z^3), F = Y^6, seed 0: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      w_4 = y^3*z + z^4 in (I : m^2); B.2(a) triple: 33 <= 35
  ok      b^5 in (I : m^2)
  ok      N1 triple: 33 <= 36
  ok   F = Y^6: p = z (y^3 + y z^2 + z^3), F = Y^6, seed 1: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      w_4 = y^3*z + z^4 in (I : m^2); B.2(a) triple: 33 <= 35
  ok      b^5 in (I : m^2)
  ok      N1 triple: 33 <= 36
  ok   F = Y^6: p = z (y^3 + y z^2 + z^3), F = Y^6, seed 2: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      w_4 = y^3*z + z^4 in (I : m^2); B.2(a) triple: 35 <= 35
  ok      b^5 in (I : m^2)
  ok      N1 triple: 36 <= 36
  ok   F = Y^6: p = z^2 (y^2 + z^2), F = Y^6, seed 0: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      w_4 = y^3*z + z^4 in (I : m^2); B.2(a) triple: 33 <= 35
  ok      b^5 in (I : m^2)
  ok      N1 triple: 33 <= 36
  ok   F = Y^6: p = z^2 (y^2 + z^2), F = Y^6, seed 1: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      w_4 = y^3*z + z^4 in (I : m^2); B.2(a) triple: 33 <= 35
  ok      b^5 in (I : m^2)
  ok      N1 triple: 33 <= 36
  ok   F = Y^6: p = z^2 (y^2 + z^2), F = Y^6, seed 2: closed, H = [1, 3, 5, 4, 4, 3, 1]
  ok      gamma_f = 0
  ok      w_4 = y^3*z + z^4 in (I : m^2); B.2(a) triple: 35 <= 35
  ok      b^5 in (I : m^2)
  ok      N1 triple: 36 <= 36
  accepted samples: 15 of 15
  ok   all samples accepted
time 27.5 s
ALL CHECKS PASSED
