((/textbook/chap10/fact.lisp::fact (nil nil nil nil (if) nil nil) (nil (1) (zp) (*) nil nil nil) ((x x) nil (recursive-call) nil nil nil nil) (nil nil nil (-) nil nil nil) ((x) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/textbook/chap10/fact.lisp::tfact (nil nil nil nil (if) nil nil) ((p) nil (zp) (recursive-call) nil nil nil) ((x) nil nil (- *) nil nil nil) ((x x p) (1) 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)))