(U1) arithmetic
  [ok] Cor 3.14(1): 2s+c+19 = 36 < 42
  [ok] Cor 3.14(2): 3s+c+15 = 39 < 42
  [ok] fat point at a point of Gamma: Thm 3.12 would give 27 + 4*(s-3) = 43 > 41
(U2) the fat stratum
  [ok] graded inverse system has H = (1,3,6,3,2,2,2,2)
  [ok] I* = Ann of the graded inverse system
(A) a triple in I* of local length 41
  [ok] the triple lies in I*
    local length: standard basis 41, stabilization 41
  [ok] local length 41 by a local standard basis
  [ok] local length 41 by stabilization
(S) random triples of I*
    local lengths: [41, 41, 41, 41]
  [ok] random triples of I* have local length >= 41 (multiplicity of I*)
(S) actual algebras of the fat stratum with tails
    sample 0: H ok, local length of random triples of Ann(M): 39
  [ok] sample 0: <= 41
    sample 1: H ok, local length of random triples of Ann(M): 39
  [ok] sample 1: <= 41
    sample 2: H ok, local length of random triples of Ann(M): 39
  [ok] sample 2: <= 41
    sample 3: H ok, local length of random triples of Ann(M): 39
  [ok] sample 3: <= 41
    sample 4: H ok, local length of random triples of Ann(M): 39
  [ok] sample 4: <= 41
    sample 5: H ok, local length of random triples of Ann(M): 39
  [ok] sample 5: <= 41
    accepted samples: 6
  [ok] at least three actual samples of the fat stratum were tested
16 checks, 0 failed
ALL CHECKS PASSED
