(U1) rank condition of Lemma D.3 at the fat point
    dim K = 6
  [ok] K = X^2 T_2 (dimension 6)
  [ok] rank of x o K modulo D_3 is >= 3 (it is 3)
  [ok] K contains X^2 C[Y,Z]_2
(U2) bounds
  [ok] curvilinear Gamma: 27 + 4*3 = 39 < 42
  [ok] fat Gamma with Lemma D.3: 27 + (min(7,6)-3)*4 = 39 < 42
  [ok] fat Gamma without Lemma D.3 would give 27 + 4*4 = 43 >= 42
(S) one actual algebra of the fat stratum and the line of Lemma D.3
    H = [1, 3, 6, 3, 3, 3, 1, 1]
  [ok] H(M) = (1,3,6,3,3,3,1,1)
  [ok] lambda = 1: M_lam closed of dimension 21 with H = (1,3,6,3,3,3,1,1)
    lambda = 1: local lengths of three random triples of Ann(M_lam): [35, 35, 35]
  [ok] lambda = 1: some random triple has local length <= 39
  [ok] lambda = 5: M_lam closed of dimension 21 with H = (1,3,6,3,3,3,1,1)
    lambda = 5: local lengths of three random triples of Ann(M_lam): [35, 35, 35]
  [ok] lambda = 5: some random triple has local length <= 39
11 checks, 0 failed
ALL CHECKS PASSED
