(SET::CONS-SET
 (226 34 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (114 1 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (52 52 (:REWRITE DEFAULT-CDR))
 (38 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (34 34 (:REWRITE SET::IN-SET))
 (33 33 (:REWRITE DEFAULT-CAR))
 (12 2 (:REWRITE SET::SFIX-WHEN-EMPTY))
 )
(SET::CONS-HEAD
 (82 17 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (57 5 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (24 24 (:REWRITE DEFAULT-CDR))
 (17 17 (:REWRITE SET::IN-SET))
 (17 17 (:REWRITE DEFAULT-CAR))
 (10 2 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (2 2 (:REWRITE SET::IN-TAIL-OR-HEAD))
 )
(SET::CONS-TO-INSERT-EMPTY
 (17 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:REWRITE DEFAULT-CDR))
 (7 1 (:REWRITE SET::INSERT-IDENTITY))
 (5 5 (:REWRITE SET::IN-SET))
 (4 4 (:REWRITE DEFAULT-CAR))
 (2 2 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (2 2 (:REWRITE SET::SUBSET-IN))
 (2 1 (:REWRITE SET::IN-TAIL))
 (1 1 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (1 1 (:DEFINITION SET::IN))
 )
(SET::CONS-TO-INSERT-NONEMPTY
 (8234 1754 (:REWRITE <<-TRICHOTOMY))
 (5882 1207 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (5037 83 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (4375 794 (:REWRITE <<-ASYMMETRIC))
 (2863 268 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (2639 106 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (2284 159 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (2031 72 (:REWRITE SET::SUBSET-IN-2))
 (1850 1718 (:REWRITE <<-TRANSITIVE))
 (1838 1823 (:REWRITE DEFAULT-CDR))
 (1760 33 (:REWRITE SET::EMPTY-SUBSET-2))
 (1035 1035 (:REWRITE DEFAULT-CAR))
 (686 159 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (531 31 (:REWRITE SET::NEVER-IN-EMPTY))
 (280 33 (:REWRITE SET::EMPTY-SUBSET))
 (245 18 (:REWRITE SET::CONS-TO-INSERT-EMPTY))
 (187 1 (:DEFINITION SET::INSERT))
 (184 2 (:REWRITE SET::INSERT-IDENTITY))
 (31 31 (:REWRITE <<-IRREFLEXIVE))
 (6 1 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (1 1 (:REWRITE SET::INSERT-NEVER-EMPTY))
 )
(SET::CONS-IN
 (174 9 (:DEFINITION SET::IN))
 (130 18 (:REWRITE SET::IN-TAIL))
 (74 11 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (64 11 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (53 21 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (49 3 (:REWRITE SET::INSERT-IDENTITY))
 (21 21 (:REWRITE SET::IN-SET))
 (20 10 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (18 18 (:REWRITE SET::SUBSET-IN-2))
 (10 6 (:REWRITE SET::TAIL-PRESERVES-EMPTY))
 (9 9 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (9 7 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (7 7 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (2 2 (:REWRITE SET::SUBSET-TRANSITIVE))
 (2 2 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 )
