`Ụ` is self-inverse on permutations of [1..n], so the first thing I did was run `Ụ` on the (7,5) test case's output, to get an idea of the shape of the list I'd have to create:
> [6, 7, 4, 5, 2, 3, 13, 14, 11, 12, 9, 10, 20, 21, 18, 19, 16, 17, 27, 28, 25, 26, 23, 24, 34, 35, 32, 33, 30, 31, 29, 22, 15, 8, 1]