pyramid_of_numbers.fzn 13.3 KB