# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 0
6
6
..2.3.
2.....
..24.3
1.34..
.....3
.3.3..