((/misc/getprop.lisp::fast-no-duplicatesp1 (nil nil nil nil (cond) nil nil) (nil nil ((endp lst) (getprop (car lst) (quote mark) nil (quote fast-no-duplicatesp-world) props) t) nil nil nil nil) ((t nil) nil nil (recursive-call) nil nil nil) (nil nil (cdr) (extend-world) nil nil nil) ((lst) nil (quote) nil nil (putprop) nil) ((fast-no-duplicatesp-world t props) nil (car quote) nil nil nil nil) ((lst mark) nil nil nil nil nil nil)) (/misc/getprop.lisp::fast-no-duplicatesp (nil nil nil (let) nil nil nil) (((ans (fast-no-duplicatesp1 lst nil))) nil nil (prog2$) nil nil nil) ((ans) nil nil (retract-world) nil nil nil) ((nil) nil (quote) nil nil nil nil) ((fast-no-duplicatesp-world) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/getprop.lisp::all-marked-t (nil nil nil (cond) nil nil nil) (nil nil ((endp props) t) nil nil nil nil) ((t) nil nil nil (and) nil nil) (nil nil (recursive-call) (eq eq) nil nil nil) ((t) nil (cadr quote cddr cdr) nil nil nil nil) ((mark props) nil (car car) nil nil nil nil) ((props props) nil nil nil nil nil nil)) (/misc/getprop.lisp::make-temp-symbols (nil nil nil (cond) nil nil nil) (nil nil ((zp n) t) nil nil nil nil) ((acc) nil nil (recursive-call) nil nil nil) (nil nil nil (- cons) nil nil nil) ((n acc) (1) (packn) nil nil nil nil) (nil nil nil (list) nil nil nil) ((TEMP n) nil nil nil nil nil nil)))