remarkable_sequence.fzn 60.7 KB