pattern-avoiding permutation