((/symbolic/generic/assertions.lisp::run (nil nil nil nil (if) nil nil) ((s) nil (zp) (recursive-call) nil nil nil) ((n) nil (nextt 1-) nil nil nil nil) ((s 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)) (/symbolic/generic/assertions.lisp::steps-to-cutpoint (nil nil nil (let) nil nil nil) (((steps (steps-to-cutpoint-tail s 0))) nil nil nil (if) nil nil) ((steps omega) nil (cutpoint) nil nil nil nil) (nil nil nil (run) nil nil nil) ((s steps) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/symbolic/generic/assertions.lisp::nextt-cutpoint (nil nil nil (let) nil nil nil) (((steps (steps-to-cutpoint s))) nil nil nil (if) nil nil) ((default-state) nil (natp) (run) nil nil nil) ((steps s steps) 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)))