isp 40 171 472 914 175 Lisp 4 222 170 2 734 1990 136933