(defun main () (let (a b s) (with-input-from-string (in (read-line)) (setf a (read in) b (read in))) (setf s (read-line)) (format t "~D ~A~%" (+ a b) s))) (main)