perfsq2.fzn 5.58 KB