subsequence_sum.fzn 1.99 KB