# SABR
# this will solve a 4x4 minesweeper problem

Sym { m 0 1 2 3 4 5 6 7 8 }

Board {
	a0 a1 a2 a3;
	b0 b1 b2 b3;
	c0 c1 c2 c3;
	d0 d1 d2 d3;
}

Req Board {
	m 2 2 2;
	1 ? m m;
	1 ? 3 2;
	1 ? ? 0;
}

Opt BlockA { 0 !m !m !m !m !m !m !m !m }
Opt BlockA { 1  m !m !m !m !m !m !m !m }
Opt BlockA { 1 !m  m !m !m !m !m !m !m }
Opt BlockA { 2  m  m !m !m !m !m !m !m }
Opt BlockA { 1 !m !m  m !m !m !m !m !m }
Opt BlockA { 2  m !m  m !m !m !m !m !m }
Opt BlockA { 2 !m  m  m !m !m !m !m !m }
Opt BlockA { 3  m  m  m !m !m !m !m !m }
Opt BlockA { 1 !m !m !m  m !m !m !m !m }
Opt BlockA { 2  m !m !m  m !m !m !m !m }
Opt BlockA { 2 !m  m !m  m !m !m !m !m }
Opt BlockA { 3  m  m !m  m !m !m !m !m }
Opt BlockA { 2 !m !m  m  m !m !m !m !m }
Opt BlockA { 3  m !m  m  m !m !m !m !m }
Opt BlockA { 3 !m  m  m  m !m !m !m !m }
Opt BlockA { 4  m  m  m  m !m !m !m !m }
Opt BlockA { 1 !m !m !m !m  m !m !m !m }
Opt BlockA { 2  m !m !m !m  m !m !m !m }
Opt BlockA { 2 !m  m !m !m  m !m !m !m }
Opt BlockA { 3  m  m !m !m  m !m !m !m }
Opt BlockA { 2 !m !m  m !m  m !m !m !m }
Opt BlockA { 3  m !m  m !m  m !m !m !m }
Opt BlockA { 3 !m  m  m !m  m !m !m !m }
Opt BlockA { 4  m  m  m !m  m !m !m !m }
Opt BlockA { 2 !m !m !m  m  m !m !m !m }
Opt BlockA { 3  m !m !m  m  m !m !m !m }
Opt BlockA { 3 !m  m !m  m  m !m !m !m }
Opt BlockA { 4  m  m !m  m  m !m !m !m }
Opt BlockA { 3 !m !m  m  m  m !m !m !m }
Opt BlockA { 4  m !m  m  m  m !m !m !m }
Opt BlockA { 4 !m  m  m  m  m !m !m !m }
Opt BlockA { 5  m  m  m  m  m !m !m !m }
Opt BlockA { 1 !m !m !m !m !m  m !m !m }
Opt BlockA { 2  m !m !m !m !m  m !m !m }
Opt BlockA { 2 !m  m !m !m !m  m !m !m }
Opt BlockA { 3  m  m !m !m !m  m !m !m }
Opt BlockA { 2 !m !m  m !m !m  m !m !m }
Opt BlockA { 3  m !m  m !m !m  m !m !m }
Opt BlockA { 3 !m  m  m !m !m  m !m !m }
Opt BlockA { 4  m  m  m !m !m  m !m !m }
Opt BlockA { 2 !m !m !m  m !m  m !m !m }
Opt BlockA { 3  m !m !m  m !m  m !m !m }
Opt BlockA { 3 !m  m !m  m !m  m !m !m }
Opt BlockA { 4  m  m !m  m !m  m !m !m }
Opt BlockA { 3 !m !m  m  m !m  m !m !m }
Opt BlockA { 4  m !m  m  m !m  m !m !m }
Opt BlockA { 4 !m  m  m  m !m  m !m !m }
Opt BlockA { 5  m  m  m  m !m  m !m !m }
Opt BlockA { 2 !m !m !m !m  m  m !m !m }
Opt BlockA { 3  m !m !m !m  m  m !m !m }
Opt BlockA { 3 !m  m !m !m  m  m !m !m }
Opt BlockA { 4  m  m !m !m  m  m !m !m }
Opt BlockA { 3 !m !m  m !m  m  m !m !m }
Opt BlockA { 4  m !m  m !m  m  m !m !m }
Opt BlockA { 4 !m  m  m !m  m  m !m !m }
Opt BlockA { 5  m  m  m !m  m  m !m !m }
Opt BlockA { 3 !m !m !m  m  m  m !m !m }
Opt BlockA { 4  m !m !m  m  m  m !m !m }
Opt BlockA { 4 !m  m !m  m  m  m !m !m }
Opt BlockA { 5  m  m !m  m  m  m !m !m }
Opt BlockA { 4 !m !m  m  m  m  m !m !m }
Opt BlockA { 5  m !m  m  m  m  m !m !m }
Opt BlockA { 5 !m  m  m  m  m  m !m !m }
Opt BlockA { 6  m  m  m  m  m  m !m !m }
Opt BlockA { 1 !m !m !m !m !m !m  m !m }
Opt BlockA { 2  m !m !m !m !m !m  m !m }
Opt BlockA { 2 !m  m !m !m !m !m  m !m }
Opt BlockA { 3  m  m !m !m !m !m  m !m }
Opt BlockA { 2 !m !m  m !m !m !m  m !m }
Opt BlockA { 3  m !m  m !m !m !m  m !m }
Opt BlockA { 3 !m  m  m !m !m !m  m !m }
Opt BlockA { 4  m  m  m !m !m !m  m !m }
Opt BlockA { 2 !m !m !m  m !m !m  m !m }
Opt BlockA { 3  m !m !m  m !m !m  m !m }
Opt BlockA { 3 !m  m !m  m !m !m  m !m }
Opt BlockA { 4  m  m !m  m !m !m  m !m }
Opt BlockA { 3 !m !m  m  m !m !m  m !m }
Opt BlockA { 4  m !m  m  m !m !m  m !m }
Opt BlockA { 4 !m  m  m  m !m !m  m !m }
Opt BlockA { 5  m  m  m  m !m !m  m !m }
Opt BlockA { 2 !m !m !m !m  m !m  m !m }
Opt BlockA { 3  m !m !m !m  m !m  m !m }
Opt BlockA { 3 !m  m !m !m  m !m  m !m }
Opt BlockA { 4  m  m !m !m  m !m  m !m }
Opt BlockA { 3 !m !m  m !m  m !m  m !m }
Opt BlockA { 4  m !m  m !m  m !m  m !m }
Opt BlockA { 4 !m  m  m !m  m !m  m !m }
Opt BlockA { 5  m  m  m !m  m !m  m !m }
Opt BlockA { 3 !m !m !m  m  m !m  m !m }
Opt BlockA { 4  m !m !m  m  m !m  m !m }
Opt BlockA { 4 !m  m !m  m  m !m  m !m }
Opt BlockA { 5  m  m !m  m  m !m  m !m }
Opt BlockA { 4 !m !m  m  m  m !m  m !m }
Opt BlockA { 5  m !m  m  m  m !m  m !m }
Opt BlockA { 5 !m  m  m  m  m !m  m !m }
Opt BlockA { 6  m  m  m  m  m !m  m !m }
Opt BlockA { 2 !m !m !m !m !m  m  m !m }
Opt BlockA { 3  m !m !m !m !m  m  m !m }
Opt BlockA { 3 !m  m !m !m !m  m  m !m }
Opt BlockA { 4  m  m !m !m !m  m  m !m }
Opt BlockA { 3 !m !m  m !m !m  m  m !m }
Opt BlockA { 4  m !m  m !m !m  m  m !m }
Opt BlockA { 4 !m  m  m !m !m  m  m !m }
Opt BlockA { 5  m  m  m !m !m  m  m !m }
Opt BlockA { 3 !m !m !m  m !m  m  m !m }
Opt BlockA { 4  m !m !m  m !m  m  m !m }
Opt BlockA { 4 !m  m !m  m !m  m  m !m }
Opt BlockA { 5  m  m !m  m !m  m  m !m }
Opt BlockA { 4 !m !m  m  m !m  m  m !m }
Opt BlockA { 5  m !m  m  m !m  m  m !m }
Opt BlockA { 5 !m  m  m  m !m  m  m !m }
Opt BlockA { 6  m  m  m  m !m  m  m !m }
Opt BlockA { 3 !m !m !m !m  m  m  m !m }
Opt BlockA { 4  m !m !m !m  m  m  m !m }
Opt BlockA { 4 !m  m !m !m  m  m  m !m }
Opt BlockA { 5  m  m !m !m  m  m  m !m }
Opt BlockA { 4 !m !m  m !m  m  m  m !m }
Opt BlockA { 5  m !m  m !m  m  m  m !m }
Opt BlockA { 5 !m  m  m !m  m  m  m !m }
Opt BlockA { 6  m  m  m !m  m  m  m !m }
Opt BlockA { 4 !m !m !m  m  m  m  m !m }
Opt BlockA { 5  m !m !m  m  m  m  m !m }
Opt BlockA { 5 !m  m !m  m  m  m  m !m }
Opt BlockA { 6  m  m !m  m  m  m  m !m }
Opt BlockA { 5 !m !m  m  m  m  m  m !m }
Opt BlockA { 6  m !m  m  m  m  m  m !m }
Opt BlockA { 6 !m  m  m  m  m  m  m !m }
Opt BlockA { 7  m  m  m  m  m  m  m !m }
Opt BlockA { 1 !m !m !m !m !m !m !m  m }
Opt BlockA { 2  m !m !m !m !m !m !m  m }
Opt BlockA { 2 !m  m !m !m !m !m !m  m }
Opt BlockA { 3  m  m !m !m !m !m !m  m }
Opt BlockA { 2 !m !m  m !m !m !m !m  m }
Opt BlockA { 3  m !m  m !m !m !m !m  m }
Opt BlockA { 3 !m  m  m !m !m !m !m  m }
Opt BlockA { 4  m  m  m !m !m !m !m  m }
Opt BlockA { 2 !m !m !m  m !m !m !m  m }
Opt BlockA { 3  m !m !m  m !m !m !m  m }
Opt BlockA { 3 !m  m !m  m !m !m !m  m }
Opt BlockA { 4  m  m !m  m !m !m !m  m }
Opt BlockA { 3 !m !m  m  m !m !m !m  m }
Opt BlockA { 4  m !m  m  m !m !m !m  m }
Opt BlockA { 4 !m  m  m  m !m !m !m  m }
Opt BlockA { 5  m  m  m  m !m !m !m  m }
Opt BlockA { 2 !m !m !m !m  m !m !m  m }
Opt BlockA { 3  m !m !m !m  m !m !m  m }
Opt BlockA { 3 !m  m !m !m  m !m !m  m }
Opt BlockA { 4  m  m !m !m  m !m !m  m }
Opt BlockA { 3 !m !m  m !m  m !m !m  m }
Opt BlockA { 4  m !m  m !m  m !m !m  m }
Opt BlockA { 4 !m  m  m !m  m !m !m  m }
Opt BlockA { 5  m  m  m !m  m !m !m  m }
Opt BlockA { 3 !m !m !m  m  m !m !m  m }
Opt BlockA { 4  m !m !m  m  m !m !m  m }
Opt BlockA { 4 !m  m !m  m  m !m !m  m }
Opt BlockA { 5  m  m !m  m  m !m !m  m }
Opt BlockA { 4 !m !m  m  m  m !m !m  m }
Opt BlockA { 5  m !m  m  m  m !m !m  m }
Opt BlockA { 5 !m  m  m  m  m !m !m  m }
Opt BlockA { 6  m  m  m  m  m !m !m  m }
Opt BlockA { 2 !m !m !m !m !m  m !m  m }
Opt BlockA { 3  m !m !m !m !m  m !m  m }
Opt BlockA { 3 !m  m !m !m !m  m !m  m }
Opt BlockA { 4  m  m !m !m !m  m !m  m }
Opt BlockA { 3 !m !m  m !m !m  m !m  m }
Opt BlockA { 4  m !m  m !m !m  m !m  m }
Opt BlockA { 4 !m  m  m !m !m  m !m  m }
Opt BlockA { 5  m  m  m !m !m  m !m  m }
Opt BlockA { 3 !m !m !m  m !m  m !m  m }
Opt BlockA { 4  m !m !m  m !m  m !m  m }
Opt BlockA { 4 !m  m !m  m !m  m !m  m }
Opt BlockA { 5  m  m !m  m !m  m !m  m }
Opt BlockA { 4 !m !m  m  m !m  m !m  m }
Opt BlockA { 5  m !m  m  m !m  m !m  m }
Opt BlockA { 5 !m  m  m  m !m  m !m  m }
Opt BlockA { 6  m  m  m  m !m  m !m  m }
Opt BlockA { 3 !m !m !m !m  m  m !m  m }
Opt BlockA { 4  m !m !m !m  m  m !m  m }
Opt BlockA { 4 !m  m !m !m  m  m !m  m }
Opt BlockA { 5  m  m !m !m  m  m !m  m }
Opt BlockA { 4 !m !m  m !m  m  m !m  m }
Opt BlockA { 5  m !m  m !m  m  m !m  m }
Opt BlockA { 5 !m  m  m !m  m  m !m  m }
Opt BlockA { 6  m  m  m !m  m  m !m  m }
Opt BlockA { 4 !m !m !m  m  m  m !m  m }
Opt BlockA { 5  m !m !m  m  m  m !m  m }
Opt BlockA { 5 !m  m !m  m  m  m !m  m }
Opt BlockA { 6  m  m !m  m  m  m !m  m }
Opt BlockA { 5 !m !m  m  m  m  m !m  m }
Opt BlockA { 6  m !m  m  m  m  m !m  m }
Opt BlockA { 6 !m  m  m  m  m  m !m  m }
Opt BlockA { 7  m  m  m  m  m  m !m  m }
Opt BlockA { 2 !m !m !m !m !m !m  m  m }
Opt BlockA { 3  m !m !m !m !m !m  m  m }
Opt BlockA { 3 !m  m !m !m !m !m  m  m }
Opt BlockA { 4  m  m !m !m !m !m  m  m }
Opt BlockA { 3 !m !m  m !m !m !m  m  m }
Opt BlockA { 4  m !m  m !m !m !m  m  m }
Opt BlockA { 4 !m  m  m !m !m !m  m  m }
Opt BlockA { 5  m  m  m !m !m !m  m  m }
Opt BlockA { 3 !m !m !m  m !m !m  m  m }
Opt BlockA { 4  m !m !m  m !m !m  m  m }
Opt BlockA { 4 !m  m !m  m !m !m  m  m }
Opt BlockA { 5  m  m !m  m !m !m  m  m }
Opt BlockA { 4 !m !m  m  m !m !m  m  m }
Opt BlockA { 5  m !m  m  m !m !m  m  m }
Opt BlockA { 5 !m  m  m  m !m !m  m  m }
Opt BlockA { 6  m  m  m  m !m !m  m  m }
Opt BlockA { 3 !m !m !m !m  m !m  m  m }
Opt BlockA { 4  m !m !m !m  m !m  m  m }
Opt BlockA { 4 !m  m !m !m  m !m  m  m }
Opt BlockA { 5  m  m !m !m  m !m  m  m }
Opt BlockA { 4 !m !m  m !m  m !m  m  m }
Opt BlockA { 5  m !m  m !m  m !m  m  m }
Opt BlockA { 5 !m  m  m !m  m !m  m  m }
Opt BlockA { 6  m  m  m !m  m !m  m  m }
Opt BlockA { 4 !m !m !m  m  m !m  m  m }
Opt BlockA { 5  m !m !m  m  m !m  m  m }
Opt BlockA { 5 !m  m !m  m  m !m  m  m }
Opt BlockA { 6  m  m !m  m  m !m  m  m }
Opt BlockA { 5 !m !m  m  m  m !m  m  m }
Opt BlockA { 6  m !m  m  m  m !m  m  m }
Opt BlockA { 6 !m  m  m  m  m !m  m  m }
Opt BlockA { 7  m  m  m  m  m !m  m  m }
Opt BlockA { 3 !m !m !m !m !m  m  m  m }
Opt BlockA { 4  m !m !m !m !m  m  m  m }
Opt BlockA { 4 !m  m !m !m !m  m  m  m }
Opt BlockA { 5  m  m !m !m !m  m  m  m }
Opt BlockA { 4 !m !m  m !m !m  m  m  m }
Opt BlockA { 5  m !m  m !m !m  m  m  m }
Opt BlockA { 5 !m  m  m !m !m  m  m  m }
Opt BlockA { 6  m  m  m !m !m  m  m  m }
Opt BlockA { 4 !m !m !m  m !m  m  m  m }
Opt BlockA { 5  m !m !m  m !m  m  m  m }
Opt BlockA { 5 !m  m !m  m !m  m  m  m }
Opt BlockA { 6  m  m !m  m !m  m  m  m }
Opt BlockA { 5 !m !m  m  m !m  m  m  m }
Opt BlockA { 6  m !m  m  m !m  m  m  m }
Opt BlockA { 6 !m  m  m  m !m  m  m  m }
Opt BlockA { 7  m  m  m  m !m  m  m  m }
Opt BlockA { 4 !m !m !m !m  m  m  m  m }
Opt BlockA { 5  m !m !m !m  m  m  m  m }
Opt BlockA { 5 !m  m !m !m  m  m  m  m }
Opt BlockA { 6  m  m !m !m  m  m  m  m }
Opt BlockA { 5 !m !m  m !m  m  m  m  m }
Opt BlockA { 6  m !m  m !m  m  m  m  m }
Opt BlockA { 6 !m  m  m !m  m  m  m  m }
Opt BlockA { 7  m  m  m !m  m  m  m  m }
Opt BlockA { 5 !m !m !m  m  m  m  m  m }
Opt BlockA { 6  m !m !m  m  m  m  m  m }
Opt BlockA { 6 !m  m !m  m  m  m  m  m }
Opt BlockA { 7  m  m !m  m  m  m  m  m }
Opt BlockA { 6 !m !m  m  m  m  m  m  m }
Opt BlockA { 7  m !m  m  m  m  m  m  m }
Opt BlockA { 7 !m  m  m  m  m  m  m  m }
Opt BlockA { 8  m  m  m  m  m  m  m  m }
Opt BlockA { m  ?  ?  ?  ?  ?  ?  ?  ? }

