(T) the four families
  ok   (S) T1 concise F (random)                          off-line r = 3, dim Syz = 0, dim W.Syz = 0, tails [20, 20] (expected 20), random algebra closed with H True   [0.6s]
  ok   (S) T2 F binary on the line (random)               off-line r = 2, dim Syz = 1, dim W.Syz = 5, tails [20, 20] (expected 20), random algebra closed with H True   [1.1s]
  ok   (U) T3 F = N^5, N = Y + Z in the line, N != q      off-line r = 1, dim Syz = 2, dim W.Syz = 8, tails [22, 22] (expected 22), random algebra closed with H True   [1.6s]
  ok   (U) T3 F = N^5, N = Y                              off-line r = 1, dim Syz = 2, dim W.Syz = 8, tails [22, 22] (expected 22), random algebra closed with H True   [2.0s]
  ok   (U) T4 F = q^5                                     off-line r = 1, dim Syz = 2, dim W.Syz = 7, tails [23, 23] (expected 23), random algebra closed with H True   [2.5s]
  ok   (S) T1 concise F (random)                          embedded r = 3, dim Syz = 0, dim W.Syz = 0, tails [20, 20] (expected 20), random algebra closed with H True   [2.9s]
  ok   (S) T2 F binary on the line (random)               embedded r = 2, dim Syz = 1, dim W.Syz = 5, tails [20, 20] (expected 20), random algebra closed with H True   [3.3s]
  ok   (U) T3 F = N^5, N = Y + Z in the line, N != q      embedded r = 1, dim Syz = 2, dim W.Syz = 8, tails [22, 22] (expected 22), random algebra closed with H True   [3.8s]
  ok   (U) T3 F = N^5, N = Y                              embedded r = 1, dim Syz = 2, dim W.Syz = 8, tails [22, 22] (expected 22), random algebra closed with H True   [4.2s]
  ok   (U) T4 F = q^5                                     embedded r = 1, dim Syz = 2, dim W.Syz = 7, tails [23, 23] (expected 23), random algebra closed with H True   [4.6s]
(D) type T5 and its deformation
  ok   (A) T5, a = 0: S_1 o F = <Z^4, (X + aY)Z^3> (dim 2)   [4.6s]
  ok   (A) T5, a = 0: D_4(0) = D_4 True; tail at t = 0: 20; t, concise, S_1 o F_t in D_4(t) in nu_4(B), tail: [(1/7, True, True, 20), (-3, True, True, 20)]   [5.0s]
  ok   (S) T5, a = 0: a random algebra is closed with H = [1, 3, 6, 5, 5, 1]   [5.2s]
  ok   (A) T5, a = 2: S_1 o F = <Z^4, (X + aY)Z^3> (dim 2)   [5.2s]
  ok   (A) T5, a = 2: D_4(0) = D_4 True; tail at t = 0: 20; t, concise, S_1 o F_t in D_4(t) in nu_4(B), tail: [(1/7, True, True, 20), (-3, True, True, 20)]   [5.5s]
  ok   (S) T5, a = 2: a random algebra is closed with H = [1, 3, 6, 5, 5, 1]   [5.7s]
(L) case (d): D_3 = C[Y,Z]_3 + C XYZ (x o G = YZ, not a square), D_4 = C[Y,Z]_4, D_5 = C F binary
  ok   (S) (d) random F: dim K = 3, delta = 0; three random elements of N, 2 tries: local lengths [36, 36]; accepted 2 (closed, H = [1, 3, 6, 5, 5, 1], f in Ann(M), <= 41); minimum 36 <= 36 + delta = 36 (so e(N) <= 36)   [23.1s]
  ok   (S) (d) F = Y^5: dim K = 4, delta = 1; three random elements of N, 2 tries: local lengths [37, 37]; accepted 2 (closed, H = [1, 3, 6, 5, 5, 1], f in Ann(M), <= 41); minimum 37 <= 36 + delta = 37 (so e(N) <= 37)   [44.8s]
  ok   (S) (d) F = Y^4 Z: dim K = 3, delta = 2; three random elements of N, 2 tries: local lengths [38, 38]; accepted 2 (closed, H = [1, 3, 6, 5, 5, 1], f in Ann(M), <= 41); minimum 38 <= 36 + delta = 38 (so e(N) <= 38)   [61.8s]
19 checks, total time 61.8 s
ALL CHECKS PASSED
