(defun print-board (board)
              (format t "~%   1   2   3   ")      
              (format t "~% +---+---+---+")
              (dotimes (row 3)
	      (progn
               (format t "~% |   |   |   |~% |")
                (dotimes (column 3)
                  (progn
                    (format t " ~a |" (aref board (- 2 row) column))))
                (format t "~% |   |   |   |")
                (format t  "~% +---+---+---+"))))