Opt BlockB { 0 !m !m !m !m !m }
Opt BlockB { 1  m !m !m !m !m }
Opt BlockB { 1 !m  m !m !m !m }
Opt BlockB { 2  m  m !m !m !m }
Opt BlockB { 1 !m !m  m !m !m }
Opt BlockB { 2  m !m  m !m !m }
Opt BlockB { 2 !m  m  m !m !m }
Opt BlockB { 3  m  m  m !m !m }
Opt BlockB { 1 !m !m !m  m !m }
Opt BlockB { 2  m !m !m  m !m }
Opt BlockB { 2 !m  m !m  m !m }
Opt BlockB { 3  m  m !m  m !m }
Opt BlockB { 2 !m !m  m  m !m }
Opt BlockB { 3  m !m  m  m !m }
Opt BlockB { 3 !m  m  m  m !m }
Opt BlockB { 4  m  m  m  m !m }
Opt BlockB { 1 !m !m !m !m  m }
Opt BlockB { 2  m !m !m !m  m }
Opt BlockB { 2 !m  m !m !m  m }
Opt BlockB { 3  m  m !m !m  m }
Opt BlockB { 2 !m !m  m !m  m }
Opt BlockB { 3  m !m  m !m  m }
Opt BlockB { 3 !m  m  m !m  m }
Opt BlockB { 4  m  m  m !m  m }
Opt BlockB { 2 !m !m !m  m  m }
Opt BlockB { 3  m !m !m  m  m }
Opt BlockB { 3 !m  m !m  m  m }
Opt BlockB { 4  m  m !m  m  m }
Opt BlockB { 3 !m !m  m  m  m }
Opt BlockB { 4  m !m  m  m  m }
Opt BlockB { 4 !m  m  m  m  m }
Opt BlockB { 5  m  m  m  m  m }
Opt BlockB { m  ?  ?  ?  ?  ? }

