(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((a (read))
         (b (read))
         (c (read))
         (d (+ a b)))
    (format t "~a~%" (if (= c d) "Correct" "Incorrect"))))

(main)