consecutive_values.fzn 11.2 KB