(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((c (read)))
    (format t "1 ~d~%" c)))

(main)