Create permutations.v