(SET::TRANSFORM
 (1 1 (:TYPE-PRESCRIPTION SET::TRANSFORM))
 )
(SET::MAP-LIST)
(SET::MAP)
(SET::INVERSEP)
(SET::ALL-LIST<INVERSEP>)
(SET::EXISTS-LIST<INVERSEP>)
(SET::FIND-LIST<INVERSEP>)
(SET::FILTER-LIST<INVERSEP>)
(SET::ALL<INVERSEP>)
(SET::EXISTS<INVERSEP>)
(SET::FIND<INVERSEP>)
(SET::FILTER<INVERSEP>)
(SET::ALL-LIST<NOT-INVERSEP>)
(SET::EXISTS-LIST<NOT-INVERSEP>)
(SET::FIND-LIST<NOT-INVERSEP>)
(SET::FILTER-LIST<NOT-INVERSEP>)
(SET::ALL<NOT-INVERSEP>)
(SET::EXISTS<NOT-INVERSEP>)
(SET::FIND<NOT-INVERSEP>)
(SET::FILTER<NOT-INVERSEP>)
(SET::ALL-LIST-TYPE<INVERSEP>)
(SET::ALL-LIST-CDR<INVERSEP>)
(SET::ALL-LIST-ENDP<INVERSEP>)
(SET::ALL-LIST-MEMBER<INVERSEP>)
(SET::ALL-LIST-IN-2<INVERSEP>)
(SET::ALL-LIST-CONS<INVERSEP>)
(SET::ALL-LIST-APPEND<INVERSEP>)
(SET::ALL-LIST-NTH<INVERSEP>)
(SET::ALL-LIST-REVAPPEND<INVERSEP>)
(SET::ALL-LIST-REVERSE<INVERSEP>)
(SET::EXISTS-LIST-ELIMINATION<INVERSEP>)
(SET::FILTER-LIST-TRUE-LIST<INVERSEP>)
(SET::FILTER-LIST-MEMBERSHIP<INVERSEP>)
(SET::FILTER-LIST-ALL-LIST<INVERSEP>)
(SET::ALL-TYPE<INVERSEP>)
(SET::ALL-SFIX<INVERSEP>)
(SET::ALL-TAIL<INVERSEP>)
(SET::ALL-EMPTYP<INVERSEP>)
(SET::ALL-IN<INVERSEP>)
(SET::ALL-IN-2<INVERSEP>)
(SET::ALL-INSERT<INVERSEP>)
(SET::ALL-DELETE<INVERSEP>)
(SET::ALL-DELETE-2<INVERSEP>)
(SET::ALL-UNION<INVERSEP>)
(SET::ALL-INTERSECT-X<INVERSEP>)
(SET::ALL-INTERSECT-Y<INVERSEP>)
(SET::ALL-DIFFERENCE<INVERSEP>)
(SET::ALL-DIFFERENCE-2<INVERSEP>)
(SET::EXISTS-ELIMINATION<INVERSEP>)
(SET::FIND-SFIX<INVERSEP>)
(SET::FIND-WITNESS<INVERSEP>)
(SET::FILTER-SET<INVERSEP>)
(SET::FILTER-SFIX<INVERSEP>)
(SET::FILTER-IN<INVERSEP>)
(SET::FILTER-SUBSET<INVERSEP>)
(SET::FILTER-ALL<INVERSEP>)
(SET::FILTER-ALL-2<INVERSEP>)
(SET::ALL-MERGESORT<INVERSEP>)
(SET::ALL-LIST-APPLIED-TO-SET<INVERSEP>)
(SET::ALL-LIST-TYPE-NOT<INVERSEP>)
(SET::ALL-LIST-CDR-NOT<INVERSEP>)
(SET::ALL-LIST-ENDP-NOT<INVERSEP>)
(SET::ALL-LIST-MEMBER-NOT<INVERSEP>)
(SET::ALL-LIST-IN-2-NOT<INVERSEP>)
(SET::ALL-LIST-CONS-NOT<INVERSEP>)
(SET::ALL-LIST-APPEND-NOT<INVERSEP>)
(SET::ALL-LIST-NTH-NOT<INVERSEP>)
(SET::ALL-LIST-REVAPPEND-NOT<INVERSEP>)
(SET::ALL-LIST-REVERSE-NOT<INVERSEP>)
(SET::EXISTS-LIST-ELIMINATION-NOT<INVERSEP>)
(SET::FILTER-LIST-TRUE-LIST-NOT<INVERSEP>)
(SET::FILTER-LIST-MEMBERSHIP-NOT<INVERSEP>)
(SET::FILTER-LIST-ALL-LIST-NOT<INVERSEP>)
(SET::ALL-TYPE-NOT<INVERSEP>)
(SET::ALL-SFIX-NOT<INVERSEP>)
(SET::ALL-TAIL-NOT<INVERSEP>)
(SET::ALL-EMPTYP-NOT<INVERSEP>)
(SET::ALL-IN-NOT<INVERSEP>)
(SET::ALL-IN-2-NOT<INVERSEP>)
(SET::ALL-INSERT-NOT<INVERSEP>)
(SET::ALL-DELETE-NOT<INVERSEP>)
(SET::ALL-DELETE-2-NOT<INVERSEP>)
(SET::ALL-UNION-NOT<INVERSEP>)
(SET::ALL-INTERSECT-X-NOT<INVERSEP>)
(SET::ALL-INTERSECT-Y-NOT<INVERSEP>)
(SET::ALL-DIFFERENCE-NOT<INVERSEP>)
(SET::ALL-DIFFERENCE-2-NOT<INVERSEP>)
(SET::EXISTS-ELIMINATION-NOT<INVERSEP>)
(SET::FIND-SFIX-NOT<INVERSEP>)
(SET::FIND-WITNESS-NOT<INVERSEP>)
(SET::FILTER-SET-NOT<INVERSEP>)
(SET::FILTER-SFIX-NOT<INVERSEP>)
(SET::FILTER-IN-NOT<INVERSEP>)
(SET::FILTER-SUBSET-NOT<INVERSEP>)
(SET::FILTER-ALL-NOT<INVERSEP>)
(SET::FILTER-ALL-2-NOT<INVERSEP>)
(SET::ALL-MERGESORT-NOT<INVERSEP>)
(SET::ALL-LIST-APPLIED-TO-SET-NOT<INVERSEP>)
(SET::ALL-TRIGGER<INVERSEP>)
(SET::ALL-TRIGGER<NOT-INVERSEP>)
(SET::ALL-LIST-TRIGGER<INVERSEP>)
(SET::ALL-LIST-TRIGGER<NOT-INVERSEP>)
(SET::ALL-STRATEGY<INVERSEP>)
(SET::ALL-STRATEGY<NOT-INVERSEP>)
(SET::ALL-LIST-STRATEGY<INVERSEP>)
(SET::ALL-LIST-STRATEGY<NOT-INVERSEP>)
(SET::ALL-BY-MEMBERSHIP-HINT<INVERSEP>)
(SET::ALL-BY-MEMBERSHIP-HINT<NOT-INVERSEP>)
(SET::ALL-LIST-BY-MEMBERSHIP-HINT<INVERSEP>)
(SET::ALL-LIST-BY-MEMBERSHIP-HINT<NOT-INVERSEP>)
(SET::CARDINALITY-FILTER<INVERSEP>)
(SET::ALL-SUBSET<INVERSEP>)
(SET::ALL-SUBSET-NOT<INVERSEP>)
(SET::ALL<INVERSEP>)
(SET::EXISTS<INVERSEP>)
(SET::FIND<INVERSEP>)
(SET::FILTER<INVERSEP>)
(SET::ALL<NOT-INVERSEP>)
(SET::EXISTS<NOT-INVERSEP>)
(SET::FIND<NOT-INVERSEP>)
(SET::FILTER<NOT-INVERSEP>)
(SET::ALL-LIST<INVERSEP>)
(SET::EXISTS-LIST<INVERSEP>)
(SET::FIND-LIST<INVERSEP>)
(SET::FILTER-LIST<INVERSEP>)
(SET::ALL-LIST<NOT-INVERSEP>)
(SET::EXISTS-LIST<NOT-INVERSEP>)
(SET::FIND-LIST<NOT-INVERSEP>)
(SET::FILTER-LIST<NOT-INVERSEP>)
(SET::MAP-SETP
 (81 3 (:REWRITE SET::INSERT-IDENTITY))
 (60 3 (:DEFINITION SET::IN))
 (21 21 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (18 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (12 12 (:REWRITE SET::SUBSET-IN))
 (12 6 (:REWRITE SET::IN-TAIL))
 (9 3 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (7 7 (:REWRITE SET::IN-SET))
 (6 6 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (6 6 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (5 5 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (3 3 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 )
(SET::MAP-SFIX
 (1477 45 (:DEFINITION SET::IN))
 (1119 17 (:DEFINITION SET::SUBSET$INLINE))
 (907 117 (:REWRITE SET::IN-TAIL))
 (891 238 (:REWRITE SET::SUBSET-IN))
 (513 19 (:REWRITE SET::INSERT-IDENTITY))
 (339 48 (:REWRITE SET::SUBSET-IN-2))
 (255 89 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (197 121 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (113 89 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (106 36 (:REWRITE SET::EMPTYP-SUBSET-2))
 (100 36 (:REWRITE SET::EMPTYP-SUBSET))
 (84 84 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (66 22 (:REWRITE SET::NEVER-IN-EMPTY))
 (57 19 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (55 55 (:REWRITE SET::IN-SET))
 (40 24 (:REWRITE SET::EMPTYP-SFIX-CANCEL))
 (24 24 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (24 24 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (24 15 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 (24 8 (:REWRITE SET::HEAD-SFIX-CANCEL))
 (18 18 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (16 8 (:REWRITE SET::TAIL-SFIX-CANCEL))
 (1 1 (:REWRITE SET::IN-HEAD))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 )
(SET::MAP-IN
 (1041 36 (:DEFINITION SET::IN))
 (544 90 (:REWRITE SET::IN-TAIL))
 (406 67 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (331 11 (:REWRITE SET::INSERT-IDENTITY))
 (276 45 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (141 8 (:DEFINITION SET::SUBSET$INLINE))
 (128 80 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (90 90 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (90 45 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (67 67 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (66 66 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (66 1 (:REWRITE SET::SUBSET-INSERT-X))
 (49 7 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (45 45 (:REWRITE SET::IN-SET))
 (41 25 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (36 12 (:REWRITE SET::EMPTYP-SUBSET-2))
 (33 33 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (33 33 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (33 11 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (25 25 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (22 22 (:REWRITE SET::SUBSET-TRANSITIVE))
 (17 17 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 (14 12 (:REWRITE SET::EMPTYP-SUBSET))
 (14 10 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (11 11 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (10 10 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (10 10 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (10 10 (:REWRITE SET::ALL-IN<INVERSEP>))
 (8 8 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (6 6 (:REWRITE SET::HEAD-UNIQUE))
 (1 1 (:REWRITE SET::INSERT-NEVER-EMPTY))
 )
(SET::MAP-SUBSET
 (1455 15 (:DEFINITION SET::MAP))
 (1391 58 (:DEFINITION SET::ALL<NOT-INVERSEP>))
 (1335 15 (:REWRITE SET::INSERT-IDENTITY))
 (969 11 (:DEFINITION SET::SUBSET$INLINE))
 (544 103 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (382 14 (:DEFINITION SET::IN))
 (349 59 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (323 59 (:DEFINITION SET::INVERSEP))
 (280 142 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (266 34 (:REWRITE SET::IN-TAIL))
 (165 102 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (142 142 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (124 100 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (116 116 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (116 58 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (102 102 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (88 68 (:REWRITE SET::SUBSET-IN))
 (82 30 (:REWRITE SET::EMPTYP-SUBSET-2))
 (78 30 (:REWRITE SET::EMPTYP-SUBSET))
 (68 42 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (59 59 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (59 59 (:REWRITE SET::ALL-IN<INVERSEP>))
 (58 58 (:REWRITE SET::IN-SET))
 (54 14 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (45 15 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (42 42 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (42 14 (:REWRITE SET::NEVER-IN-EMPTY))
 (28 28 (:REWRITE SET::SUBSET-IN-2))
 (27 27 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (14 14 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (8 8 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 )
(SET::MAP-INSERT
 (3034 18 (:DEFINITION SET::MAP))
 (2989 36 (:REWRITE SET::INSERT-IDENTITY))
 (1250 167 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (728 28 (:DEFINITION SET::IN))
 (705 7 (:DEFINITION SET::SUBSET$INLINE))
 (631 297 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (306 306 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (306 306 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (294 7 (:REWRITE SET::WEAK-INSERT-INDUCTION-HELPER-1))
 (286 143 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (280 7 (:REWRITE SET::WEAK-INSERT-INDUCTION-HELPER-3))
 (280 7 (:REWRITE SET::WEAK-INSERT-INDUCTION-HELPER-2))
 (177 163 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (166 152 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (163 163 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (143 143 (:REWRITE SET::IN-SET))
 (138 138 (:REWRITE SET::SUBSET-IN))
 (115 115 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (115 115 (:REWRITE SET::ALL-IN<INVERSEP>))
 (112 56 (:REWRITE SET::IN-TAIL))
 (108 36 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (102 102 (:REWRITE SET::SUBSET-IN-2))
 (98 42 (:REWRITE SET::NEVER-IN-EMPTY))
 (82 82 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (82 82 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (51 51 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (51 51 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (50 20 (:REWRITE SET::EMPTYP-SUBSET))
 (41 41 (:REWRITE SET::INSERT-NEVER-EMPTY))
 (32 20 (:REWRITE SET::EMPTYP-SUBSET-2))
 (28 28 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (21 21 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 )
(SET::MAP-DELETE
 (1941 15 (:DEFINITION SET::MAP))
 (1878 29 (:REWRITE SET::INSERT-IDENTITY))
 (1364 28 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (1166 131 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (980 14 (:DEFINITION SET::DELETE))
 (762 127 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (713 29 (:REWRITE SET::ALL-DELETE-NOT<INVERSEP>))
 (661 5 (:DEFINITION SET::SUBSET$INLINE))
 (644 23 (:DEFINITION SET::IN))
 (501 216 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (254 254 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (254 127 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (217 217 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (217 217 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (161 161 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (161 161 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (146 146 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (144 56 (:REWRITE SET::DELETE-PRESERVES-EMPTYP))
 (138 46 (:REWRITE SET::NEVER-IN-EMPTY))
 (129 29 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (127 127 (:REWRITE SET::IN-SET))
 (120 120 (:REWRITE SET::SUBSET-IN))
 (105 105 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (105 105 (:REWRITE SET::ALL-IN<INVERSEP>))
 (92 92 (:REWRITE SET::SUBSET-IN-2))
 (92 46 (:REWRITE SET::IN-TAIL))
 (88 88 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (88 88 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (46 46 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (46 46 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (46 15 (:REWRITE SET::EMPTYP-SUBSET))
 (37 37 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 (37 37 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (37 15 (:REWRITE SET::EMPTYP-SUBSET-2))
 (14 14 (:REWRITE SET::HEAD-UNIQUE))
 )
(SET::MAP-UNION
 (16227 237 (:DEFINITION SET::SUBSET$INLINE))
 (13753 85 (:REWRITE SET::INSERT-IDENTITY))
 (11900 51 (:DEFINITION SET::MAP))
 (10341 546 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (9740 1006 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (7480 338 (:DEFINITION SET::IN))
 (7225 34 (:DEFINITION SET::UNION$INLINE))
 (5062 782 (:REWRITE SET::IN-TAIL))
 (4352 68 (:REWRITE SET::UNION-WITH-SUBSET-LEFT))
 (3893 68 (:REWRITE SET::UNION-WITH-SUBSET-RIGHT))
 (2158 976 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (1741 1222 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (1632 1632 (:REWRITE SET::SUBSET-IN))
 (1315 249 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (1237 524 (:REWRITE SET::EMPTYP-SUBSET-2))
 (1210 524 (:REWRITE SET::EMPTYP-SUBSET))
 (1139 1044 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (1044 1044 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (1037 510 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1006 1006 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (584 584 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (530 142 (:REWRITE SET::UNION-EMPTYP))
 (510 510 (:REWRITE SET::IN-SET))
 (376 376 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (376 376 (:REWRITE SET::ALL-IN<INVERSEP>))
 (357 85 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (249 249 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (204 68 (:REWRITE SET::UNION-EMPTYP-Y))
 (204 68 (:REWRITE SET::UNION-EMPTYP-X))
 (204 34 (:REWRITE SET::SFIX-SET-IDENTITY))
 (102 34 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (34 34 (:REWRITE SET::HEAD-UNIQUE))
 (9 9 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (9 9 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 )
(SET::MAP-INTERSECT
 (6799 17 (:DEFINITION SET::INTERSECT$INLINE))
 (6610 115 (:DEFINITION SET::SUBSET$INLINE))
 (4554 201 (:DEFINITION SET::ALL<NOT-INVERSEP>))
 (4070 41 (:REWRITE SET::INSERT-IDENTITY))
 (3308 51 (:REWRITE SET::INTERSECT-WITH-SUBSET-LEFT))
 (2820 51 (:REWRITE SET::INTERSECT-WITH-SUBSET-RIGHT))
 (2748 24 (:DEFINITION SET::MAP))
 (2148 107 (:DEFINITION SET::IN))
 (1553 273 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (1542 502 (:REWRITE SET::SUBSET-IN))
 (1159 286 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (988 230 (:REWRITE SET::IN-TAIL))
 (982 202 (:DEFINITION SET::INVERSEP))
 (970 458 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (861 485 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (565 501 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (493 235 (:REWRITE SET::EMPTYP-SUBSET-2))
 (493 235 (:REWRITE SET::EMPTYP-SUBSET))
 (485 485 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (458 458 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (432 432 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (294 147 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (254 8 (:REWRITE SET::ALL-INTERSECT-Y-NOT<INVERSEP>))
 (254 8 (:REWRITE SET::ALL-INTERSECT-X-NOT<INVERSEP>))
 (202 202 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (202 202 (:REWRITE SET::ALL-IN<INVERSEP>))
 (189 189 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (164 138 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (153 51 (:REWRITE SET::INTERSECT-EMPTYP-Y))
 (153 51 (:REWRITE SET::INTERSECT-EMPTYP-X))
 (147 147 (:REWRITE SET::IN-SET))
 (138 138 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (123 41 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (96 32 (:REWRITE SET::NEVER-IN-EMPTY))
 (78 38 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (64 64 (:REWRITE SET::SUBSET-IN-2))
 (38 38 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (24 24 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 (17 17 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (17 17 (:REWRITE SET::HEAD-UNIQUE))
 )
(SET::MAP-DIFFERENCE
 (8540 92 (:DEFINITION SET::SUBSET$INLINE))
 (8346 120 (:REWRITE SET::SUBSET-DIFFERENCE))
 (6901 21 (:DEFINITION SET::MAP))
 (4548 179 (:DEFINITION SET::IN))
 (4203 35 (:REWRITE SET::INSERT-IDENTITY))
 (3796 446 (:REWRITE SET::IN-TAIL))
 (3483 197 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (2666 14 (:DEFINITION SET::DIFFERENCE$INLINE))
 (2222 330 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (2168 613 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (1775 458 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (1766 296 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1451 35 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (1218 230 (:REWRITE SET::EMPTYP-SUBSET))
 (920 920 (:REWRITE SET::SUBSET-IN))
 (733 331 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (713 29 (:REWRITE SET::ALL-DIFFERENCE-NOT<INVERSEP>))
 (588 588 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (588 294 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (576 230 (:REWRITE SET::EMPTYP-SUBSET-2))
 (458 458 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (355 355 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (331 331 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (294 294 (:REWRITE SET::IN-SET))
 (183 105 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (136 136 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (136 136 (:REWRITE SET::ALL-IN<INVERSEP>))
 (132 44 (:REWRITE SET::NEVER-IN-EMPTY))
 (126 42 (:REWRITE SET::DIFFERENCE-EMPTYP-Y))
 (126 42 (:REWRITE SET::DIFFERENCE-EMPTYP-X))
 (124 44 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (105 105 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (88 88 (:REWRITE SET::SUBSET-IN-2))
 (44 44 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (22 22 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL-2))
 (14 14 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (14 14 (:REWRITE SET::HEAD-UNIQUE))
 (2 2 (:TYPE-PRESCRIPTION SET::INVERSEP))
 )
(SET::MAP-CARDINALITY
 (955 9 (:DEFINITION SET::SUBSET$INLINE))
 (706 26 (:DEFINITION SET::ALL<NOT-INVERSEP>))
 (703 3 (:REWRITE SET::PROPER-SUBSET-CARDINALITY))
 (390 34 (:REWRITE SET::SUBSET-TRANSITIVE))
 (368 50 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (317 3 (:REWRITE SET::SUBSET-CARDINALITY))
 (267 3 (:REWRITE SET::INSERT-IDENTITY))
 (174 29 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (170 7 (:DEFINITION SET::IN))
 (158 26 (:DEFINITION SET::INVERSEP))
 (133 17 (:REWRITE SET::IN-TAIL))
 (125 73 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (73 73 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (73 73 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (67 55 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (60 60 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (58 58 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (58 29 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (49 17 (:REWRITE SET::EMPTYP-SUBSET-2))
 (47 17 (:REWRITE SET::EMPTYP-SUBSET))
 (47 12 (:LINEAR SET::PROPER-SUBSET-CARDINALITY))
 (46 46 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (46 46 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (41 15 (:REWRITE SET::SUBSET-MEMBERSHIP-TAIL))
 (39 38 (:REWRITE SET::SUBSET-IN))
 (29 29 (:REWRITE SET::IN-SET))
 (26 26 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (26 26 (:REWRITE SET::ALL-IN<INVERSEP>))
 (22 11 (:REWRITE DEFAULT-+-2))
 (18 12 (:LINEAR SET::SUBSET-CARDINALITY))
 (17 17 (:REWRITE SET::PICK-A-POINT-SUBSET-STRATEGY))
 (17 17 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (17 17 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (11 11 (:REWRITE DEFAULT-+-1))
 (11 4 (:REWRITE SET::SUBSET-IN-2))
 (10 4 (:REWRITE DEFAULT-<-2))
 (9 9 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (9 3 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (8 4 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (2 2 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 (1 1 (:REWRITE SET::IN-HEAD))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 )
(SET::MEMBER-OF-MAP-LIST
 (247 43 (:REWRITE SET::ALL-LIST-APPLIED-TO-SET-NOT<INVERSEP>))
 (162 27 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (156 61 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (122 122 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (95 95 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (61 61 (:REWRITE SET::IN-SET))
 (57 54 (:REWRITE DEFAULT-CAR))
 (52 50 (:REWRITE DEFAULT-CDR))
 (36 36 (:REWRITE SET::ALL-LIST-IN-2<INVERSEP>))
 (36 36 (:REWRITE SET::ALL-LIST-IN-2-NOT<INVERSEP>))
 (14 14 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (13 13 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (13 13 (:REWRITE SET::ALL-IN<INVERSEP>))
 )
(SET::MAP-MERGESORT
 (4357 45 (:REWRITE SET::INSERT-IDENTITY))
 (3984 16 (:DEFINITION SET::MAP))
 (2928 96 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (2720 32 (:DEFINITION SET::ALL<NOT-INVERSEP>))
 (1522 222 (:REWRITE SET::ALL-LIST-APPLIED-TO-SET-NOT<INVERSEP>))
 (1094 413 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1002 12 (:DEFINITION SET::SUBSET$INLINE))
 (928 29 (:DEFINITION SET::MERGESORT$INLINE))
 (916 76 (:REWRITE SET::ALL-LIST-CDR-NOT<INVERSEP>))
 (469 58 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (413 413 (:REWRITE SET::IN-SET))
 (385 29 (:DEFINITION MEMBER-EQUAL))
 (370 222 (:REWRITE SET::ALL-LIST-ENDP-NOT<INVERSEP>))
 (224 224 (:TYPE-PRESCRIPTION SET::ALL-TYPE-NOT<INVERSEP>))
 (222 222 (:REWRITE SET::ALL-LIST-STRATEGY<NOT-INVERSEP>))
 (192 96 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (156 156 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (156 156 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (148 148 (:DEFINITION ENDP))
 (147 147 (:REWRITE DEFAULT-CDR))
 (147 147 (:REWRITE DEFAULT-CAR))
 (135 45 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (126 126 (:TYPE-PRESCRIPTION SET::MAP-LIST))
 (116 116 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (108 108 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (108 108 (:REWRITE SET::ALL-IN<INVERSEP>))
 (88 88 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (88 88 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (86 34 (:REWRITE SET::EMPTYP-SUBSET-2))
 (86 34 (:REWRITE SET::EMPTYP-SUBSET))
 (68 68 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (68 68 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (68 68 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (39 13 (:DEFINITION SET::MAP-LIST))
 (5 5 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (5 5 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 )
(SET::MAP-MBE-EQUIVALENCE
 (1633 27 (:REWRITE SET::INSERT-IDENTITY))
 (1552 16 (:DEFINITION SET::MAP))
 (598 114 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (496 8 (:DEFINITION SET::SUBSET$INLINE))
 (396 11 (:DEFINITION SET::MERGESORT$INLINE))
 (326 162 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (227 96 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (209 22 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (165 11 (:DEFINITION MEMBER-EQUAL))
 (162 162 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (162 162 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (110 110 (:TYPE-PRESCRIPTION SET::MAP-LIST))
 (96 96 (:REWRITE SET::IN-SET))
 (94 94 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (94 94 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (81 27 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (78 78 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (66 66 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (66 66 (:REWRITE SET::ALL-IN<INVERSEP>))
 (61 23 (:REWRITE SET::EMPTYP-SUBSET-2))
 (61 23 (:REWRITE SET::EMPTYP-SUBSET))
 (48 48 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (48 48 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (44 44 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (33 33 (:REWRITE DEFAULT-CDR))
 (33 33 (:REWRITE DEFAULT-CAR))
 (33 11 (:DEFINITION SET::MAP-LIST))
 (4 4 (:REWRITE SET::ALL-LIST-STRATEGY<NOT-INVERSEP>))
 (2 2 (:REWRITE SET::ALL-IN-2<INVERSEP>))
 (2 2 (:REWRITE SET::ALL-IN-2-NOT<INVERSEP>))
 )
(SET::MAP-LIST-CONS
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(SET::MAP-LIST-APPEND
 (27 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (21 20 (:REWRITE DEFAULT-CAR))
 (19 18 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (3 3 (:REWRITE SET::IN-SET))
 )
(SET::MAP-LIST-NTH
 (18 12 (:REWRITE DEFAULT-<-2))
 (18 12 (:REWRITE DEFAULT-+-2))
 (18 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (16 16 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-<-1))
 (12 12 (:REWRITE DEFAULT-+-1))
 (10 9 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:REWRITE ZP-OPEN))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (3 3 (:REWRITE SET::IN-SET))
 )
(SET::MAP-LIST-REVAPPEND
 (27 20 (:REWRITE DEFAULT-CAR))
 (27 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (25 18 (:REWRITE DEFAULT-CDR))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (3 3 (:REWRITE SET::IN-SET))
 )
(SET::MAP-LIST-REVERSE
 (14 4 (:DEFINITION REVAPPEND))
 (14 2 (:REWRITE DEFAULT-COERCE-3))
 (9 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(SET::MAP
 (505 5 (:REWRITE SET::INSERT-IDENTITY))
 (495 5 (:REWRITE SET::MAP-IN))
 (393 17 (:DEFINITION SET::ALL<NOT-INVERSEP>))
 (215 34 (:REWRITE SET::ALL-TAIL-NOT<INVERSEP>))
 (89 17 (:DEFINITION SET::INVERSEP))
 (72 72 (:TYPE-PRESCRIPTION SET::ALL-TYPE-NOT<INVERSEP>))
 (72 12 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (69 39 (:REWRITE SET::ALL-EMPTYP-NOT<INVERSEP>))
 (39 39 (:REWRITE SET::ALL-SUBSET-NOT<INVERSEP>))
 (39 39 (:REWRITE SET::ALL-STRATEGY<NOT-INVERSEP>))
 (27 13 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (22 22 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (22 22 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (17 17 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (17 17 (:REWRITE SET::ALL-LIST-MEMBER<INVERSEP>))
 (17 17 (:REWRITE SET::ALL-IN<INVERSEP>))
 (15 5 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (13 13 (:REWRITE SET::IN-SET))
 (12 12 (:REWRITE SET::ALL-LIST-MEMBER-NOT<INVERSEP>))
 (12 12 (:REWRITE SET::ALL-IN-NOT<INVERSEP>))
 (5 5 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (3 1 (:DEFINITION SET::MAP-LIST))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(SET::MAP-FUNCTION-FN)
