(U3) nu_4 of the normal forms of the residual base schemes, modulo E_0
  [ok] (U3) nG4 with long axis z = 0, plus [Z]: length 5, meets z = 0 in length 3 >= 3, nu_4 = E_0 + [X^3*Z, X^2*Y^2, Z^4]
  [ok] (U3) L5a (yz) + m^3: length 5, meets z = 0 in length 3 >= 3, nu_4 = E_0 + [X^3*Z, X^2*Y^2, X^2*Z^2]
  [ok] (U3) L5b (z^2) + m^3: length 5, meets z = 0 in length 3 >= 3, nu_4 = E_0 + [X^3*Z, X^2*Y^2, X^2*Y*Z]
  [ok] (U3) L5c (z^2, xyz + y^3) + m^4: length 5, meets z = 0 in length 3 >= 3, nu_4 = E_0 + [X^3*Z, X^2*Y^2, -1/3*X*Y^3 + X^2*Y*Z]
(U4) R = X^2Y^2
  [ok] (U4) P = <X^3, X^2Y, XY^2> (q = 1) is binary; with a binary A_YY outside P it spans all binary cubics
  [ok] (S4) M spanned by T_{<=2}, X^4, X^3Y, X^2Y^2, X^5 + 5Y^4, X^4Y, X^5Y + Y^5 + Z^4 and their derivatives: closed, H = [1, 3, 6, 5, 3, 2, 1], D_3 = C[X,Y]_3 + C Z^3 in N = m o M + T_{<=2}, I*_3 saturates to (xz, yz): B = V(z) + [Z] contains the line
(U5) the L5c family R = a X^3Z + b X^2Y^2 + Xi
  [ok] (U5) dim P = 4 (q = 2) for all (a, b): the 4x4 minors generate the unit ideal and the 5x5 minors vanish
  [ok] (U5) dim(P + binary cubics) = 6 for all (a, b) (maximal minors unit ideal, next minors zero), so dim(P cap C[X,Y]_3) = 2 is constant
(S1)+(A2) families and certificates
  [ok] (A2) R = X^3Z (q = 1), family q1: member closed with H and D_3 = N_3, WM triple of local length 40 <= 41
  [ok] (A2) R = Z^4 (q = 1), family q1: member closed with H and D_3 = N_3, WM triple of local length 36 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 (q = 1), family q1: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^3Z + Z^4 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 39 <= 41
  [ok] (A2) R = X^3Z + Z^4 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + Z^4 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 39 <= 41
  [ok] (A2) R = X^2Y^2 + Z^4 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 41 <= 41
  [ok] (A2) R = X^2Y^2 + Z^4 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^2Y^2 + Z^4 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + Z^4 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + Z^4 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + Z^4 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2Z^2 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 39 <= 41
  [ok] (A2) R = X^2Z^2 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2Z^2 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 39 <= 41
  [ok] (A2) R = X^3Z + X^2Z^2 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 39 <= 41
  [ok] (A2) R = X^3Z + X^2Z^2 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Z^2 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 39 <= 41
  [ok] (A2) R = X^2Y^2 + X^2Z^2 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2Y^2 + X^2Z^2 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^2Y^2 + X^2Z^2 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + X^2Z^2 (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + X^2Z^2 (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + X^2Z^2 (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2YZ (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2YZ (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^2YZ (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2YZ (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2YZ (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^3Z + X^2YZ (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2Y^2 + X^2YZ (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^2Y^2 + X^2YZ (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^2Y^2 + X^2YZ (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + X^2YZ (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + X^2YZ (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^3Z + X^2Y^2 + X^2YZ (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = Xi (L5c, a = b = 0) (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = Xi (L5c, a = b = 0) (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = Xi (L5c, a = b = 0) (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + 2X^2Y^2 + Xi (L5c, a = 1, b = 2) (q = 2), family i: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
  [ok] (A2) R = X^3Z + 2X^2Y^2 + Xi (L5c, a = 1, b = 2) (q = 2), family ii: member closed with H and D_3 = N_3, WM triple of local length 37 <= 41
  [ok] (A2) R = X^3Z + 2X^2Y^2 + Xi (L5c, a = 1, b = 2) (q = 2), family iii: member closed with H and D_3 = N_3, WM triple of local length 38 <= 41
(U6) irreducibility of the q-loci and of the r_Z-strata (whole sector B2T)
  [ok] (U6) q <= 1: 1 minimal prime(s), dimension [3] (expected one, of dimension 3)
  [ok] (U6) q <= 2: 1 minimal prime(s), dimension [7] (expected one, of dimension 7)
  [ok] (U6) q <= 2 and r_Z <= 1: 1 minimal prime(s), dimension [5] (expected one, of dimension 5)
  [ok] (U6) q <= 2 and r_Z = 0: 1 minimal prime(s), dimension [3] (expected one, of dimension 3)
(A7) family (ii) on the strata d = 2, 3, 4
  [ok] (A7) R = X^2Z^2: q = 2, d = 2 (expected 2); family (ii) member closed with H, D_3 = N_3, S6.2 triple of local length 38 <= 41
  [ok] (A7) R = X^2Y^2 + Z^4: q = 2, d = 3 (expected 3); family (ii) member closed with H, D_3 = N_3, S6.2 triple of local length 37 <= 41
  [ok] (A7) R = XY^3: q = 2, d = 4 (expected 4); family (ii) member closed with H, D_3 = N_3, S6.2 triple of local length 40 <= 41
  [ok] (A7) R = XY^3 + X^2Y^2: q = 2, d = 4 (expected 4); family (ii) member closed with H, D_3 = N_3, S6.2 triple of local length 40 <= 41
58 checks, 0 failed
ALL CHECKS PASSED
