# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 9
9
9
2...2...2
.4.4.3.4.
..4...1..
.4.3.3.4.
2.......2
.5.4.5.4.
..3...3..
.4.3.5.6.
2...1...2