# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 2
10
10
1..2.2.2..
.32...4..1
...13...4.
3.1...3...
.21.1..3.2
.3.2..2.1.
2..32..2..
.3...32..3
..3.33....
.2.2...22.