((/models/jvm/m1/div.lisp::ok-inputs (nil nil nil nil (and) nil nil) (nil nil (natp natp not) nil nil nil nil) ((n d) nil nil (equal) nil nil nil) ((d) (0) 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/div.lisp::theta (nil nil nil (floor) nil nil nil) ((n d) 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/div.lisp::lessp (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/div.lisp::helper (nil nil nil nil (if) nil nil) (nil nil (quote) nil (and if) nil nil) ((a illegal) nil (natp natp not) (equal) nil (recursive-call) nil) ((n d d) (1) nil (equal lessp - + list) nil nil nil) ((d n d n d a) (0 1 0) nil (-) nil nil nil) ((n d) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/div.lisp::fn (nil nil nil nil nil (helper) nil) ((n d nil) (0) 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/div.lisp::inner-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/div.lisp::outer-loop-clk (nil nil nil nil (if) nil nil) ((nil) nil nil nil (and if) nil nil) (nil nil (natp natp not) (< clk+ clk+) nil nil nil) ((n d n d) (4 4) nil (equal clk+ clk+) nil nil nil) ((d) (0 2) nil (inner-loop-clk inner-loop-clk clk+) nil nil nil) ((n d n d) (10) nil (recursive-call) nil nil nil) ((d) nil nil (-) nil nil nil)) (/models/jvm/m1/div.lisp::clk (nil nil nil (clk+) nil nil nil) (nil (2) nil (outer-loop-clk) nil nil nil) ((n d) 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)))