  (name, dim Q, dim S_1 Q, dim T_4(W)): [('N off the line', 4, 9, 6), ('N on the line', 4, 9, 6), ("Gamma'' two points", 4, 8, 7)]
PASS (D) delta' = 1, 1, 2 and dim T_4(W) = 6, 6, 7  [0.1s]
PASS (R1) (O1) N off the line: closed members with H = (1,3,6,6,4,1) and N^3 in M, N^3 not in N_N o M: 4 of 4 samples  [1.6s]
PASS (R2) (O2) Gamma'' = {N, N'} off the line: closed members with H = (1,3,6,6,4,1) and N^3 in M, N^3 not in N_N o M: 4 of 4 samples  [2.5s]
PASS (W) data: W = C[x,y]_3, F concise, S_2 o F and S_1 o D_4 in D_3, Z^4 in D_4 but not in S_1 o F  [2.6s]
   trial 0 : local length with p3 = 36 ; with p3 = 0: 45
PASS (W) Lemma 3.5 member: closed, H = [1, 3, 6, 6, 4, 1], w1, w2, w3 + p3 + L^5 in Ann(M); local length 36 = 27 + 9 < 42 (stable N = 9), residual 15; with p3 = 0: 45 = 27 + 2*9  [10.1s]
PASS (W) an anchor with local length <= 36 was found  [10.1s]
total time 10.1 s
ALL CHECKS PASSED
