Part N: normal form of a non-curvilinear length-5 complete intersection
  ok   N1: 40 random non-curvilinear length-5 CIs: HF (1,2,1,1), m^4 in b, U^2 = alpha V^3 (alpha != 0), UV = beta V^3, and the five cubics lie in b (accepted 40 of 40)
  ok   N2: alpha = 0: (U^2, UV - beta V^3) + m^4 has colength 5 and socle containing V^3, U - beta V^2 (beta symbolic)
  ok   N2: socle dimension of that algebra is 2 (dim (I:m)/I = 2)
Part J: the limit triple J
  ok   J1: (alpha,beta) = (1,0): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J1: (alpha,beta) = (-1,0): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J1: (alpha,beta) = (2,-3): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J1: (alpha,beta) = (-1,2): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J1: (alpha,beta) = (1/3,5): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J1: (alpha,beta) = (7,-2/5): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J1: (alpha,beta) = (-5,1): local length of J: vdim 41, stabilized 41 (expect 41)
  ok   J2: (alpha,beta) = (1,0): weak transforms: 14 = 14, branch w: 6, branch u - beta w^2: 8
  ok   J2: (alpha,beta) = (-1,0): weak transforms: 14 = 14, branch w: 6, branch u - beta w^2: 8
  ok   J2: (alpha,beta) = (2,-3): weak transforms: 14 = 14, branch w: 6, branch u - beta w^2: 8
  ok   J2: (alpha,beta) = (1/3,5): weak transforms: 14 = 14, branch w: 6, branch u - beta w^2: 8
  ok   J3: (alpha,beta) = (1,0): the cubic cones meet only at [1:0:0] (radical = (y,z))
  ok   J3: (alpha,beta) = (2,-3): the cubic cones meet only at [1:0:0] (radical = (y,z))
  ok   J3: (alpha,beta) = (-1,2): the cubic cones meet only at [1:0:0] (radical = (y,z))
