lexicographic permutation added