(A) (1,3,6,3,3,2,1,1), Gamma fat at X
   trial 0 lambda 0: closed, H ok, local length of a general triple 39
   trial 0 lambda 2: closed, H ok, local length of a general triple 37
   trial 1 lambda 0: closed, H ok, local length of a general triple 39
   trial 1 lambda 2: closed, H ok, local length of a general triple 37
   trial 2 lambda 0: closed, H ok, local length of a general triple 39
   trial 2 lambda 2: closed, H ok, local length of a general triple 37
(B) (1,3,6,4,4,1,1), socle of B at X of dimension two
   V(m_X^2) + [Z]: length 4, dim K = 7, rank of R' -> x o R' mod D_3 = 3
      trial 0 lambda 0: local length 32
      trial 0 lambda 3: local length 32
      trial 1 lambda 0: local length 32
      trial 1 lambda 3: local length 32
   V(y^2,yz,z^3) at X: length 4, dim K = 7, rank of R' -> x o R' mod D_3 = 3
      trial 0 lambda 0: local length 32
      trial 0 lambda 3: local length 32
      trial 1 lambda 0: local length 32
      trial 1 lambda 3: local length 32

total time 10.6 s
ALL CHECKS PASSED
