((/nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.lisp::co-member (nil nil nil nil (if) nil nil) ((nil) nil (consp) nil (if) nil nil) ((x) nil (list) (equal cons) nil nil nil) ((a a) nil (car car) (recursive-call) nil nil nil) ((x x a) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.lisp::my-make-list (nil nil nil nil (if) nil nil) ((nil) nil (zp) (cons) nil nil nil) ((n elt) nil nil (recursive-call) nil nil nil) ((elt) 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)))