(defparameter N (parse-integer (read-line)))

(case N
    (2 (format 't "~d~%" 1))
    (3 (format 't "~d~%" 7))
    (otherwise
        (loop for i from 1 to (floor N 2) do (format 't "~d" 1))
        (format 't "~%")
    )
)