  ok   (i) case (d), U binary, sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 3, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (i) case (c) embedded at [Y], U binary, sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 3, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (ii) off-line point [Z], sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (iii) [X] off the line, sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (iv) embedded at [2X+3Y], sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (iv) embedded at [Y], sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (v) embedded at [X], a = c = 0, sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (i) case (d), U binary, sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 3, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (i) case (c) embedded at [Y], U binary, sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 3, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (ii) off-line point [Z], sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (iii) [X] off the line, sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (iv) embedded at [2X+3Y], sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (iv) embedded at [Y], sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   (v) embedded at [X], a = c = 0, sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], dim of admissible P 2, RC hypotheses True, (I : (y,z)) not in I + (y,z): True
  ok   close §6(d), P = 0, sample 0: closed HF [1, 3, 6, 5, 4, 1, 1], ray (y,z) by the colon criterion
  ok   close §6(d), P = 0, sample 1: closed HF [1, 3, 6, 5, 4, 1, 1], ray (y,z) by the colon criterion
     control (information): Sigma_CI rank-three P: closed True HF [1, 3, 6, 5, 4, 1, 1], RC hypotheses False, (y,z) ray by colon: False
  ok   accepted 16 of 16 ray samples
checks: 17
ALL CHECKS PASSED
