# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 1
8
8
.2.211..
..4.2..2
2..2..3.
2.22.3.3
..1...4.
1...2..3
.2.22.3.
1.1..1.1