resolve.lisp 5.6 KB