  ok   (U) Macaulay 5^<3> = 6   [0.0s]
  ok   (U) off-line: dim nu_3(B) = 5, dim nu_4(B) = 6; nu_k(B) = C[Y,Z]_k + C X^k   [0.1s]
  ok   (U) embedded: dim nu_3(B) = 5, dim nu_4(B) = 6; nu_k(B) = C[Y,Z]_k + C XZ^(k-1)   [0.2s]
  ok   (U) off-line: X^3 not in N_X o nu_4(B)   [0.2s]
  ok   (S) off-line random tails 0: closed, H = [1, 3, 6, 5, 6], ray at X with k = 3   [0.4s]
  ok   (S) off-line random tails 1: closed, H = [1, 3, 6, 5, 6], ray at X with k = 3   [0.5s]
  ok   (S) embedded random tails: closed, H = [1, 3, 6, 5, 6]   [0.5s]
7 checks, total time 0.5 s
ALL CHECKS PASSED
