Part F: the local formula e(L) = 27 + e(K_[X]) (base scheme supported at [X])
  ok   (1,3,6,3,2,2,2) fat B at [X], Gamma = 2[X]: graded member closed with H True; L_def: global 37 (certified: ds = stabilization), 27 + local 37; I*: global 39 (certified: ds = stabilization), 27 + local 39
  ok   (1,3,6,3,3,2,1) fat Gamma, D_5 = <X^5, X^4 Y>, F = X^6: graded member closed with H True; L_def: global 39 (certified: ds = stabilization), 27 + local 39; I*: global 43 (certified: ds = stabilization), 27 + local 43
  ok   (1,3,6,3,3,2) curvilinear Gamma = 3[X], D_5 = <X^5, X^4 Y>: graded member closed with H True; L_def: global 33 (certified: ds = stabilization), 27 + local 33; I*: global 36 (certified: ds = stabilization), 27 + local 36
Part B: e(L_def) = 27 + e(K_[X]) and e(I*) = 27 + e(K^0_[X]) on the bad strata (upper bounds, local standard bases)
  ok   13632222 fat B at [X], Gamma = 2[X] tangent to Y: graded member closed with H True; e(L_def) <= 39, e(I*) <= 41; 2d = 42
       -> WM(b) settles this graded datum: 39 < 42
  ok   13633221 fat Gamma, Gamma' = 2[X], F = X^7: graded member closed with H True; e(L_def) <= 43, e(I*) <= 45; 2d = 42
       -> WM(b) does not apply: 43 >= 42
  ok   13633221 fat Gamma, Gamma' = 2[X], F = X^6*Y: graded member closed with H True; e(L_def) <= 43, e(I*) <= 43; 2d = 42
       -> WM(b) does not apply: 43 >= 42
  ok   13633311 fat Gamma: graded member closed with H True; e(L_def) <= 43, e(I*) <= 47; 2d = 42
       -> WM(b) does not apply: 43 >= 42
  ok   136332111 fat Gamma, D_5 = <X^5, X^4 Y>: graded member closed with H True; e(L_def) <= 45, e(I*) <= 47; 2d = 42
       -> WM(b) does not apply: 45 >= 42
  ok   136332111 curvilinear Gamma = 3[X], D_5 = <X^5, X^4 Y>: graded member closed with H True; e(L_def) <= 41, e(I*) <= 42; 2d = 42
       -> WM(b) settles this graded datum: 41 < 42
  ok   136322211 fat B at [X], Gamma = 2[X]: graded member closed with H True; e(L_def) <= 41, e(I*) <= 43; 2d = 42
       -> WM(b) settles this graded datum: 41 < 42
  ok   136322211 B = curvilinear 3[X], Gamma = 2[X]: graded member closed with H True; e(L_def) <= 40, e(I*) <= 42; 2d = 42
       -> WM(b) settles this graded datum: 40 < 42
  ok   1363221111 fat B at [X], Gamma = 2[X]: graded member closed with H True; e(L_def) <= 43, e(I*) <= 44; 2d = 42
       -> WM(b) does not apply: 43 >= 42
  ok   13642221 D_3 = X^2 T_1 + C(Y^3 + Z^3 + XYZ), Gamma = 2[X]: graded member closed with H True; e(L_def) <= 39, e(I*) <= 41; 2d = 42
       -> WM(b) settles this graded datum: 39 < 42
  ok   13642221 D_3 = X^2 T_1 + C X Y^2, Gamma = 2[X]: graded member closed with H True; e(L_def) <= 43, e(I*) <= 45; 2d = 42
       -> WM(b) does not apply: 43 >= 42
  ok   13642221 D_3 = X^2 T_1 + C X Z^2, Gamma = 2[X]: graded member closed with H True; e(L_def) <= 40, e(I*) <= 42; 2d = 42
       -> WM(b) settles this graded datum: 40 < 42
  ok   136332111 collinear Gamma = 3[X], D_5 = <X^5, X^4 Y>: graded member closed with H True; e(L_def) <= 41, e(I*) <= 42; 2d = 42
       -> WM(b) settles this graded datum: 41 < 42
  ok   136322211 B = collinear 3[X], Gamma = 2[X]: graded member closed with H True; e(L_def) <= 40, e(I*) <= 42; 2d = 42
       -> WM(b) settles this graded datum: 40 < 42
Part D: WM(b) on actual algebras (random tails), the line M_lambda and the elements f_i^eps, eps = 1/3
    (sample built: M closed with H True, M_lambda closed with H True, membership True; computing the local length)
  ok   (1,3,6,3,2,2,2) fat B at [X], Gamma = 2[X] seed 1: M closed with H True; M_lambda closed with H True; f_i^eps in I_lambda True; local length 34 (certified: ds = stabilization) <= 37
    (sample built: M closed with H True, M_lambda closed with H True, membership True; computing the local length)
  ok   (1,3,6,3,2,2,2) fat B at [X], Gamma = 2[X] seed 2: M closed with H True; M_lambda closed with H True; f_i^eps in I_lambda True; local length 34 (certified: ds = stabilization) <= 37
    (sample built: M closed with H True, M_lambda closed with H True, membership True; computing the local length)
  ok   (1,3,6,3,3,2,1) fat Gamma, D_5 = <X^5, X^4 Y>, F = X^6 seed 1: M closed with H True; M_lambda closed with H True; f_i^eps in I_lambda True; local length 35 (certified: ds = stabilization) <= 39
    (sample built: M closed with H True, M_lambda closed with H True, membership True; computing the local length)
  ok   (1,3,6,3,3,2,1) fat Gamma, D_5 = <X^5, X^4 Y>, F = X^6 seed 2: M closed with H True; M_lambda closed with H True; f_i^eps in I_lambda True; local length 35 (certified: ds = stabilization) <= 39
    (sample built: M closed with H True, M_lambda closed with H True, membership True; computing the local length)
  ok   13632222 fat B at [X], Gamma = 2[X] tangent to Y seed 1: M closed with H True; M_lambda closed with H True; f_i^eps in I_lambda True; local length 39 (certified: ds = stabilization) <= 39
    (sample built: M closed with H True, M_lambda closed with H True, membership True; computing the local length)
  ok   13632222 fat B at [X], Gamma = 2[X] tangent to Y seed 2: M closed with H True; M_lambda closed with H True; f_i^eps in I_lambda True; local length 36 (certified: ds = stabilization) <= 39
accepted samples (Part D): 6
total time 16.0 s
ALL CHECKS PASSED
