among_seq.fzn 13.3 KB