permutations pruning