((/proofstyles/counterexamples/realistic.lisp::update-macro (nil nil nil nil (if) nil nil) ((result) nil (endp) (recursive-call) nil nil nil) ((upds) nil (cddr) nil nil (list) nil) ((upds result) nil (quote car cadr) nil nil nil nil) ((s upds upds) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/proofstyles/counterexamples/realistic.lisp::next (nil nil nil (let) nil nil nil) (nil nil ((pc (ctr s))) nil (if) nil nil) ((s) nil (program consp) nil (if) nil nil) ((program) nil (program-of) (<=) nil (>s) nil) ((s pc :mem :pc :pc :mem nil :program nil) (0) (len 1+) (execute-op) nil nil nil) ((program s pc) nil nil (nth) nil nil nil) ((pc program) nil nil nil nil nil nil)) (/proofstyles/counterexamples/realistic.lisp::halted-statep (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/realistic.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)) (/proofstyles/counterexamples/realistic.lisp::pre (nil nil nil nil (and) nil nil) (nil nil (natp) (equal equal) nil nil nil) ((arbitrary-program) (0) (ctr program-of) (nth) nil nil nil) ((s s) (1) (memory) 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)) (/proofstyles/counterexamples/realistic.lisp::! (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/realistic.lisp::modify-factorial (nil nil nil nil nil (>s) nil) ((:pc :mem) (10) nil nil (update-nth) nil nil) (nil (3) (! memory) nil nil nil nil) ((s) nil nil (nth) nil nil nil) (nil (1) (memory) nil nil nil nil) ((s) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))