Opt BlockC { 0 !m !m !m }
Opt BlockC { 1  m !m !m }
Opt BlockC { 1 !m  m !m }
Opt BlockC { 2  m  m !m }
Opt BlockC { 1 !m !m  m }
Opt BlockC { 2  m !m  m }
Opt BlockC { 2 !m  m  m }
Opt BlockC { 3  m  m  m }
Opt BlockC { m  ?  ?  ? }

# surround each cell
# a0 a1 a2 a3
# b0 b1 b2 b3
# c0 c1 c2 c3
# d0 d1 d2 d3

DesObj BlockA { b1 	a0 a1 a2 b0 b2 c0 c1 c2; }
DesObj BlockA { b2 	a1 a2 a3 b1 b3 c1 c2 c3; }
DesObj BlockA { c1 	b0 b1 b2 c0 c2 d0 d1 d2; }
DesObj BlockA { c2 	b1 b2 b3 c1 c3 d1 d2 d3; }

DesObj BlockB { b0 	a0 a1 b1 c0 c1; }
DesObj BlockB { c0 	b0 b1 c1 d0 d1; }
DesObj BlockB { d1 	c0 c1 c2 d0 d2; }
DesObj BlockB { d2	c1 c2 c3 d1 d3; }
DesObj BlockB { b3	a2 a3 b2 c2 c3; }
DesObj BlockB { c3	b2 b3 c2 d2 d3; }
DesObj BlockB { a1	a0 a2 b0 b1 b2; }
DesObj BlockB { a2	a1 a3 b1 b2 b3; }

DesObj BlockC { a0	a1 b0 b1; }
DesObj BlockC { a3	a2 b2 b3; }
DesObj BlockC { d0	c0 c1 d1; }
DesObj BlockC { d3	c2 c3 d2; }