(S) actual algebras with H = (1,3,5,4,4,4)
  ok   p = y^4 + 2*y^2*z^2 - y*z^3 + 3*z^4, seed 0: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + 2*y^2*z^2 - y*z^3 + 3*z^4, seed 1: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + y^3*z - 2*y^2*z^2, seed 0: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + y^3*z - 2*y^2*z^2, seed 1: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + y^3*z, seed 0: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + 2*z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + y^3*z, seed 1: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + 2*z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4, seed 0: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4, seed 1: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + 2*y^2*z^2 + z^4, seed 0: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  ok   p = y^4 + 2*y^2*z^2 + z^4, seed 1: closed, H = [1, 3, 5, 4, 4, 4]
  ok      gamma_f = 0
  ok      x S_2 in I*_3
  ok      b = y + z lies in (I : m^2)
  ok      (f + 3 b^4, K_m, P): local length 32 <= 32
  accepted samples: 10 of 10
  ok   all samples accepted
(A) weighted-homogeneous models: certified local length 32
  ok   (y^4 + x^2, x*y^2 + x*z^2, y^4 + z^4): 32 (stable at N = 9)
  ok   (y^4 + z^4 + x^2, y^4 + x*y^2 + x*y*z + 2*x*z^2, y^4 + y^3*z - 2*y^2*z^2): 32 (stable at N = 9)
time 18.6 s
ALL CHECKS PASSED
