PASS (L) (u^2,uv^2,v^4): (I_B)_3 = [x^2*z, x*y^2, x^2*y, x^3] has common factor x; (u^2 + 3v^3, uv^2) has colength 7  [0.1s]
PASS (A7) stratum (a), V = <Z^5, XZ^4>: closed, H = [1, 3, 6, 6, 3, 2], CI in Ann(M), local length 37 (stable N = 9), residual 16  [5.6s]
PASS (A8) stratum (b), V = <Z^5, X^2Z^3>: closed, H = [1, 3, 6, 6, 3, 2], CI in Ann(M), local length 36 (stable N = 9), residual 15  [9.4s]
PASS (A9) stratum (c), V = <XZ^4, X^2Z^3>: closed, H = [1, 3, 6, 6, 3, 2], CI in Ann(M), local length 39 (stable N = 10), residual 18  [14.5s]
   (Ad) M: T_{<=2}, Z T_2 and [Z^4, X*Z^3 - X^3 - 3*X^2*Y, Y*Z^3 - 6*X^2*Y - Y^3, X*Z^4 - 4*X^3*Z - 12*X^2*Y*Z, Y*Z^4 - 24*X^2*Y*Z - 4*Y^3*Z]
   (Ad) triple: [x*z^3 + x^3, y*z^3 + y^3, z^5 + x*z^3 + 2*y*z^3 + x^2*y + x*y^2]
PASS (Ad) stratum (d), V = <XZ^4, YZ^4>: the explicit M is closed, H = [1, 3, 6, 6, 3, 2], D_3 = Z T_2, D_4 = S_1 o V = <Z^4, XZ^3, YZ^3>, D_5 = V: True; the triple in Ann(M), local length 41 (stable N = 11), residual 20  [22.1s]
total time 22.1 s
ALL CHECKS PASSED
