PASS (A) (1,3,6,5,4,1) off-line, trial 0: H = [1, 3, 6, 5, 4, 1], ray along a parabola (k = 3) at X  [0.8s]
PASS (A) (1,3,6,5,4,1) off-line, trial 1: H = [1, 3, 6, 5, 4, 1], ray along a parabola (k = 3) at X  [1.1s]
PASS (A) (1,3,6,5,4,1) off-line, trial 2: H = [1, 3, 6, 5, 4, 1], ray along a parabola (k = 3) at X  [1.4s]
PASS (A) (1,3,6,5,4,1): 3 of 3 random trials accepted  [1.4s]
  skip (S_1 o D_5 too big) 5
  skip (S_1 o D_5 too big) 4
PASS (A) (1,3,6,5,3,2) off-line, trial 2: H = [1, 3, 6, 5, 3, 2], ray along a parabola (k = 3) at X  [1.8s]
PASS (A) (1,3,6,5,3,2): 1 of 3 random trials accepted  [1.8s]
  (B) concise                    off-line : (dim S_1 o F, tail dim) = [(3, 16), (3, 16)]
  (B) concise                    embedded : (dim S_1 o F, tail dim) = [(3, 16), (3, 16)]
  (B) binary on the line         off-line : (dim S_1 o F, tail dim) = [(2, 16), (2, 16)]
  (B) binary on the line         embedded : (dim S_1 o F, tail dim) = [(2, 16), (2, 16)]
  (B) pure N^5, N on the line    off-line : (dim S_1 o F, tail dim) = [(1, 18), (1, 18)]
  (B) pure N^5, N on the line    embedded : (dim S_1 o F, tail dim) = [(1, 18), (1, 18)]
  (B) pure q^5                   off-line : (dim S_1 o F, tail dim) = [(1, 19), (1, 19)]
  (B) pure q^5                   embedded : (dim S_1 o F, tail dim) = [(1, 19), (1, 19)]
  (B) Z^5 + c X Z^4              embedded : (dim S_1 o F, tail dim) = [(2, 16), (2, 16)]
  (B) Z^4 (c(X + a Y) + b Z)     embedded : (dim S_1 o F, tail dim) = [(2, 16), (2, 16)]
PASS (B) the tail dimensions agree off-line and embedded for the four common types  [3.1s]
  (C) a, b, c = 3, 4, 5: tail dimensions at t = 0, 1/7, -3: [16, 16, 16]
  (C) a, b, c = 1, -5, 3: tail dimensions at t = 0, 1/7, -3: [16, 16, 16]
PASS (C) type (ii) deformation: F_t concise for t != 0, D_4(t) contains S_1 o F_t, D_4(0) = D_4, tail dimension 16 constant  [3.8s]
total time 3.8 s
ALL CHECKS PASSED
