((/coi/records/set-domain.lisp::rkeys (nil nil (list::2set) nil nil nil nil) (nil nil (acl2::rkeys) nil nil nil nil) ((r) 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)) (/coi/records/set-domain.lisp::key-set (nil nil nil nil (if) nil nil) ((set::emptyset) nil (consp) (set::insert) nil nil nil) ((r) nil (caar recursive-call) nil nil nil nil) ((r) nil (cdr) nil nil nil nil) ((r) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))