(defun main (n)
  (format t "~A~%" (loop for i from 1 to n sum i)))
  
(main (read))