(deffacts gamestate
(cell (row 1) (col 1) )
(cell (row 1) (col 2) )
(cell (row 1) (col 3) )
(cell (row 1) (col 4) )
(cell (row 1) (col 5) )
(cell (row 1) (col 6) )
(cell (row 1) (col 7) )
(cell (row 1) (col 8) )
(cell (row 1) (col 9) )
(cell (row 1) (col 10) )
(cell (row 2) (col 1) )
(cell (row 2) (col 2) )
(cell (row 2) (col 3) )
(cell (row 2) (col 4) )
(cell (row 2) (col 5) )
(cell (row 2) (col 6) )
(cell (row 2) (col 7) )
(cell (row 2) (col 8) )
(cell (row 2) (col 9) )
(cell (row 2) (col 10) )
(cell (row 3) (col 1) )
(cell (row 3) (col 2) )
(cell (row 3) (col 3) )
(cell (row 3) (col 4) )
(cell (row 3) (col 5) )
(cell (row 3) (col 6) )
(cell (row 3) (col 7) )
(cell (row 3) (col 8) )
(cell (row 3) (col 9) )
(cell (row 3) (col 10) )
(cell (row 4) (col 1) )
(cell (row 4) (col 2) )
(cell (row 4) (col 3) )
(cell (row 4) (col 4) )
(cell (row 4) (col 5) )
(cell (row 4) (col 6) )
(cell (row 4) (col 7) )
(cell (row 4) (col 8) )
(cell (row 4) (col 9) )
(cell (row 4) (col 10) )
(cell (row 5) (col 1) )
(cell (row 5) (col 2) )
(cell (row 5) (col 3) )
(cell (row 5) (col 4) )
(cell (row 5) (col 5) )
(cell (row 5) (col 6) )
(cell (row 5) (col 7) )
(cell (row 5) (col 8) )
(cell (row 5) (col 9) )
(cell (row 5) (col 10) )
(cell (row 6) (col 1) )
(cell (row 6) (col 2) )
(cell (row 6) (col 3) )
(cell (row 6) (col 4) )
(cell (row 6) (col 5) )
(cell (row 6) (col 6) )
(cell (row 6) (col 7) )
(cell (row 6) (col 8) )
(cell (row 6) (col 9) )
(cell (row 6) (col 10) )
(cell (row 7) (col 1) )
(cell (row 7) (col 2) )
(cell (row 7) (col 3) )
(cell (row 7) (col 4) )
(cell (row 7) (col 5) )
(cell (row 7) (col 6) )
(cell (row 7) (col 7) )
(cell (row 7) (col 8) )
(cell (row 7) (col 9) )
(cell (row 7) (col 10) )
(cell (row 8) (col 1) )
(cell (row 8) (col 2) )
(cell (row 8) (col 3) )
(cell (row 8) (col 4) )
(cell (row 8) (col 5) )
(cell (row 8) (col 6) )
(cell (row 8) (col 7) )
(cell (row 8) (col 8) )
(cell (row 8) (col 9) )
(cell (row 8) (col 10) )
(cell (row 9) (col 1) )
(cell (row 9) (col 2) )
(cell (row 9) (col 3) )
(cell (row 9) (col 4) )
(cell (row 9) (col 5) )
(cell (row 9) (col 6) )
(cell (row 9) (col 7) )
(cell (row 9) (col 8) )
(cell (row 9) (col 9) )
(cell (row 9) (col 10) )
(cell (row 10) (col 1) )
(cell (row 10) (col 2) )
(cell (row 10) (col 3) )
(cell (row 10) (col 4) )
(cell (row 10) (col 5) )
(cell (row 10) (col 6) )
(cell (row 10) (col 7) )
(cell (row 10) (col 8) )
(cell (row 10) (col 9) )
(cell (row 10) (col 10) )
(cell (row 11) (col 1) )
(cell (row 11) (col 2) )
(cell (row 11) (col 3) )
(cell (row 11) (col 4) )
(cell (row 11) (col 5) )
(cell (row 11) (col 6) )
(cell (row 11) (col 7) )
(cell (row 11) (col 8) )
(cell (row 11) (col 9) )
(cell (row 11) (col 10) )

(cell (row 12) (col 1) )
(cell (row 12) (col 2) )
(cell (row 12) (col 3) )
(cell (row 12) (col 4) )
(cell (row 12) (col 5) )
(cell (row 12) (col 6) )
(cell (row 12) (col 7) )
(cell (row 12) (col 8) )
(cell (row 12) (col 9) )
(cell (row 12) (col 10) )

(cell (row 13) (col 1) )
(cell (row 13) (col 2) )
(cell (row 13) (col 3) )
(cell (row 13) (col 4) )
(cell (row 13) (col 5) )
(cell (row 13) (col 6) )
(cell (row 13) (col 7) )
(cell (row 13) (col 8) )
(cell (row 13) (col 9) )
(cell (row 13) (col 10) )

(cell (row 14) (col 1) )
(cell (row 14) (col 2) )
(cell (row 14) (col 3) )
(cell (row 14) (col 4) )
(cell (row 14) (col 5) )
(cell (row 14) (col 6) )
(cell (row 14) (col 7) )
(cell (row 14) (col 8) )
(cell (row 14) (col 9) )
(cell (row 14) (col 10) )

(cell (row 15) (col 1) )
(cell (row 15) (col 2) )
(cell (row 15) (col 3) )
(cell (row 15) (col 4) )
(cell (row 15) (col 5) (contents x))
(cell (row 15) (col 6) (contents x))
(cell (row 15) (col 7) )
(cell (row 15) (col 8) )
(cell (row 15) (col 9) )
(cell (row 15) (col 10) )

(cell (row 16) (col 1) )
(cell (row 16) (col 2) (contents x))
(cell (row 16) (col 3) (contents x))
(cell (row 16) (col 4) (contents x))
(cell (row 16) (col 5) (contents x))
(cell (row 16) (col 6) (contents x))
(cell (row 16) (col 7) (contents x))
(cell (row 16) (col 8) )
(cell (row 16) (col 9) )
(cell (row 16) (col 10)(contents x))

(cell (row 17) (col 1) )
(cell (row 17) (col 2) (contents x))
(cell (row 17) (col 3) (contents x))
(cell (row 17) (col 4) )
(cell (row 17) (col 5) (contents x))
(cell (row 17) (col 6) (contents x))
(cell (row 17) (col 7) (contents x))
(cell (row 17) (col 8) (contents x))
(cell (row 17) (col 9) (contents x))
(cell (row 17) (col 10) (contents x))

(cell (row 18) (col 1) (contents x))
(cell (row 18) (col 2) (contents x))
(cell (row 18) (col 3) (contents x))
(cell (row 18) (col 4) (contents x))
(cell (row 18) (col 5) (contents x))
(cell (row 18) (col 6) (contents x))
(cell (row 18) (col 7) (contents x))
(cell (row 18) (col 8) (contents x))
(cell (row 18) (col 9) (contents x))
(cell (row 18) (col 10) (contents x))

(cell (row 19) (col 1) (contents x))
(cell (row 19) (col 2) (contents x))
(cell (row 19) (col 3) (contents x))
(cell (row 19) (col 4) )
(cell (row 19) (col 5) (contents x))
(cell (row 19) (col 6) (contents x))
(cell (row 19) (col 7) (contents x))
(cell (row 19) (col 8) (contents x))
(cell (row 19) (col 9) (contents x))
(cell (row 19) (col 10) (contents x))

(cell (row 20) (col 1) (contents x))
(cell (row 20) (col 2) (contents x))
(cell (row 20) (col 3) (contents x))
(cell (row 20) (col 4) (contents x))
(cell (row 20) (col 5) (contents x))
(cell (row 20) (col 6) (contents x))
(cell (row 20) (col 7) (contents x))
(cell (row 20) (col 8) (contents x))
(cell (row 20) (col 9) (contents x))
(cell (row 20) (col 10) (contents x))

)