  ok   secant, p = yz (y^2 + z^2), seed 0: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   secant, p = yz (y^2 + z^2), seed 1: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   secant, p = yz (y^2 + z^2), seed 2: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 36 <= 36
      (Thm 3.15 triple without turning on the graded algebra: 40)
  ok   secant, p = y^2 z (y + z) (double root at [Z]), seed 0: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   secant, p = y^2 z (y + z) (double root at [Z]), seed 1: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   secant, p = y^2 z (y + z) (double root at [Z]), seed 2: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 36 <= 36
      (Thm 3.15 triple without turning on the graded algebra: 41)
  ok   secant, p = y^2 z^2, seed 0: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   secant, p = y^2 z^2, seed 1: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   secant, p = y^2 z^2, seed 2: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 36 <= 36
      (Thm 3.15 triple without turning on the graded algebra: 42)
  ok   tangent, p = z^2 (y^2 + z^2), seed 0: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   tangent, p = z^2 (y^2 + z^2), seed 1: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   tangent, p = z^2 (y^2 + z^2), seed 2: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 36 <= 36
      (Thm 3.15 triple without turning on the graded algebra: 40)
  ok   tangent, p = z^3 (y + z), seed 0: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   tangent, p = z^3 (y + z), seed 1: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 35 <= 36
  ok   tangent, p = z^3 (y + z), seed 2: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 36 <= 36
      (Thm 3.15 triple without turning on the graded algebra: 42)
  ok   tangent, p = z^4, seed 0: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 35 <= 36
  ok   tangent, p = z^4, seed 1: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 34 <= 36
  ok   tangent, p = z^4, seed 2: closed, H = [1, 3, 5, 4, 4, 2, 2]
  ok      gamma_f = 0
  ok      b^5 in (I : m^2); N1 triple: 36 <= 36
      (Thm 3.15 triple without turning on the graded algebra: 42)
  accepted samples: 18 of 18
  ok   all samples accepted
  ok   negative control: Thm 3.15 alone reaches 42 on a graded algebra (worst seen 42)
time 43.1 s
ALL CHECKS PASSED
