(U1) irreducibility of the q-loci and r_Z-strata (secant top)
  [ok] (U1) q <= 1: 1 minimal prime(s), dimension [3]
  [ok] (U1) q <= 2: 1 minimal prime(s), dimension [7]
  [ok] (U1) q <= 2 and r_Z <= 1: 1 minimal prime(s), dimension [5]
  [ok] (U1) q <= 2 and r_Z = 0: 1 minimal prime(s), dimension [3]
(A2) certificates
  [ok] (A2) R = Z^4 (q = 1, d = 2), family q1: member closed with H, D_3 = N_3, S6.2 triple of local length 36 <= 41
  [ok] (A2) R = X^2Z^2 (q = 2, d = 2), family i: member closed with H, D_3 = N_3, S6.2 triple of local length 38 <= 41
  [ok] (A2) R = X^2Z^2 (q = 2, d = 2), family iii: member closed with H, D_3 = N_3, S6.2 triple of local length 37 <= 41
  [ok] (A2) R = X^2Z^2 (q = 2, d = 2), family ii: member closed with H, D_3 = N_3, S6.2 triple of local length 36 <= 41
  [ok] (A2) R = XY^3 + Z^4 (q = 2, d = 3), family ii: member closed with H, D_3 = N_3, S6.2 triple of local length 36 <= 41
  [ok] (A2) R = X^2Y^2 (q = 2, d = 4), family ii: member closed with H, D_3 = N_3, S6.2 triple of local length 40 <= 41
10 checks, 0 failed
ALL CHECKS PASSED
