   trial 0 [(0, 3, 3, 11), (1, 3, 3, 11), (2, 3, 3, 11), (-3, 3, 3, 11)] members ok: True
   trial 1 [(0, 3, 3, 11), (1, 3, 3, 11), (2, 3, 3, 11), (-3, 3, 3, 11)] members ok: True
   trial 2 [(0, 3, 3, 11), (1, 3, 3, 11), (2, 3, 3, 11), (-3, 3, 3, 11)] members ok: True
PASS (T4) type (4) curve: r = 3 and dim W.Syz = 11 constant, members closed with the right H: 3 of 3  [1.2s]
  (T5) Gamma_c member: r = 3  (dim Syz, dim W.Syz) for random Q: [(3, 12), (3, 12), (3, 12), (3, 12)] ; off-line type (5) (r, dim Syz, dim W.Syz): [(3, 3, 12), (3, 3, 12), (3, 3, 12)]
PASS (T5) recorded (exploratory)  [1.4s]
  (MV) (2) <Y^5, XY^4> : dim K_sub = 4  gcd = zz  delta' = 1  mu = 1
PASS (MV) (2) <Y^5, XY^4>: dim K_sub >= 2 and delta' = 1 <= 2 (mu = 1)  [1.4s]
  (MV) (6) <Z^5, XY^4> : dim K_sub = 3  gcd = yy*zz  delta' = 2  mu = 1
PASS (MV) (6) <Z^5, XY^4>: dim K_sub >= 2 and delta' = 2 <= 2 (mu = 1)  [1.4s]
  (MV) (5)(i) <XY^4 + Z^5, Y^5 + 2Z^5> : dim K_sub = 3  gcd = yy*zz  delta' = 2  mu = 1
PASS (MV) (5)(i) <XY^4 + Z^5, Y^5 + 2Z^5>: dim K_sub >= 2 and delta' = 2 <= 2 (mu = 1)  [1.4s]
  (MV) (5)(iii) <XY^4, Y^4Z> : dim K_sub = 3  gcd = zz^2  delta' = 2  mu = 2
PASS (MV) (5)(iii) <XY^4, Y^4Z>: dim K_sub >= 2 and delta' = 2 <= 2 (mu = 2)  [1.4s]
  (MV) (5)(iii) <XY^4 + Y^4Z, Y^5>... (contains Y^5, type 4) : dim K_sub = 3  gcd = zz^2  delta' = 2  mu = 2
total time 1.4 s
ALL CHECKS PASSED
