irrat.lisp 54.9 KB