euler_30.fzn 25.3 KB