Pattern-avoiding permutation