heterosquare.fzn 2.4 KB