(M) module facts for Gamma in the line (three PGL_2-orbits)
  ok   (U) three points    : dim Syz_bin = 3, dim S1bar.Syz_bin = 6, dim S2bar.Syz_bin = 9   [0.1s]
  ok   (U) double + simple : dim Syz_bin = 3, dim S1bar.Syz_bin = 6, dim S2bar.Syz_bin = 9   [0.2s]
  ok   (U) triple          : dim Syz_bin = 3, dim S1bar.Syz_bin = 6, dim S2bar.Syz_bin = 9   [0.4s]
(T1) Gamma in the line, q not in Gamma: tail 12
  ok   (U) T1 three points                                      off-line Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [0.7s]
  ok   (U) T1 double + simple                                   off-line Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [1.0s]
  ok   (U) T1 triple                                            off-line Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [1.3s]
  ok   (S) T1 three random points (q = Z not among them)        embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [1.7s]
  ok   (S) T1 double + simple, not at q                         embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [2.1s]
  ok   (S) T1 triple, not at q                                  embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [2.4s]
  ok   (S) T1 y^3 + 2y^2z - yz^2 + 3z^3                         embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 24, tail 12, random algebra H ok True   [2.7s]
(T2) q in Gamma: tail 13
  ok   (U) T2 Gamma_2 = {Y, Z} reduced, plus q = X              off-line Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [3.1s]
  ok   (U) T2 Gamma_2 = double point at Y along the line, plus q = X off-line Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [3.4s]
  ok   (U) T2 {q, N1, N2} in the line                           embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [3.6s]
  ok   (U) T2 q + double point at N                             embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [3.9s]
  ok   (U) T2 double point at q along the line + N              embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [4.3s]
  ok   (U) T2 triple point at q along the line                  embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [4.6s]
  ok   (U) T2 (i) {N = Y} u double point at q transverse (direction X) embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [4.9s]
  ok   (U) T2 (ii) Gamma_c, c = 1                               embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [5.2s]
  ok   (U) T2 (ii) Gamma_c, c = 3                               embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [5.6s]
  ok   (U) T2 (ii) Gamma_c, c = -2                              embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [5.9s]
  ok   (U) T2 (iii) fat point V(m_q^2)                          embedded Gamma in B True, S_1 o D_5 = D_4 True, dim Syz 6, dim W.Syz 23, tail 13, random algebra H ok True   [6.3s]
(L) limits
  ok   (A) {Y, q, q + tX} -> {Y} u (double point at q, direction X) = V(x^2, xy, yz): True   [6.4s]
  ok   (A) (0,t), (0,-t), (3ct^2, 2t) -> Gamma_c, c = 1: True   [6.5s]
  ok   (A) (0,t), (0,-t), (3ct^2, 2t) -> Gamma_c, c = 3: True   [6.5s]
  ok   (A) (0,t), (0,-t), (3ct^2, 2t) -> Gamma_c, c = -2: True   [6.6s]
  ok   (A) (0,t), (0,-t), (t,0) -> V(m_q^2): True   [6.7s]
(D) case (d)
  ok   (S) (d) Gamma = V(x, y^2*z - y*z^2), G = XYZ: dim K = 2, delta = 3; three random elements of N, 2 tries: local lengths [39, 39]; accepted 2 (closed, H = [1, 3, 6, 5, 3, 3], f in Ann(M), <= 41); minimum 39 <= 36 + delta = 39 (so e(N) <= 39)   [25.9s]
  ok   (S) (d) Gamma = V(x, y^3), G = XYZ: dim K = 2, delta = 3; three random elements of N, 2 tries: local lengths [39, 39]; accepted 2 (closed, H = [1, 3, 6, 5, 3, 3], f in Ann(M), <= 41); minimum 39 <= 36 + delta = 39 (so e(N) <= 39)   [44.7s]
28 checks, total time 44.7 s
ALL CHECKS PASSED
