  ok   h = yz(y+z), seed 0: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 35 <= 41; N1 triple 35 <= 36
  ok   h = yz(y+z), seed 1: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 35 <= 41; N1 triple 35 <= 36
  ok   h = yz(y+z), seed 2: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 38 <= 41; N1 triple 35 <= 36
  ok   h = y z^2 (double root at [Y]), seed 0: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 35 <= 41; N1 triple 35 <= 36
  ok   h = y z^2 (double root at [Y]), seed 1: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 35 <= 41; N1 triple 35 <= 36
  ok   h = y z^2 (double root at [Y]), seed 2: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 38 <= 41; N1 triple 35 <= 36
  ok   h = z^3 (triple root at [Y]), seed 0: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 34 <= 41; N1 triple 34 <= 36
  ok   h = z^3 (triple root at [Y]), seed 1: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 34 <= 41; N1 triple 34 <= 36
  ok   h = z^3 (triple root at [Y]), seed 2: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 41 <= 41; N1 triple 35 <= 36
  ok   h = z^3, D_6 = <Y^5 Z, Y^4 Z^2>, seed 0: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 35 <= 41; N1 triple 35 <= 36
  ok   h = z^3, D_6 = <Y^5 Z, Y^4 Z^2>, seed 1: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 35 <= 41; N1 triple 35 <= 36
  ok   h = z^3, D_6 = <Y^5 Z, Y^4 Z^2>, seed 2: closed, H = [1, 3, 5, 4, 3, 3, 2]
  ok      gamma_f = 0
  ok      J_4 = h S_1
  ok      Thm 3.15 triple 38 <= 41; N1 triple 35 <= 36
  accepted samples: 12 of 12
  ok   all samples accepted
(A) extreme model: Gamma = 3[Y] (h = z^3), p = z^3 (y + z), G = x^2 + y^7 (kappa = 7 at [Y]) + z^3 y (kappa = 4 at the root of l)
  ok   certified local length 41 (stable at N = 12) = 41
time 32.7 s
ALL CHECKS PASSED
