((/taspi/code/replete/replete-helper.lisp::member-of-all (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((l) nil nil (member-hqual recursive-call) nil nil nil) ((x x) nil (car cdr) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::subset-of-domain (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((l) nil nil (assoc-hqual recursive-call) nil nil nil) ((db db) nil (car cdr) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::nat-or-cons-range-halistp (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((db) nil (recursive-call) (or) nil nil nil) (nil nil (natp consp cdr) nil nil nil nil) ((db) nil (cdar cdar) nil nil nil nil) ((db db) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::if-cons-range-member-of-all-halistp (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((db) nil (recursive-call) (or) nil nil nil) (nil nil (not cdr) (member-of-all) nil nil nil) ((db) nil (consp caar cdar) nil nil nil nil) ((db db) nil (cdar) nil nil nil nil) ((db) nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::if-cons-range-subset-of-domain-halistp (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((db) nil nil (or recursive-call) nil nil nil) ((full) nil (not cdr) (subset-of-domain) nil nil nil) ((full db) nil (consp cdar) nil nil nil nil) ((db) nil (cdar) nil nil nil nil) ((db) nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::subset-of-domain-or-list (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((l) nil nil (or) (recursive-call) nil nil) ((db list) nil (cdr) (assoc-hqual member-hqual) nil nil nil) ((db list l) nil (car car) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::if-cons-range-subset-of-domain-or-list (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((db) nil nil (or) (recursive-call) nil nil) ((full list) nil (not cdr) nil (subset-of-domain-or-list) nil nil) ((full list db) nil (consp cdar) nil nil nil nil) ((db) nil (cdar) nil nil nil nil) ((db) nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::biggest-cdr (nil nil nil nil (if) nil nil) (nil (0) (atom) (max) nil nil nil) ((db) nil (acl2-count recursive-call) nil nil nil nil) (nil nil (cdar cdr) nil nil nil nil) ((db db) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::smallest-in-list (nil nil nil nil (if) nil nil) (nil (-1) (atom) nil (if) nil nil) ((l) nil (atom acl2-count) (min) nil nil nil) (nil nil (cdr car acl2-count recursive-call) nil nil nil nil) ((l l) nil (car cdr) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::subset-of-domains (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((l) nil nil (or) (recursive-call) nil nil) ((db1 db2) nil (cdr) (assoc-hqual assoc-hqual) nil nil nil) ((db1 db2 l) nil (car car) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::not-subtree-of-keys (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((db) nil (not) (recursive-call) nil nil nil) ((key) nil (cdr) (proper-subtreep) nil nil nil) ((key db) nil (caar) nil nil nil nil) ((db) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::not-subtree-of-keys-list (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((list) nil nil (not-subtree-of-keys recursive-call) nil nil nil) ((db db) nil (car cdr) nil nil nil nil) ((list list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::if-nat-val-key-not-subtree-of (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((db) nil nil (or recursive-call) nil nil nil) ((tree) nil (not not cdr) nil nil nil nil) ((db) nil (natp) (proper-subtreep) nil nil nil) ((tree) nil (cdar caar) nil nil nil nil) ((db db) nil nil nil nil nil nil)) (/taspi/code/replete/replete-helper.lisp::if-nat-val-key-not-subtree-of-any (nil nil nil nil (if) nil nil) ((t) nil (atom) (and) nil nil nil) ((l) nil nil (if-nat-val-key-not-subtree-of recursive-call) nil nil nil) ((db db) nil (car cdr) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))