((/proofstyles/counterexamples/memory-clearing.lisp::factorial (nil nil nil nil (if) nil nil) (nil (1) (zp) (*) nil nil nil) ((n n) nil (recursive-call) nil nil nil nil) (nil nil (1-) 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)) (/proofstyles/counterexamples/memory-clearing.lisp::program-component (nil nil (first) nil nil nil nil) ((s) 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)) (/proofstyles/counterexamples/memory-clearing.lisp::pcnt (nil nil (second) nil nil nil nil) ((s) 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)) (/proofstyles/counterexamples/memory-clearing.lisp::mem (nil nil (third) nil nil nil nil) ((s) 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)) (/proofstyles/counterexamples/memory-clearing.lisp::update-mem (nil nil nil nil (update-nth) nil nil) ((val s) (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) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/proofstyles/counterexamples/memory-clearing.lisp::next (nil nil nil (update-mem) nil nil nil) ((s 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 nil)) (/proofstyles/counterexamples/memory-clearing.lisp::halted (nil nil nil (equal) nil nil nil) ((s) nil (next) nil nil nil nil) ((s) 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)) (/proofstyles/counterexamples/memory-clearing.lisp::pre (nil nil (natp) nil nil nil nil) (nil nil nil (nth) nil nil nil) (nil (3) (mem) nil nil nil nil) ((s) 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)) (/proofstyles/counterexamples/memory-clearing.lisp::modify (nil nil nil (update-mem) nil nil nil) ((s) nil nil nil (update-nth) nil nil) (nil (4) (factorial mem) nil nil nil nil) ((s) nil nil (nth) nil nil nil) (nil (3) (mem) nil nil nil nil) ((s) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/proofstyles/counterexamples/memory-clearing.lisp::== (nil nil nil (equal) nil nil nil) (nil nil (stepw stepw) 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)))