((/taspi/code/gen-helper/sets.lisp::member-gen (nil nil nil nil (if) nil nil) ((nil) nil (consp) nil (if) nil nil) ((y t) nil nil (equal recursive-call) nil nil nil) ((x x) nil (car cdr) nil nil nil nil) ((y y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::subset (nil nil nil nil (if) nil nil) ((t) nil (consp) nil (if) nil nil) ((x nil) nil nil (member-gen recursive-call) nil nil nil) ((y y) nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::get-subsets (nil nil nil nil (if) nil nil) ((list) nil (consp) nil (if) nil nil) ((list) nil nil (subset cons recursive-call) nil nil nil) ((x x) nil (car car cdr) (recursive-call) nil nil nil) ((list list x list) nil (cdr) nil nil nil nil) ((list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::get-non-subsets (nil nil nil nil (if) nil nil) ((list) nil (consp) nil (if) nil nil) ((list) nil nil (subset recursive-call cons) nil nil nil) ((x x) nil (car cdr car) (recursive-call) nil nil nil) ((list list list x) nil (cdr) nil nil nil nil) ((list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::difference (nil nil nil nil (if) nil nil) ((x) nil (consp) nil (if) nil nil) ((x) nil nil (member-gen recursive-call cons) nil nil nil) ((y y) nil (car cdr car) (recursive-call) nil nil nil) ((x x x y) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::subset-list (nil nil nil nil (if) nil nil) ((t) nil (consp) (and) nil nil nil) ((list) nil nil (subset recursive-call) nil nil nil) ((x x) 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/gen-helper/sets.lisp::intersect (nil nil nil nil (if) nil nil) ((nil) nil (consp) nil (if) nil nil) ((x t) nil nil (member-gen recursive-call) nil nil nil) ((y y) nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::no-conflicts (nil nil nil nil (if) nil nil) ((t) nil (consp) nil (if) nil nil) ((list) nil nil (intersect and recursive-call) nil nil nil) ((x x) nil (car cdr) (subset recursive-call) nil nil nil) ((list x x list) nil (car cdr) nil nil nil nil) ((list list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::no-conflicts-list (nil nil nil nil (if) nil nil) ((t) nil (consp) (and) nil nil nil) ((list) nil (recursive-call) (no-conflicts) nil nil nil) (nil nil (car cdr cdr) nil nil nil nil) ((list list list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::disjoint-list (nil nil nil nil (if) nil nil) ((t) nil (consp) (and) nil nil nil) ((list) nil (not) (recursive-call) nil nil nil) ((x) nil (cdr) (intersect) nil nil nil) ((x list) nil (car) nil nil nil nil) ((list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::disjoint-lists (nil nil nil nil (if) nil nil) ((t) nil (consp) (and) nil nil nil) ((l1) nil nil (disjoint-list recursive-call) nil nil nil) ((l2 l2) nil (car cdr) nil nil nil nil) ((l1 l1) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::no-dups-gen (nil nil nil nil (if) nil nil) ((t) nil (consp) nil (if) nil nil) ((x nil) nil (recursive-call) (member-gen) nil nil nil) (nil nil (car cdr cdr) nil nil nil nil) ((x x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::del (nil nil nil nil (cond) nil nil) (nil nil ((atom x) (equal a (car x)) t) nil nil nil nil) ((x) nil (cdr) (cons) nil nil nil) ((x) nil (car) (recursive-call) nil nil nil) ((x a) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::del-all (nil nil nil nil (if) nil nil) ((nil) nil (consp) nil (if) nil nil) ((x) nil nil (equal recursive-call cons) nil nil nil) ((a a) nil (car cdr car) (recursive-call) nil nil nil) ((x x x a) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::remove-dups (nil nil nil nil (if) nil nil) ((nil) nil (consp) (cons) nil nil nil) ((x) nil (car recursive-call) nil nil nil nil) ((x) nil nil (del-all) nil nil nil) (nil nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::perm (nil nil nil (cond) nil nil nil) (nil nil ((atom x) t) nil nil nil nil) (nil nil (atom) (and) nil nil nil) ((y) nil nil (member-gen recursive-call) nil nil nil) ((y) nil (car cdr) (del) nil nil nil) ((x x y) nil (car) nil nil nil nil) ((x) nil nil nil nil nil nil)) (/taspi/code/gen-helper/sets.lisp::my-union (nil nil nil nil (if) nil nil) ((y) nil (consp) nil (if) nil nil) ((x) nil nil (member-gen recursive-call cons) nil nil nil) ((y y) nil (car cdr car) (recursive-call) nil nil nil) ((x x x y) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))