  gamma = y^2*z + y*z^2 (three roots): triple [z^5 + y^3*z + y^2*z^2 + x^3, y^2*z^2 + y*z^3 + x*y^2, y^5 + y^3*z + y^2*z^2 + x*z^2]; cubic parts independent in x S_2: True; quartic parts in gamma C[y,z]_1: True; local length 39 (dim S/(J + m^N) = 39 for N = 10 and N = 11)
PASS (P) the triple of prop:C for gamma = y^2*z + y*z^2: local length 39 < 40 (stable pair N = 10, 11)
  gamma = y^2*z (double root): triple [z^5 + y^3*z + x^3, y^2*z^2 + x*y^2, y^5 + y^3*z + x*z^2]; cubic parts independent in x S_2: True; quartic parts in gamma C[y,z]_1: True; local length 39 (dim S/(J + m^N) = 39 for N = 10 and N = 11)
PASS (P) the triple of prop:C for gamma = y^2*z: local length 39 < 40 (stable pair N = 10, 11)
  gamma = y^3 (triple root): triple [z^5 + y^4 + x^3, y^3*z + x*y^2, y^5 + y^4 + x*z^2]; cubic parts independent in x S_2: True; quartic parts in gamma C[y,z]_1: True; local length 39 (dim S/(J + m^N) = 39 for N = 10 and N = 11)
PASS (P) the triple of prop:C for gamma = y^3: local length 39 < 40 (stable pair N = 10, 11)
  Gamma = V(x, y^2*z + y*z^2) (three roots): dim M = 20, closed True, H = [1, 3, 6, 4, 3, 3], triple in I True, local length 39 (dim S/(J + m^N) = 39 for N = 10 and N = 11), residual 19 with H = [1, 3, 6, 7, 2]
PASS (R) Gamma = V(x, y^2*z + y*z^2): nu_4, nu_5 of dim 3, killed by gamma; realized CI of local length 39, residual 19
  Gamma = V(x, y^2*z) (double root): dim M = 20, closed True, H = [1, 3, 6, 4, 3, 3], triple in I True, local length 39 (dim S/(J + m^N) = 39 for N = 10 and N = 11), residual 19 with H = [1, 3, 6, 7, 2]
PASS (R) Gamma = V(x, y^2*z): nu_4, nu_5 of dim 3, killed by gamma; realized CI of local length 39, residual 19
  Gamma = V(x, y^3) (triple root): dim M = 20, closed True, H = [1, 3, 6, 4, 3, 3], triple in I True, local length 39 (dim S/(J + m^N) = 39 for N = 10 and N = 11), residual 19 with H = [1, 3, 6, 7, 2]
PASS (R) Gamma = V(x, y^3): nu_4, nu_5 of dim 3, killed by gamma; realized CI of local length 39, residual 19
total time 41.3 s
ALL CHECKS PASSED
