(defun pr (x) (print x)) (defun pr1 (x) (prin1 x)) (read-line)