# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/gecode_r/minesweeper.rb
# 
# Problem from Gecode/examples/minesweeper.cc  problem 8
7
7
.......
.23435.
.1...3.
...5...
.1...3.
.12234.
.......