a = (read-line *standard-input* nil nil) 
b = (read-line *standard-input* nil nil) 
c=(+ a b)
(format t "~A~%" c)