  ok   Q_D = YZ (W_2 = <y^2, z^2>), D_4 = p-perp, seed 0: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 32)
  ok   Q_D = YZ (W_2 = <y^2, z^2>), D_4 = p-perp, seed 1: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 32)
  ok   Q_D = Y^2 + Z^2, D_4 = p-perp, seed 0: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 32)
  ok   Q_D = Y^2 + Z^2, D_4 = p-perp, seed 1: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 32)
  ok   Q_D = Y^2 (W_2 = z S_1), p(Y) != 0, seed 0: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2 (W_2 = z S_1), p(Y) != 0, seed 1: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2, p(Y) = 0 (simple), seed 0: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2, p(Y) = 0 (simple), seed 1: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2, p = z^2 (y^2 + z^2) (double root at [Y]), seed 0: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2, p = z^2 (y^2 + z^2) (double root at [Y]), seed 1: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 1)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2, non-binary D_4 = <XY^3 + Z^4, Y^4, Y^3 Z, Y^2 Z^2>, seed 0: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 2)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  ok   Q_D = Y^2, non-binary D_4 = <XY^3 + Z^4, Y^4, Y^3 Z, Y^2 Z^2>, seed 1: closed, H = [1, 3, 5, 5, 4, 3]
  ok      gamma_f = 0
  ok      J_4 != 0 (dim 2)
  ok      b^4 in (I : m^2)
  ok      turned triples: (f + 3b^4, K_m, G) 32, with G + 5 b^6: 32  (bound 36)
  accepted samples: 12 of 12
  ok   all samples accepted
(A) the bad-point configuration of Cor. B.2(c)(i): psi = 0, theta = 0 at the base point [Y] of W_2 = z S_1
  ok   (3*y^4 + x^2, x*y*z + 2*x*z^2, 5*y^6 + y^3*z + z^4): 36 (stable at N = 11) <= 36
  ok   (3*y^4 + x^2, x*y*z + 2*x*z^2, 5*y^6 + y^2*z^2 + z^4): 36 (stable at N = 11) <= 36
time 15.5 s
ALL CHECKS PASSED
