; LISP input