# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/gecode_r/minesweeper.rb
# 
# Problem from Gecode/examples/minesweeper.cc  problem 4
10
10
0.0.1..11.
1.2.2.22..
......2..2
.23.11....
0......2.1
...22.1...
.....3.32.
.5.2...3.1
.3.1..3...
.2...12..0