pub fn permutations(k: usize) -> Vec<Vec<usize>>
Every permutation of 0..k — the orderings to feed the real checker.
0..k