permutations of {1, 2, 3, 4}