  dim Q = 51  rank = 12  lower bound = 39  U = 39  r=4 double = 38  strata r<=3: {3: 37, 2: 34, 1: 32, 0: 29}
PASS (C) counts: every stratum other than U has dimension < 39 = lower bound  [0.0s]
PASS (A) M_0: closed, H = (1,3,6,5,2,2), f_i in Ann(M_0)  [0.2s]
PASS (A) D_3(M_0) (dim 5) lies in the 7-dim orthogonal of the cubic parts  [0.3s]
PASS (A) two cubics G, G' complete D_3(M_0) to the orthogonal: [-X*Y^2 + X*Z^2, -1/2*X*Y^2 + X*Y*Z]  [0.4s]
PASS (A) M = M_0 + <G,G'>: closed, dim 21, H = [1, 3, 6, 7, 2, 2], f_i in Ann(M)  [6.1s]
PASS (A) local length 32 < 42 (stable at N = 9,10), residual 11 with H = [1, 3, 5, 1, 1]  [6.1s]
total time 6.1 s
ALL CHECKS PASSED
