Ah right, for more than 9 cpus. Swapping the `for` and `assert` lines should be just enough, right? Also, initialising `n` to `num` is useless in that case...