Part E: end to end on actual algebras of Sigma_CI
  ok   E1 (a,b)=(-1,0) type II random P: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E1 (a,b)=(-1,0) type II random P: U-type II, colength of b_4 = 4 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 3; rank of the (C2),(C3) system = 15
  ok   E1 (a,b)=(-1,0) type II random P: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E1 (a,b)=(-1,0) type II random P: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E1 (a,b)=(-1,0) type II random P: g = x^4 z - gamma x^6 annihilates M
  ok   E1 (a,b)=(-1,0) type II random P: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -18 (nonzero constant)
  ok   E1 (a,b)=(-1,0) type II random P: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E1 (a,b)=(-1,0) type II random P: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E1 (a,b)=(-1,0) type II random P: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E1 (a,b)=(-1,0) type II random P: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E1 (a,b)=(-1,0) type II random P: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E1 (a,b)=(-1,0) type II random P: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [84.8s]
  ok   E2 (a,b)=(-1,0) type I c=0 random P: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E2 (a,b)=(-1,0) type I c=0 random P: U-type I, colength of b_4 = 3 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 3; rank of the (C2),(C3) system = 15
  ok   E2 (a,b)=(-1,0) type I c=0 random P: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E2 (a,b)=(-1,0) type I c=0 random P: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E2 (a,b)=(-1,0) type I c=0 random P: g = x^4 z - gamma x^6 annihilates M
  ok   E2 (a,b)=(-1,0) type I c=0 random P: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -27 (nonzero constant)
  ok   E2 (a,b)=(-1,0) type I c=0 random P: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E2 (a,b)=(-1,0) type I c=0 random P: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E2 (a,b)=(-1,0) type I c=0 random P: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E2 (a,b)=(-1,0) type I c=0 random P: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E2 (a,b)=(-1,0) type I c=0 random P: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E2 (a,b)=(-1,0) type I c=0 random P: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [76.2s]
  ok   E3 (a,b)=(-1,0) type I c=2 random P: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E3 (a,b)=(-1,0) type I c=2 random P: U-type I, colength of b_4 = 3 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 3; rank of the (C2),(C3) system = 15
  ok   E3 (a,b)=(-1,0) type I c=2 random P: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E3 (a,b)=(-1,0) type I c=2 random P: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E3 (a,b)=(-1,0) type I c=2 random P: g = x^4 z - gamma x^6 annihilates M
  ok   E3 (a,b)=(-1,0) type I c=2 random P: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -27 (nonzero constant)
  ok   E3 (a,b)=(-1,0) type I c=2 random P: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E3 (a,b)=(-1,0) type I c=2 random P: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E3 (a,b)=(-1,0) type I c=2 random P: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E3 (a,b)=(-1,0) type I c=2 random P: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E3 (a,b)=(-1,0) type I c=2 random P: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E3 (a,b)=(-1,0) type I c=2 random P: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [69.7s]
  ok   E4 (a,b)=(2,-3) generic U random P: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E4 (a,b)=(2,-3) generic U random P: U-type generic, colength of b_4 = 2 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 3; rank of the (C2),(C3) system = 15
  ok   E4 (a,b)=(2,-3) generic U random P: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E4 (a,b)=(2,-3) generic U random P: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E4 (a,b)=(2,-3) generic U random P: g = x^4 z - gamma x^6 annihilates M
  ok   E4 (a,b)=(2,-3) generic U random P: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = 4296 (nonzero constant)
  ok   E4 (a,b)=(2,-3) generic U random P: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E4 (a,b)=(2,-3) generic U random P: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E4 (a,b)=(2,-3) generic U random P: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E4 (a,b)=(2,-3) generic U random P: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E4 (a,b)=(2,-3) generic U random P: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E4 (a,b)=(2,-3) generic U random P: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [152.9s]
  ok   E5 (a,b)=(1,1) type II P = gauge only: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E5 (a,b)=(1,1) type II P = gauge only: U-type II, colength of b_4 = 4 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 1; rank of the (C2),(C3) system = 13
  ok   E5 (a,b)=(1,1) type II P = gauge only: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E5 (a,b)=(1,1) type II P = gauge only: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E5 (a,b)=(1,1) type II P = gauge only: g = x^4 z - gamma x^6 annihilates M
  ok   E5 (a,b)=(1,1) type II P = gauge only: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = 18 (nonzero constant)
  ok   E5 (a,b)=(1,1) type II P = gauge only: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E5 (a,b)=(1,1) type II P = gauge only: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E5 (a,b)=(1,1) type II P = gauge only: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E5 (a,b)=(1,1) type II P = gauge only: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E5 (a,b)=(1,1) type II P = gauge only: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 36, stabilized 36
  ok   E5 (a,b)=(1,1) type II P = gauge only: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 36
     [186.8s]
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: U-type I, colength of b_4 = 3 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 3; rank of the (C2),(C3) system = 15
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: g = x^4 z - gamma x^6 annihilates M
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -243/4 (nonzero constant)
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E6 (a,b)=(3/2,5) type I c=-1 random P: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [85.0s]
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: U-type II, colength of b_4 = 4 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 2; rank of the (C2),(C3) system = 15
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: g = x^4 z - gamma x^6 annihilates M
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -36 (nonzero constant)
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E7 (a,b)=(-2,1/2) type II P = X^2Z^3 head: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [64.0s]
  ok   E8 (a,b)=(5,-2) generic U random P: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E8 (a,b)=(5,-2) generic U random P: U-type generic, colength of b_4 = 2 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 3; rank of the (C2),(C3) system = 15
  ok   E8 (a,b)=(5,-2) generic U random P: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E8 (a,b)=(5,-2) generic U random P: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E8 (a,b)=(5,-2) generic U random P: g = x^4 z - gamma x^6 annihilates M
  ok   E8 (a,b)=(5,-2) generic U random P: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -225 (nonzero constant)
  ok   E8 (a,b)=(5,-2) generic U random P: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E8 (a,b)=(5,-2) generic U random P: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E8 (a,b)=(5,-2) generic U random P: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E8 (a,b)=(5,-2) generic U random P: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E8 (a,b)=(5,-2) generic U random P: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E8 (a,b)=(5,-2) generic U random P: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [187.6s]
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): U-type I, colength of b_4 = 3 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 2; rank of the (C2),(C3) system = 15
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): g = x^4 z - gamma x^6 annihilates M
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -27 (nonzero constant)
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): moving elements have top forms 6X^5 and X^6 for every lam
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 34, stabilized 34
  ok   E9 (a,b)=(-1,0) type I c=0 P = X^3Y^2 head (pure Y square): certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 34
     [57.7s]
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: actual algebra closed, dim 21, HF [1, 3, 6, 5, 4, 1, 1]
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: U-type I, colength of b_4 = 3 (expect 2-3 generic, 3 for type I, 4 for type II)
     P-rank of <X^4, y o P, z o P> = 1; rank of the (C2),(C3) system = 13
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: normalized Phi1 = Phi - (c/6) x o Phi has [X^5]P = 0, Phi1, x o Phi1 in M
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: f_i = w_i + q_i - A_i x^5 - B_i x^6 (random q_i) annihilate M
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: g = x^4 z - gamma x^6 annihilates M
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: M_lambda closed over QQ(lam) (rank test: True), dim 21, top-degree pivot minor det = -27 (nonzero constant)
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: moving elements have top forms 6X^5 and X^6 for every lam
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: G_i(lam) o m_j(lam) = 0 identically in lam (63 identities in QQ[lam][X,Y,Z])
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: H_i(eps) polynomial in eps and H(0) = (xyz - b z^3, xy^2 - a z^3 + x^5, y^3 + x^4 z)
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: M_inf closed with HF [1, 3, 6, 5, 4, 1, 1] and J o M_inf = 0 (the homothety limit of M_lambda, lam = eps^-2)
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: eps^deg rho_eps(M_lambda), lam = eps^-2, is polynomial in eps with limit M_inf
     lam0 = 1: ds vdim 36, stabilized 36
  ok   E10 (a,b)=(1,-1) type I c=1/3 P = gauge only: certified local length 21 <= L <= 41 of (G1,G2,G3)(lam0) at lam0 = 1: L = 36
     [185.6s]
  ok   Part E: accepted algebras 10 of 10 (need >= 6, all)
checks: 138
ALL CHECKS PASSED
