money_change.fzn 684 Bytes