(K) kernel of w o : T_4 -> T_1
  ok   (U) generic cubic: rank of F |-> w o F is 3, kernel dimension 12   [0.1s]
(R) the open ray condition at one member
  ok   (A) w o D_4 = 0 and w(P) = 0   [0.1s]
  ok   (A) x o F_i, z o F_i (i = 1,2) and Y^3 linearly independent (rank 5)   [0.1s]
  ok   (S) random tails 0: closed, H = (1,3,6,9,2), ray at Y with k = 3   [0.2s]
  ok   (S) random tails 1: closed, H = (1,3,6,9,2), ray at Y with k = 3   [0.4s]
  ok   (S) random tails 2: closed, H = (1,3,6,9,2), ray at Y with k = 3   [0.4s]
6 checks, total time 0.4 s
ALL CHECKS PASSED
