(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read)) (a (nreverse (loop repeat n collect (read))))) (dolist (b a) (when (= n b) (decf n))) (format t "~d~%" n))) (main)