  ok   (U) W = C[x,y]_3 is D_3^perp for D_3 = Z T_2   [0.1s]
(C) the seven orbits
  ok   (U) (a)   V = [Z^5, X*Z^4]: r = 2, Z^4 in S_1 o V: True   [0.1s]
  ok   (U) (b1)  V = [Z^5, X^2*Z^3]: r = 3, Z^4 in S_1 o V: True   [0.1s]
  ok   (U) (b2)  V = [Z^5, X^2*Z^3 + Y*Z^4]: r = 3, Z^4 in S_1 o V: True   [0.1s]
  ok   (U) (c1)  V = [X*Z^4, X^2*Z^3]: r = 3, Z^4 in S_1 o V: True   [0.1s]
  ok   (U) (c2)  V = [X*Z^4, X^2*Z^3 + Z^5]: r = 3, Z^4 in S_1 o V: True   [0.1s]
  ok   (U) (d)   V = [X*Z^4, Y*Z^4]: r = 3, Z^4 in S_1 o V: True   [0.1s]
  ok   (U) (e)   V = [X*Z^4, X^2*Z^3 + Y*Z^4]: r = 3, Z^4 in S_1 o V: True   [0.1s]
  ok   (S) random pencils in Z^3 T_2: r = [5, 5, 5, 5, 5, 5] (all >= 4)   [0.2s]
(T) tail dimensions
  ok   (U) (a)   tail 15 (expected 15); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [0.5s]
  ok   (U) (b1)  tail 15 (expected 15); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [0.8s]
  ok   (U) (b2)  tail 15 (expected 15); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [1.3s]
  ok   (U) (c1)  tail 12 (expected 12); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [1.5s]
  ok   (U) (c2)  tail 12 (expected 12); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [1.7s]
  ok   (U) (d)   tail 14 (expected 14); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [2.0s]
  ok   (U) (e)   tail 12 (expected 12); a random algebra is closed with H = [1, 3, 6, 6, 3, 2]   [2.2s]
  ok   (S) (a) with four different D_4: tails [15, 15, 15, 15]   [2.5s]
  ok   (S) random members: B1 tails [12, 12, 12] (12), B2 tails [15, 15, 15] (15)   [3.0s]
(N) negative control: Lemma 3.5 with R = 0
  ok   (S) (a)   two random triples of N_V = (W) + K_V + m^5: local lengths [42, 42] (> 41: this route fails, as expected)   [43.5s]
  ok   (S) (b1)  two random triples of N_V = (W) + K_V + m^5: local lengths [42, 42] (> 41: this route fails, as expected)   [75.9s]
  ok   (S) (b2)  two random triples of N_V = (W) + K_V + m^5: local lengths [42, 42] (> 41: this route fails, as expected)   [111.4s]
  ok   (S) (c1)  two random triples of N_V = (W) + K_V + m^5: local lengths [42, 42] (> 41: this route fails, as expected)   [142.0s]
  ok   (S) (c2)  two random triples of N_V = (W) + K_V + m^5: local lengths [42, 42] (> 41: this route fails, as expected)   [171.5s]
  ok   (S) (d)   two random triples of N_V = (W) + K_V + m^5: local lengths [45, 45] (> 41: this route fails, as expected)   [200.6s]
  ok   (S) (e)   two random triples of N_V = (W) + K_V + m^5: local lengths [42, 42] (> 41: this route fails, as expected)   [236.8s]
25 checks, total time 236.8 s
ALL CHECKS PASSED
