A: curvilinear-5 model: triple in (w,u^5,t^2u,t^2w,t^4): True  certified local length: 14
A: Gorenstein (uw,u^2-w^3) model (open stratum, informational): colengths of random triples [18, 18, 18]
A: CI model with t*(b:m) added (informational, open stratum): colengths of random triples [19, 18, 18]
B: Sigma_4 = V(y^2,yz,z^3): dims nu3, nu4, K4 = 4 4 7 ; rank checks True
C: collinear embedding V(y^2,yz,z^4): all cubics of (I_B)_3 divisible by y: True (so not case (b))
C: fat X + two points         nu3 5 nu4 5 dim K4 8 rank 3 OK
C: fat X + double point       nu3 5 nu4 5 dim K4 8 rank 3 OK
C: (y2,yz,z3) at X + point    nu3 5 nu4 5 dim K4 8 rank 3 OK
C: (y2,yz2,z3) at X           nu3 5 nu4 5 dim K4 8 rank 3 OK
C: (yz,y3,z3) at X            nu3 5 nu4 5 dim K4 8 rank 3 OK
C: (v2,vz,z4) at X, v=xy-z2   nu3 5 nu4 5 dim K4 8 rank 3 OK

ALL CHECKS PASSED
