(defun is-perfect-number (n) (let ((known-perfect-numbers '(6 28 496 8128 33550336 8589869056 137438691328 2305843008139952128 265252859812191058636308480000000))) (member n known-perfect-numbers :test #'=))) (defun main () (let ((n (read))) (if (is-perfect-number n) (format t "Yes~%") (format t "No~%")))) (main)