((/models/jvm/m1/sumsq.lisp::ok-inputs (nil nil (natp) nil nil nil nil) ((n) 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/sumsq.lisp::theta (nil nil nil nil (+) nil nil) (nil nil nil (/ / /) nil nil nil) ((n) (3 2 6) nil (expt expt) nil nil nil) ((n n) (3 2) 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/sumsq.lisp::helper (nil nil nil nil (if) nil nil) ((a) nil (zp) (recursive-call) nil nil nil) ((n) nil nil (- +) nil nil nil) ((n a) (1) nil (*) nil nil nil) ((n n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/sumsq.lisp::fn (nil nil nil (helper) nil nil nil) ((n) (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/sumsq.lisp::loop-clk (nil nil nil nil (if) nil nil) (nil (3) (zp) (clk+) nil nil nil) ((n) (13) (recursive-call) nil nil nil nil) (nil nil nil (-) nil nil nil) ((n) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/jvm/m1/sumsq.lisp::clk (nil nil nil (clk+) nil nil nil) (nil (2) (loop-clk) nil nil nil nil) ((n) 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)))