> s:=0:
> for a11 in{1}do
> for a12 in{0,1}do
> for a13 in{0,1}do
> for a14 in{0,1}do
> for a15 in{0,1}do
> for a16 in{0,1}do
> for a17 in{1}do
> if a11+a12+a13+a14+a15+a16+a17=3 then
> for a21 in{0,1}do
> for a22 in{0,1}do
> for a23 in{0,1}do
> for a24 in{1}do
> for a25 in{0,1}do
> for a26 in{0,1}do
> for a27 in{0,1}do
> if a21+a22+a23+a24+a25+a26+a27=3 then
> for a31 in{1}do
> for a32 in{0,1}do
> for a33 in{0,1}do
> for a34 in{0,1}do
> for a35 in{0,1}do
> for a36 in{0,1}do
> for a37 in{1}do
> if a31+a32+a33+a34+a35+a36+a37=3 then
> for a41 in{0,1}do
> for b11 in{0,1}do
> for b21 in{0,1}do
> for b31 in{0,1}do
> if a11+b11+a21+b21+a31+b31+a41=3 then
> for b12 in{0,1}do
> if a11+a12+a13+a21+a22+a23+b11+b12=3 then
> for b22 in{0,1}do
> if a21+a22+a23+a31+a32+a33+b21+b22=3 then
> for b32 in{0,1}do
> for a42 in{0,1}do
> for a43 in{0,1}do
> if a13+b12+a23+b22+a33+b32+a43=3 then
> if a31+a32+a33+a41+a42+a43+b31+b32=3 then
> for a44 in{0,1}do
> for a45 in{0,1}do
> for b13 in{1}do
> if a13+a14+a15+a23+a24+a25+b12+b13=3 then
> for b23 in{0,1}do
> if a23+a24+a25+a33+a34+a35+b22+b23=3 then
> for b33 in{0,1}do
> if a15+b13+a25+b23+a35+b33+a45=3 then
> if a33+a34+a35+a43+a44+a45+b32+b33=3 then
> for a46 in{0,1}do
> for a47 in{0,1}do
> if a41+a42+a43+a44+a45+a46+a47=3 then
> for b14 in{0,1}do
> if a15+a16+a17+a25+a26+a27+b13+b14=3 then
> for b24 in{0,1}do
> if a25+a26+a27+a35+a36+a37+b23+b24=3 then
> for b34 in{0,1}do
> if a17+b14+a27+b24+a37+b34+a47=3 then
> if a35+a36+a37+a45+a46+a47+b33+b34=3 then
> print([a11,a12,a13,a14,a15,a16,a17,a21,a22,a23,a24,a25,a26,a27,a31,a32,a33,a34,a35,a36,a37,a41,a42,a43,a44,a45,a46,a47,b11,b12,b13,b14,b21,b22,b23,b24,b31,b32,b33,b34]);
> s:=s+1 fi fi od fi od fi od fi od od fi fi od fi od fi od od od fi fi od od od fi od fi od fi od od od od fi od od od od od od od fi od od od od od od od fi od od od od od od od:s;
>
[1, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 1,
0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0]
[1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0,
1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0]
[1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 0,
0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0]
[1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0,
0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0]
4
o-o-+-o
| | o |
+o+o+-o
| o | |
o-+-o-o
| | | |
o-o-o-+
o-o-+-o
| | o |
o-+o+-o
| o | |
o-+-o-o
| | | |
+oo-o-+
o-o-+-o
| | o |
o-+o+-o
| | o |
o-o-+-o
| | | |
+-o-oo+
o-o-+-o
| | o |
o-+o+o+
| | o |
o-o-+-o
| | | |
+-o-o-o
|