(N) normal form of Prop. SigmaCI
  ok   D_3 is orthogonal to I*_3 and has dimension 5
  ok   nu_4(B) has dimension 5 and equals <X^4, X^3Y, X^3Z, X^2Z^2, Q_4>
(J41) the limit J of Prop. SigmaCI
  ok   D_4 = [X^4, X^3*Y, X^2*Z^2, 3/2*X^2*Y^2 + X*Z^3]: M_infty closed, H = (1,3,6,5,4,1,1), J annihilates it
  ok   D_4 = [X^4, X^3*Z, X^2*Z^2, 3/2*X^2*Y^2 + X*Z^3]: M_infty closed, H = (1,3,6,5,4,1,1), J annihilates it
  ok   D_4 = [X^4, X^3*Y, X^3*Z, X^2*Z^2]: M_infty closed, H = (1,3,6,5,4,1,1), J annihilates it
  ok   D_4 = [X^4, X^3*Y + X^3*Z, 2*X^3*Y + X^2*Z^2, 3/2*X^2*Y^2 - X^3*Z + X*Z^3]: M_infty closed, H = (1,3,6,5,4,1,1), J annihilates it
  ok   (xy^2 + x^5) o (X^6 - 180 X^2Y^2) = 0
  ok   local length of J: ds 41, stabilization 41, both 41
(A38)
  ok   D_4 is a hyperplane of nu_4(B) containing X^4
  ok   M_Q closed, dim 21, H = (1,3,6,5,4,1,1)
  ok   the triple lies in L_def, with linearly independent cubic parts
  ok   the triple annihilates M_Q
  ok   local length: ds 38, stabilization 38, both 38
(A41)
  ok   D_4 is a hyperplane of nu_4(B) containing X^4
  ok   M_Q closed, dim 21, H = (1,3,6,5,4,1,1)
  ok   the triple lies in L_def, with linearly independent cubic parts
  ok   the triple annihilates M_Q
  ok   local length: ds 41, stabilization 41, both 41
(C) Thm 136332111, active D_5
  ok   collinear: graded datum closed, H = (1,3,6,3,3,2,1,1,1)
  ok   collinear: J lies in I*
  ok   collinear: local length ds 39, stabilization 39, both 39
  ok   conic: graded datum closed, H = (1,3,6,3,3,2,1,1,1)
  ok   conic: J lies in I*
  ok   conic: local length ds 39, stabilization 39, both 39
ALL CHECKS PASSED
