5 (1, 2, 4) => unreachable!(),
6 (0, 2, 3, ..) => unreachable!(),
7 (0, .., 3) => unreachable!(),
8 (0, ..) => unreachable!(),
10 (_, _, _) => unreachable!(),
32 S(1, 2, 4) => unreachable!(),
33 S(0, 2, 3, ..) => unreachable!(),
34 S(0, .., 3) => unreachable!(),
35 S(0, ..) => unreachable!(),
37 S(_, _, _) => unreachable!(),