Write a constraint to generate the pattern 1234554321