  ok   r_2 = yz, D_5 = <Y^5, Z^5>, seed 0: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = yz, D_5 = <Y^5, Z^5>, seed 1: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = yz, D_5 = <Y^5, Z^5>, seed 2: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 36 <= 40
  ok   r_2 = y^2, D_5 = <Y^5 + Y^2 Z^3, Z^5 + Y^4 Z>, seed 0: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2, D_5 = <Y^5 + Y^2 Z^3, Z^5 + Y^4 Z>, seed 1: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2, D_5 = <Y^5 + Y^2 Z^3, Z^5 + Y^4 Z>, seed 2: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2 + z^2, D_5 general, seed 0: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2 + z^2, D_5 general, seed 1: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2 + z^2, D_5 general, seed 2: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2, D_5 = <Z^5, Y Z^4>, D_4 non-binary, seed 0: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 2)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2, D_5 = <Z^5, Y Z^4>, D_4 non-binary, seed 1: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 2)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 32 <= 40
  ok   r_2 = y^2, D_5 = <Z^5, Y Z^4>, D_4 non-binary, seed 2: closed, H = [1, 3, 5, 6, 4, 2]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 2)
  ok      b^4 in (I : m^2), K_m exists
  ok      N2 triple (f + 3 b^4, K_m, G + 5 b^6): 36 <= 40
  accepted samples: 12 of 12
  ok   all samples accepted
(A) worst cases (psi = 0 and theta = 0 at the bad points): certified
  ok   (3*z^4 + x^2, x*y^2 - x*y*z, 5*z^6 + y^4 - 2*y^3*z + y^2*z^2): 40 (stable at N = 11), expected 40
  ok   (3*z^4 + x^2, x*y^2, 5*z^6 + y^4): 40 (stable at N = 11), expected 40
  ok   (3*z^4 + x^2, x*y^2, 5*z^6 + y^4 - y^2*z^2): 40 (stable at N = 11), expected 40
  ok   (3*z^4 + x^2, y*z^3 + x*y^2, 5*z^6 + y^4): 36 (stable at N = 10), expected 36
time 14.5 s
ALL CHECKS PASSED
