((/models/jvm/m1/lessp.lisp::ok-inputs (nil nil nil (and) nil nil nil) (nil nil (natp natp) nil nil nil nil) ((x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/lessp.lisp::theta (nil nil nil nil (if) nil nil) (nil (1 0) nil (<) nil nil nil) ((x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/lessp.lisp::helper (nil nil nil nil (cond) nil nil) (nil nil ((zp y) (zp x) t) nil nil nil nil) (nil (0 1) nil (recursive-call) nil nil nil) (nil nil nil (- -) nil nil nil) ((x y) (1 1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/lessp.lisp::fn (nil nil nil (helper) nil nil nil) ((x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/lessp.lisp::loop-clk (nil nil nil nil (if) nil nil) (nil (4) (zp) nil (if) nil nil) ((y) (5) (zp) (clk+) nil nil nil) ((x) (13) nil (recursive-call) nil nil nil) (nil nil nil (- -) nil nil nil) ((x y) (1 1) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/lessp.lisp::clk (nil nil nil (loop-clk) nil nil nil) ((x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))