gardner_prime_puzzle.fzn 1.75 KB