(S) actual algebras with H = (1,3,5,4,5,3)
  ok   J_5 #0, seed 0: closed, H = [1, 3, 5, 4, 5, 3]
  ok      gamma_f = 0
  ok      no binary quartic in I*_4
  ok      b^4 in (I : m^2)
  ok      weighted orders 4, 4, 5
  ok      weighted initial forms: only the origin over QQ(t) (finite colength)
  ok      (f + 3 b^4, K_m, G): local length 40 <= 40
  ok   J_5 #0, seed 1: closed, H = [1, 3, 5, 4, 5, 3]
  ok      gamma_f = 0
  ok      no binary quartic in I*_4
  ok      b^4 in (I : m^2)
  ok      weighted orders 4, 4, 5
  ok      weighted initial forms: only the origin over QQ(t) (finite colength)
  ok      (f + 3 b^4, K_m, G): local length 40 <= 40
  ok   J_5 #1, seed 0: closed, H = [1, 3, 5, 4, 5, 3]
  ok      gamma_f = 0
  ok      no binary quartic in I*_4
  ok      b^4 in (I : m^2)
  ok      weighted orders 4, 4, 5
  ok      weighted initial forms: only the origin over QQ(t) (finite colength)
  ok      (f + 3 b^4, K_m, G): local length 40 <= 40
  ok   J_5 #1, seed 1: closed, H = [1, 3, 5, 4, 5, 3]
  ok      gamma_f = 0
  ok      no binary quartic in I*_4
  ok      b^4 in (I : m^2)
  ok      weighted orders 4, 4, 5
  ok      weighted initial forms: only the origin over QQ(t) (finite colength)
  ok      (f + 3 b^4, K_m, G): local length 40 <= 40
  ok   J_5 #2, seed 0: closed, H = [1, 3, 5, 4, 5, 3]
  ok      gamma_f = 0
  ok      no binary quartic in I*_4
  ok      b^4 in (I : m^2)
  ok      weighted orders 4, 4, 5
  ok      weighted initial forms: only the origin over QQ(t) (finite colength)
  ok      (f + 3 b^4, K_m, G): local length 40 <= 40
  ok   J_5 #2, seed 1: closed, H = [1, 3, 5, 4, 5, 3]
  ok      gamma_f = 0
  ok      no binary quartic in I*_4
  ok      b^4 in (I : m^2)
  ok      weighted orders 4, 4, 5
  ok      weighted initial forms: only the origin over QQ(t) (finite colength)
  ok      (f + 3 b^4, K_m, G): local length 40 <= 40
  accepted samples: 6 of 6
  ok   all samples accepted
(A) weighted-homogeneous models: certified local length 40
  ok   (y^4 + z^4 + x^2, x*y^2 + x*z^2, y^5 + z^5): 40 (stable at N = 10)
  ok   (y^4 + x^2, z^4 + x*y^2 + x*y*z + 2*x*z^2, y^3*z^2 + z^5): 40 (stable at N = 10)
time 10.5 s
ALL CHECKS PASSED
