implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
Pruning tables for Cube2 (levels 4,5,11)