(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read))) (format t "~d" (if (oddp n) 7 1)) (dotimes (i (1- (floor n 2))) (format t "1")) (terpri))) (main)