(defparameter N (parse-integer (read-line))) (if (eq (mod N 2) 0 ) (format 't "~d" 1) (format 't "~d" 7)) (loop for i from 2 to (floor N 2) do (format 't "~d" 1)) (format 't "~%")