Lisp. j Lisp. 1 2 523 1 595 1397 3 000225