quasiGroup5Idempotent.fzn 41 KB