range_ctr.fzn 1.18 KB