irrat.lisp 62.6 KB