(no title)
barbarr | 8 months ago
1 1 1
1 1 1 2 1
2 x x . . .
2 . . x x .
11 x . . x .
11 . x . . x
1 . . x . .
and 1 1 1
1 1 1 2 1
2 x x . . .
2 . . x x .
11 . x . x .
11 x . . . x
1 . . x . .
(found these with an SMT solver :D)
No comments yet.