(NOT-MEMBER-WHEN-SETP
 (250 10 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (105 35 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (78 78 (:REWRITE DEFAULT-CDR))
 (70 70 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (60 60 (:REWRITE DEFAULT-CAR))
 (35 35 (:REWRITE SET::IN-SET))
 (31 19 (:REWRITE SUBSETP-MEMBER . 3))
 (19 19 (:REWRITE SUBSETP-MEMBER . 4))
 (19 19 (:REWRITE SUBSETP-MEMBER . 2))
 (19 19 (:REWRITE SUBSETP-MEMBER . 1))
 (19 19 (:REWRITE INTERSECTP-MEMBER . 3))
 (19 19 (:REWRITE INTERSECTP-MEMBER . 2))
 (3 3 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (1 1 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 )
(NO-DUPLICATESP-WHEN-SETP
 (230 5 (:DEFINITION MEMBER-EQUAL))
 (120 5 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (104 14 (:REWRITE SUBSETP-CAR-MEMBER))
 (56 56 (:REWRITE DEFAULT-CDR))
 (54 18 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (47 47 (:REWRITE DEFAULT-CAR))
 (36 36 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (18 18 (:REWRITE SET::IN-SET))
 (14 14 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (14 14 (:REWRITE SUBSETP-TRANS2))
 (14 14 (:REWRITE SUBSETP-TRANS))
 (14 14 (:REWRITE SUBSETP-MEMBER . 4))
 (14 14 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (14 14 (:REWRITE INTERSECTP-MEMBER . 3))
 (14 14 (:REWRITE INTERSECTP-MEMBER . 2))
 (12 12 (:REWRITE SUBSETP-MEMBER . 2))
 (10 10 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 )
(MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS
 (92 14 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (72 72 (:REWRITE DEFAULT-CAR))
 (52 13 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (39 13 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (27 13 (:REWRITE SUBSETP-MEMBER . 3))
 (26 26 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (26 26 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (26 26 (:TYPE-PRESCRIPTION <<))
 (24 24 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (24 24 (:REWRITE DEFAULT-CDR))
 (13 13 (:REWRITE SUBSETP-MEMBER . 4))
 (13 13 (:REWRITE SUBSETP-MEMBER . 2))
 (13 13 (:REWRITE SUBSETP-MEMBER . 1))
 (13 13 (:REWRITE INTERSECTP-MEMBER . 3))
 (13 13 (:REWRITE INTERSECTP-MEMBER . 2))
 (13 13 (:REWRITE SET::IN-SET))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 )
(NO-DUPLICATE-ALIST-KEYS-IMPLIES-PAIRS-UNIQUE
 (998 135 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (730 74 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (634 616 (:REWRITE DEFAULT-CAR))
 (621 207 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (576 141 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (414 414 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (414 414 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (296 286 (:REWRITE DEFAULT-CDR))
 (282 282 (:TYPE-PRESCRIPTION <<))
 (207 207 (:REWRITE SET::IN-SET))
 (195 139 (:REWRITE SUBSETP-MEMBER . 3))
 (147 147 (:REWRITE SUBSETP-MEMBER . 2))
 (139 139 (:REWRITE SUBSETP-MEMBER . 4))
 (139 139 (:REWRITE INTERSECTP-MEMBER . 3))
 (139 139 (:REWRITE INTERSECTP-MEMBER . 2))
 (100 88 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (94 94 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (90 90 (:REWRITE SUBSETP-TRANS2))
 (90 90 (:REWRITE SUBSETP-TRANS))
 (88 88 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 )
(HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS)
(MEMBER-OF-DUP-WITNESS
 (361 13 (:DEFINITION MEMBER-EQUAL))
 (144 36 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (121 16 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (79 79 (:REWRITE DEFAULT-CAR))
 (75 25 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (72 72 (:TYPE-PRESCRIPTION <<))
 (63 9 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (50 50 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (50 50 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (48 6 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (44 44 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (43 43 (:REWRITE SUBSETP-TRANS2))
 (43 43 (:REWRITE SUBSETP-TRANS))
 (34 34 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (34 34 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (34 34 (:REWRITE DEFAULT-CDR))
 (33 33 (:REWRITE SUBSETP-MEMBER . 4))
 (33 33 (:REWRITE INTERSECTP-MEMBER . 3))
 (33 33 (:REWRITE INTERSECTP-MEMBER . 2))
 (30 30 (:REWRITE SUBSETP-MEMBER . 2))
 (26 26 (:REWRITE MEMBER-WHEN-ATOM))
 (25 25 (:REWRITE SET::IN-SET))
 )
(ALIST-KEYS-OF-MEMBER-OF-HONS-ASSOC-EQUAL
 (350 49 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (303 273 (:REWRITE DEFAULT-CAR))
 (189 39 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (135 45 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (127 100 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (124 124 (:REWRITE DEFAULT-CDR))
 (108 3 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (90 90 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (90 90 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (81 9 (:REWRITE SUBSETP-CAR-MEMBER))
 (78 78 (:TYPE-PRESCRIPTION <<))
 (60 33 (:REWRITE MEMBER-WHEN-ATOM))
 (45 45 (:REWRITE SET::IN-SET))
 (39 39 (:REWRITE SUBSETP-MEMBER . 4))
 (39 39 (:REWRITE SUBSETP-MEMBER . 3))
 (39 39 (:REWRITE INTERSECTP-MEMBER . 3))
 (39 39 (:REWRITE INTERSECTP-MEMBER . 2))
 (26 26 (:REWRITE SUBSETP-MEMBER . 2))
 (26 26 (:REWRITE SUBSETP-MEMBER . 1))
 (18 18 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (18 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (9 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRITE SUBSETP-TRANS))
 (9 9 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (3 3 (:REWRITE CAR-CONS))
 )
(ALIST-KEYS-OF-CDR-MEMBER-OF-HONS-ASSOC-EQUAL
 (350 49 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (296 266 (:REWRITE DEFAULT-CAR))
 (208 149 (:REWRITE DEFAULT-CDR))
 (189 39 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (135 45 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (129 102 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (108 3 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (90 90 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (90 90 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (81 9 (:REWRITE SUBSETP-CAR-MEMBER))
 (78 78 (:TYPE-PRESCRIPTION <<))
 (60 33 (:REWRITE MEMBER-WHEN-ATOM))
 (45 45 (:REWRITE SET::IN-SET))
 (39 39 (:REWRITE SUBSETP-MEMBER . 4))
 (39 39 (:REWRITE SUBSETP-MEMBER . 3))
 (39 39 (:REWRITE INTERSECTP-MEMBER . 3))
 (39 39 (:REWRITE INTERSECTP-MEMBER . 2))
 (26 26 (:REWRITE SUBSETP-MEMBER . 2))
 (26 26 (:REWRITE SUBSETP-MEMBER . 1))
 (18 18 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (18 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (9 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRITE SUBSETP-TRANS))
 (9 9 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (3 3 (:REWRITE CAR-CONS))
 )
(MEMBER-OF-HONS-ASSOC-EQUAL
 (142 18 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (90 90 (:REWRITE DEFAULT-CAR))
 (54 18 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (47 3 (:DEFINITION MEMBER-EQUAL))
 (36 36 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (36 36 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (32 8 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (20 20 (:REWRITE SUBSETP-MEMBER . 2))
 (18 18 (:REWRITE SET::IN-SET))
 (16 16 (:TYPE-PRESCRIPTION <<))
 (14 14 (:REWRITE DEFAULT-CDR))
 (14 14 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (6 6 (:REWRITE SUBSETP-MEMBER . 4))
 (6 6 (:REWRITE SUBSETP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (4 4 (:REWRITE MEMBER-WHEN-ATOM))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 )
(MEMBER-OF-HONS-ASSOC-EQUAL-MEMBER
 (1447 185 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (911 69 (:REWRITE ALIST-KEYS-MEMBER-HONS-ASSOC-EQUAL))
 (776 106 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (318 106 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (234 189 (:REWRITE DEFAULT-CDR))
 (212 212 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (212 212 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (187 47 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (114 69 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (108 3 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (106 106 (:REWRITE SET::IN-SET))
 (99 99 (:REWRITE SUBSETP-MEMBER . 2))
 (93 93 (:TYPE-PRESCRIPTION <<))
 (44 44 (:REWRITE SUBSETP-MEMBER . 4))
 (44 44 (:REWRITE SUBSETP-MEMBER . 3))
 (44 44 (:REWRITE INTERSECTP-MEMBER . 3))
 (44 44 (:REWRITE INTERSECTP-MEMBER . 2))
 (18 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (15 15 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (12 12 (:REWRITE SUBSETP-TRANS2))
 (12 12 (:REWRITE SUBSETP-TRANS))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (9 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 )
(NOT-MEMBER-OF-CDR-MEMBER-EQUAL
 (233 22 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (125 38 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (107 24 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (84 12 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (59 40 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (49 37 (:REWRITE DEFAULT-CAR))
 (48 48 (:TYPE-PRESCRIPTION <<))
 (43 43 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (42 42 (:REWRITE SUBSETP-TRANS2))
 (42 42 (:REWRITE SUBSETP-TRANS))
 (36 12 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (24 24 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (24 24 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (24 24 (:REWRITE SUBSETP-MEMBER . 4))
 (24 24 (:REWRITE INTERSECTP-MEMBER . 3))
 (24 24 (:REWRITE INTERSECTP-MEMBER . 2))
 (24 12 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE SUBSETP-MEMBER . 2))
 (12 12 (:REWRITE SET::IN-SET))
 (8 2 (:DEFINITION ATOM))
 )
(DUPLICATES-P-BY-MEMBER
 (305 34 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (239 59 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (183 27 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (128 80 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (118 118 (:TYPE-PRESCRIPTION <<))
 (114 38 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (112 14 (:REWRITE SUBSETP-CAR-MEMBER))
 (106 103 (:REWRITE DEFAULT-CAR))
 (104 82 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (91 91 (:REWRITE SUBSETP-TRANS2))
 (91 91 (:REWRITE SUBSETP-TRANS))
 (91 91 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (84 12 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (76 76 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (76 76 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (59 59 (:REWRITE SUBSETP-MEMBER . 4))
 (59 59 (:REWRITE INTERSECTP-MEMBER . 3))
 (59 59 (:REWRITE INTERSECTP-MEMBER . 2))
 (48 45 (:REWRITE DEFAULT-CDR))
 (46 46 (:REWRITE SUBSETP-MEMBER . 2))
 (38 38 (:REWRITE SET::IN-SET))
 (8 2 (:DEFINITION ATOM))
 (5 3 (:REWRITE NOT-MEMBER-OF-CDR-MEMBER-EQUAL))
 )
(DUPLICATE-ALIST-KEYS-OF-MERGESORT
 (813 297 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (648 111 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (481 220 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (411 137 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (333 102 (:REWRITE DEFAULT-CAR))
 (323 101 (:REWRITE MEMBER-WHEN-ATOM))
 (315 105 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (274 274 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (216 60 (:REWRITE DEFAULT-CDR))
 (204 204 (:TYPE-PRESCRIPTION <<))
 (158 13 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (145 25 (:REWRITE NOT-MEMBER-OF-CDR-MEMBER-EQUAL))
 (137 137 (:REWRITE SET::IN-SET))
 (117 39 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (117 39 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (111 111 (:REWRITE SUBSETP-MEMBER . 4))
 (111 111 (:REWRITE INTERSECTP-MEMBER . 3))
 (111 111 (:REWRITE INTERSECTP-MEMBER . 2))
 (90 9 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (54 54 (:REWRITE SUBSETP-TRANS2))
 (54 54 (:REWRITE SUBSETP-TRANS))
 (54 54 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (52 52 (:REWRITE SUBSETP-MEMBER . 2))
 (43 43 (:REWRITE DUPLICATES-P-BY-MEMBER))
 (10 10 (:REWRITE MEMBER-OF-HONS-ASSOC-EQUAL-MEMBER))
 )
(HONS-ASSOC-EQUAL-WHEN-MEMBER
 (538 71 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (486 58 (:REWRITE SUBSETP-CAR-MEMBER))
 (367 38 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (353 332 (:REWRITE DEFAULT-CAR))
 (324 108 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (227 53 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (216 216 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (216 216 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (179 169 (:REWRITE DEFAULT-CDR))
 (112 55 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (110 110 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (108 108 (:REWRITE SET::IN-SET))
 (106 106 (:TYPE-PRESCRIPTION <<))
 (98 98 (:REWRITE SUBSETP-MEMBER . 2))
 (98 98 (:REWRITE SUBSETP-MEMBER . 1))
 (69 69 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (67 53 (:REWRITE SUBSETP-MEMBER . 3))
 (55 55 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (55 55 (:REWRITE SUBSETP-TRANS2))
 (55 55 (:REWRITE SUBSETP-TRANS))
 (55 55 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (53 53 (:REWRITE SUBSETP-MEMBER . 4))
 (53 53 (:REWRITE INTERSECTP-MEMBER . 3))
 (53 53 (:REWRITE INTERSECTP-MEMBER . 2))
 (52 52 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (38 38 (:REWRITE DUPLICATES-P-BY-MEMBER))
 )
(HONS-ASSOC-EQUAL-OF-MERGESORT
 (174 24 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (100 4 (:DEFINITION MEMBER-EQUAL))
 (93 31 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (89 89 (:REWRITE DEFAULT-CAR))
 (63 48 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (62 62 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (62 62 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (46 46 (:REWRITE DEFAULT-CDR))
 (38 8 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (32 8 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (31 31 (:REWRITE SET::IN-SET))
 (21 9 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (18 2 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (16 16 (:TYPE-PRESCRIPTION <<))
 (16 2 (:REWRITE SUBSETP-CAR-MEMBER))
 (14 14 (:REWRITE SUBSETP-MEMBER . 2))
 (14 14 (:REWRITE SUBSETP-MEMBER . 1))
 (8 8 (:REWRITE SUBSETP-MEMBER . 4))
 (8 8 (:REWRITE SUBSETP-MEMBER . 3))
 (8 8 (:REWRITE MEMBER-WHEN-ATOM))
 (8 8 (:REWRITE INTERSECTP-MEMBER . 3))
 (8 8 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (2 2 (:REWRITE MEMBER-OF-HONS-ASSOC-EQUAL-MEMBER))
 (2 2 (:REWRITE DUPLICATES-P-BY-MEMBER))
 )
(NO-DUPLICATE-KEYS-OF-FAST-ALIST-FORK
 (971 37 (:DEFINITION MEMBER-EQUAL))
 (835 97 (:REWRITE SUBSETP-CAR-MEMBER))
 (793 23 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (394 52 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (305 32 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (252 84 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (192 192 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (168 168 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (168 168 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (167 163 (:REWRITE DEFAULT-CAR))
 (162 96 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (127 31 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (107 105 (:REWRITE DEFAULT-CDR))
 (97 97 (:REWRITE SUBSETP-MEMBER . 2))
 (97 97 (:REWRITE SUBSETP-MEMBER . 1))
 (96 96 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (96 96 (:REWRITE SUBSETP-TRANS2))
 (96 96 (:REWRITE SUBSETP-TRANS))
 (96 96 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (84 84 (:REWRITE SET::IN-SET))
 (62 62 (:TYPE-PRESCRIPTION <<))
 (58 38 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (34 31 (:REWRITE MEMBER-WHEN-ATOM))
 (32 32 (:REWRITE DUPLICATES-P-BY-MEMBER))
 (31 31 (:REWRITE SUBSETP-MEMBER . 4))
 (31 31 (:REWRITE SUBSETP-MEMBER . 3))
 (31 31 (:REWRITE INTERSECTP-MEMBER . 3))
 (31 31 (:REWRITE INTERSECTP-MEMBER . 2))
 (21 21 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (20 20 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 )
(NO-DUPLICATE-KEYS-OF-FAST-ALIST-CLEAN
 (67 1 (:DEFINITION NO-DUPLICATESP-EQUAL))
 (33 3 (:DEFINITION MEMBER-EQUAL))
 (28 4 (:REWRITE SUBSETP-CAR-MEMBER))
 (28 2 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (19 2 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (18 6 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 (15 13 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (9 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (9 1 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (8 2 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (6 6 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 2 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (6 2 (:DEFINITION LAST))
 (4 4 (:TYPE-PRESCRIPTION <<))
 (4 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (4 4 (:REWRITE SUBSETP-TRANS2))
 (4 4 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (3 3 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE MEMBER-WHEN-ATOM))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE DUPLICATES-P-BY-MEMBER))
 )
(ATOM-WITNESS)
(ATOM-WITNESS-MEMBER-WHEN-NOT-ALISTP
 (54 9 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (52 2 (:DEFINITION MEMBER-EQUAL))
 (50 5 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (35 35 (:REWRITE DEFAULT-CAR))
 (33 14 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (28 28 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (28 7 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (19 19 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (14 14 (:TYPE-PRESCRIPTION <<))
 (14 14 (:REWRITE SET::IN-SET))
 (8 8 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE SUBSETP-MEMBER . 4))
 (5 5 (:REWRITE SUBSETP-MEMBER . 3))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE INTERSECTP-MEMBER . 3))
 (5 5 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:REWRITE MEMBER-WHEN-ATOM))
 (3 3 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 )
(MAYBE-IMPROPER-ALISTP)
(MEMBER-ATOM-WHEN-MAYBE-IMPROPER-ALISTP
 (28 4 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (24 6 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (16 16 (:REWRITE DEFAULT-CAR))
 (13 6 (:REWRITE SUBSETP-MEMBER . 3))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (12 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:REWRITE SUBSETP-MEMBER . 4))
 (6 6 (:REWRITE SUBSETP-MEMBER . 2))
 (6 6 (:REWRITE SUBSETP-MEMBER . 1))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:REWRITE SET::IN-SET))
 (4 4 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (1 1 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (1 1 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 )
(ALISTP-OF-MERGESORT
 (9 3 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (3 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(MAYBE-IMPROPER-ALISTP-OF-FAST-ALIST-FORK
 (684 19 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (513 57 (:REWRITE SUBSETP-CAR-MEMBER))
 (437 19 (:DEFINITION MEMBER-EQUAL))
 (224 32 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (114 114 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (114 57 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (108 106 (:REWRITE DEFAULT-CAR))
 (96 32 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (69 67 (:REWRITE DEFAULT-CDR))
 (64 64 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (64 64 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (57 57 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (57 57 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (57 57 (:REWRITE SUBSETP-TRANS2))
 (57 57 (:REWRITE SUBSETP-TRANS))
 (57 57 (:REWRITE SUBSETP-MEMBER . 2))
 (57 57 (:REWRITE SUBSETP-MEMBER . 1))
 (57 57 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (32 32 (:REWRITE SET::IN-SET))
 (19 19 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (18 18 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 )
(MAYBE-IMPROPER-ALISTP-OF-FAST-ALIST-CLEAN
 (28 2 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (13 11 (:REWRITE DEFAULT-CDR))
 (12 2 (:REWRITE SUBSETP-CAR-MEMBER))
 (9 9 (:REWRITE DEFAULT-CAR))
 (6 2 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 (6 2 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (6 2 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (6 2 (:DEFINITION LAST))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (2 2 (:DEFINITION MEMBER-EQUAL))
 )
(MEMBER-OF-FAST-ALIST-FORK
 (3123 119 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (3102 125 (:DEFINITION MEMBER-EQUAL))
 (2101 217 (:REWRITE SUBSETP-CAR-MEMBER))
 (1659 234 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (793 368 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (693 231 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (554 368 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (474 97 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (462 462 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (462 462 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (400 400 (:REWRITE SUBSETP-TRANS2))
 (400 400 (:REWRITE SUBSETP-TRANS))
 (400 400 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (389 389 (:REWRITE SUBSETP-MEMBER . 2))
 (388 388 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 (361 361 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (324 322 (:REWRITE DEFAULT-CDR))
 (231 231 (:REWRITE SET::IN-SET))
 (194 194 (:TYPE-PRESCRIPTION <<))
 (125 125 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (113 64 (:REWRITE MEMBER-WHEN-ATOM))
 (112 13 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (97 97 (:REWRITE SUBSETP-MEMBER . 4))
 (97 97 (:REWRITE INTERSECTP-MEMBER . 3))
 (97 97 (:REWRITE INTERSECTP-MEMBER . 2))
 (53 1 (:REWRITE SUBSETP-OF-CONS))
 (31 3 (:REWRITE SUBSETP-CONS-2))
 (6 2 (:REWRITE ALIST-KEYS-OF-CONS))
 (2 2 (:REWRITE CAR-CONS))
 )
(MEMBER-OF-FAST-ALIST-CLEAN
 (70 5 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (62 47 (:REWRITE DEFAULT-CAR))
 (49 7 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (47 8 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (33 29 (:REWRITE DEFAULT-CDR))
 (32 6 (:DEFINITION MEMBER-EQUAL))
 (30 5 (:REWRITE SUBSETP-CAR-MEMBER))
 (24 8 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 (21 7 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (16 16 (:TYPE-PRESCRIPTION <<))
 (15 5 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (14 14 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (13 13 (:REWRITE SUBSETP-MEMBER . 2))
 (13 13 (:REWRITE SUBSETP-MEMBER . 1))
 (12 4 (:DEFINITION LAST))
 (8 8 (:REWRITE SUBSETP-MEMBER . 4))
 (8 8 (:REWRITE SUBSETP-MEMBER . 3))
 (8 8 (:REWRITE INTERSECTP-MEMBER . 3))
 (8 8 (:REWRITE INTERSECTP-MEMBER . 2))
 (7 7 (:REWRITE SET::IN-SET))
 (5 5 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (5 5 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (5 5 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 )
(CDR-LAST-WHEN-ELEMENT-LIST-P
 (372 28 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-NONEMPTY-P))
 (351 9 (:DEFINITION ELEMENT-LIST-NONEMPTY-P))
 (280 28 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-UNKNOWN-NIL))
 (162 136 (:REWRITE ELEMENT-P-WHEN-MEMBER-EQUAL-OF-ELEMENT-LIST-NOT-NEGATED))
 (84 28 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-NOT-ELEMENT-P-NIL-AND-NOT-NEGATED))
 (68 28 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-ELEMENT-P-NIL))
 (57 57 (:TYPE-PRESCRIPTION ELEMENT-LIST-NONEMPTY-P))
 (46 35 (:REWRITE DEFAULT-CDR))
 (31 31 (:REWRITE ELEMENT-LIST-P-WHEN-SUBSETP-EQUAL-TRUE-LIST))
 (31 31 (:REWRITE ELEMENT-LIST-P-WHEN-SUBSETP-EQUAL-NON-TRUE-LIST))
 (28 28 (:REWRITE ELEMENT-LIST-P-WHEN-NOT-CONSP-NON-TRUE-LIST))
 (28 28 (:REWRITE DEFAULT-CAR))
 (24 3 (:REWRITE ELEMENT-LIST-P-OF-CDR-WHEN-ELEMENT-LIST-P))
 (18 9 (:REWRITE ELEMENT-LIST-NONEMPTY-P-OF-CDR-WHEN-ELEMENT-LIST-NONEMPTY-P))
 (6 1 (:REWRITE SUBSETP-CAR-MEMBER))
 (5 5 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (5 5 (:DEFINITION MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (1 1 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 )
(ELEMENT-LIST-P-OF-FAST-ALIST-FORK
 (3056 166 (:DEFINITION MEMBER-EQUAL))
 (2632 71 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-NONEMPTY-P))
 (2567 26 (:DEFINITION ELEMENT-LIST-NONEMPTY-P))
 (2424 68 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (1203 157 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (881 65 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-NOT-ELEMENT-P-NIL-AND-NOT-NEGATED))
 (518 313 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (485 481 (:REWRITE DEFAULT-CAR))
 (468 156 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (395 395 (:REWRITE SUBSETP-MEMBER . 2))
 (395 395 (:REWRITE SUBSETP-MEMBER . 1))
 (339 335 (:REWRITE DEFAULT-CDR))
 (331 311 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (321 321 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (320 320 (:REWRITE SUBSETP-TRANS2))
 (320 320 (:REWRITE SUBSETP-TRANS))
 (320 40 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (312 312 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (312 312 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (290 110 (:REWRITE ELEMENT-LIST-P-WHEN-NOT-CONSP-NON-TRUE-LIST))
 (206 206 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (191 1 (:REWRITE HONS-ASSOC-EQUAL-OF-CONS))
 (189 189 (:TYPE-PRESCRIPTION ELEMENT-LIST-NONEMPTY-P))
 (161 65 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-ELEMENT-P-NIL))
 (156 156 (:REWRITE SET::IN-SET))
 (114 114 (:REWRITE ELEMENT-LIST-P-WHEN-SUBSETP-EQUAL-TRUE-LIST))
 (114 114 (:REWRITE ELEMENT-LIST-P-WHEN-SUBSETP-EQUAL-NON-TRUE-LIST))
 (80 80 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (68 68 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (62 31 (:REWRITE ELEMENT-LIST-NONEMPTY-P-OF-CDR-WHEN-ELEMENT-LIST-NONEMPTY-P))
 (34 4 (:REWRITE SUBSETP-CONS-2))
 (3 1 (:REWRITE ALIST-KEYS-OF-CONS))
 )
(ELEMENT-LIST-P-OF-FAST-ALIST-CLEAN
 (577 6 (:DEFINITION ELEMENT-LIST-P))
 (220 12 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-NONEMPTY-P))
 (202 6 (:DEFINITION ELEMENT-LIST-NONEMPTY-P))
 (198 72 (:REWRITE ELEMENT-P-WHEN-MEMBER-EQUAL-OF-ELEMENT-LIST-NOT-NEGATED))
 (97 6 (:REWRITE ELEMENT-LIST-P-OF-CDR-WHEN-ELEMENT-LIST-P))
 (96 12 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-UNKNOWN-NIL))
 (92 12 (:DEFINITION MEMBER-EQUAL))
 (84 12 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-NOT-ELEMENT-P-NIL-AND-NOT-NEGATED))
 (75 6 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (68 10 (:REWRITE SUBSETP-CAR-MEMBER))
 (44 41 (:REWRITE DEFAULT-CDR))
 (42 42 (:TYPE-PRESCRIPTION ELEMENT-LIST-NONEMPTY-P))
 (42 42 (:REWRITE DEFAULT-CAR))
 (38 24 (:REWRITE ELEMENT-LIST-FINAL-CDR-P-REWRITE))
 (36 36 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (36 18 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 (36 12 (:REWRITE ELEMENT-P-OF-CAR-WHEN-ELEMENT-LIST-P-WHEN-ELEMENT-P-NIL))
 (32 32 (:REWRITE ELEMENT-LIST-P-WHEN-SUBSETP-EQUAL-TRUE-LIST))
 (32 32 (:REWRITE ELEMENT-LIST-P-WHEN-SUBSETP-EQUAL-NON-TRUE-LIST))
 (22 2 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (18 18 (:REWRITE SUBSETP-MEMBER . 2))
 (18 18 (:REWRITE SUBSETP-MEMBER . 1))
 (14 14 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (12 6 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (12 6 (:REWRITE ELEMENT-LIST-NONEMPTY-P-OF-CDR-WHEN-ELEMENT-LIST-NONEMPTY-P))
 (12 4 (:DEFINITION LAST))
 (10 10 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 10 (:REWRITE SUBSETP-TRANS2))
 (10 10 (:REWRITE SUBSETP-TRANS))
 (10 10 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (9 3 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (6 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (4 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (2 2 (:REWRITE SET::IN-SET))
 )
(ALIST-CANONICALIZE
 (3 3 (:TYPE-PRESCRIPTION FAST-ALIST-FREE))
 )
(ALISTP-OF-ALIST-CANONICALIZE)
(HONS-ASSOC-EQUAL-OF-ALIST-CANONICALIZE
 (34 2 (:DEFINITION HONS-ASSOC-EQUAL))
 (16 2 (:DEFINITION HONS-EQUAL))
 (14 2 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (9 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:REWRITE DEFAULT-CAR))
 (7 1 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 )
(ALIST-CANONICALIZE-UNDER-ALIST-EQUIV
 (34 2 (:DEFINITION HONS-ASSOC-EQUAL))
 (16 2 (:DEFINITION HONS-EQUAL))
 (14 2 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (9 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:REWRITE DEFAULT-CAR))
 (7 1 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 )
(SETP-OF-ALIST-CANONICALIZE)
(NO-DUPLICATE-KEYS-OF-ALIST-CANONICALIZE
 (7 1 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (5 2 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (3 3 (:TYPE-PRESCRIPTION SET::MERGESORT))
 (3 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(ALIST-CANONICALIZE-IDEMPOTENT
 (227 41 (:REWRITE SET::MERGESORT-SET-IDENTITY))
 (149 59 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (109 15 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (59 59 (:REWRITE SET::IN-SET))
 (42 14 (:REWRITE SET::EMPTY-SUBSET-2))
 (42 14 (:REWRITE SET::EMPTY-SUBSET))
 (40 40 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (16 16 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (4 4 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (4 4 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (4 4 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 )
(ELEMENT-LIST-P-OF-ALIST-CANONICALIZE)
(KEYVAL-ALIST-P-OF-ALIST-CANONICALIZE
 (74 10 (:REWRITE KEYTYPE-P-OF-CAAR-WHEN-KEYVAL-ALIST-P-WHEN-UNKNOWN-NIL))
 (70 11 (:REWRITE VALTYPE-P-OF-CDAR-WHEN-KEYVAL-ALIST-P-WHEN-UNKNOWN-NIL))
 (40 40 (:REWRITE DEFAULT-CAR))
 (22 22 (:REWRITE DEFAULT-CDR))
 (13 1 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (11 11 (:REWRITE VALTYPE-P-OF-CDAR-WHEN-KEYVAL-ALIST-P-WHEN-VALTYPE-P-NIL))
 (11 11 (:REWRITE VALTYPE-P-OF-CDAR-WHEN-KEYVAL-ALIST-P-WHEN-NOT-VALTYPE-P-NIL-AND-NOT-NEGATED))
 (10 10 (:REWRITE KEYTYPE-P-OF-CAAR-WHEN-KEYVAL-ALIST-P-WHEN-NOT-KEYTYPE-P-NIL-AND-NOT-NEGATED))
 (10 10 (:REWRITE KEYTYPE-P-OF-CAAR-WHEN-KEYVAL-ALIST-P-WHEN-KEYTYPE-P-NIL))
 (3 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(CANONICAL-ALIST-P)
(SETP-WHEN-CANONICAL-ALIST-P
 (6 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE SET::EMPTY-SET-UNIQUE))
 )
(NO-DUPLICATE-KEYS-WHEN-CANONICAL-ALIST-P
 (134 2 (:DEFINITION NO-DUPLICATESP-EQUAL))
 (62 2 (:DEFINITION MEMBER-EQUAL))
 (38 4 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (32 4 (:REWRITE SUBSETP-CAR-MEMBER))
 (32 4 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (24 8 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (18 18 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (16 16 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (16 16 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (16 4 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (8 8 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (8 8 (:TYPE-PRESCRIPTION <<))
 (8 8 (:REWRITE SET::IN-SET))
 (8 8 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (4 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (4 4 (:REWRITE SUBSETP-TRANS2))
 (4 4 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE SUBSETP-MEMBER . 4))
 (4 4 (:REWRITE SUBSETP-MEMBER . 3))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (4 4 (:REWRITE MEMBER-WHEN-ATOM))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 3))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:REWRITE DUPLICATES-P-BY-MEMBER))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 )
(ALISTP-WHEN-CANONICAL-ALIST-P
 (14 2 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (6 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 2 (:DEFINITION ALISTP))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(SETP-WHEN-CANONICAL-ALIST-P-RW)
(NO-DUPLICATE-KEYS-WHEN-CANONICAL-ALIST-P-RW)
(ALISTP-WHEN-CANONICAL-ALIST-P-RW)
(CANONICAL-ALIST-P-OF-ALIST-CANONICALIZE)
(ALIST-CANONICALIZE-WHEN-CANONICAL-ALIST-P)
(MEMBER-EQUAL-WHEN-SETP
 (3507 82 (:REWRITE SET::IN-TAIL))
 (2107 43 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (1098 1038 (:REWRITE DEFAULT-CDR))
 (903 43 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (558 558 (:REWRITE DEFAULT-CAR))
 (427 104 (:REWRITE SET::SFIX-WHEN-EMPTY))
 (315 57 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (220 37 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (105 27 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (55 37 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (26 26 (:REWRITE SUBSETP-MEMBER . 4))
 (26 26 (:REWRITE INTERSECTP-MEMBER . 3))
 (26 26 (:REWRITE INTERSECTP-MEMBER . 2))
 (25 25 (:REWRITE SUBSETP-MEMBER . 2))
 (8 1 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (5 5 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (4 4 (:REWRITE SUBSETP-TRANS2))
 (4 4 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 )
(HEAD-OF-DIFFERENCE-IN-Y
 (16 4 (:REWRITE SET::IN-TAIL))
 (13 3 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (8 4 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (8 4 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (6 2 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (6 2 (:REWRITE SET::NEVER-IN-EMPTY))
 (4 2 (:REWRITE SET::EMPTY-SUBSET-2))
 (4 2 (:REWRITE SET::EMPTY-SUBSET))
 (3 3 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 )
(HEAD-OF-DIFFERENCE-IN-X
 (12 2 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (8 2 (:REWRITE SET::IN-TAIL))
 (5 3 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (5 3 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (4 2 (:REWRITE SET::EMPTY-SUBSET-2))
 (4 2 (:REWRITE SET::EMPTY-SUBSET))
 (3 1 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (3 1 (:REWRITE SET::NEVER-IN-EMPTY))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (2 2 (:REWRITE SET::IN-TAIL-OR-HEAD))
 )
(SET-DIFF-WITNESS
 (38 14 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (29 17 (:REWRITE SET::EMPTY-SUBSET-2))
 (29 17 (:REWRITE SET::EMPTY-SUBSET))
 (17 17 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (14 14 (:REWRITE SET::IN-SET))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (9 3 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (3 1 (:REWRITE SET::EMPTY-SET-UNIQUE))
 )
(SET-DIFF-WITNESS-CORRECT
 (140 14 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (88 36 (:REWRITE SET::EMPTY-SUBSET-2))
 (88 36 (:REWRITE SET::EMPTY-SUBSET))
 (48 22 (:REWRITE SET::DIFFERENCE-EMPTY-Y))
 (48 22 (:REWRITE SET::DIFFERENCE-EMPTY-X))
 (36 36 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (25 7 (:REWRITE SET::IN-TAIL))
 (18 6 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (14 14 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (10 4 (:REWRITE SET::NEVER-IN-EMPTY))
 (9 3 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (3 1 (:REWRITE SET::EMPTY-SET-UNIQUE))
 )
(MEMBER-ATOM-WHEN-ALISTP
 (28 4 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (23 6 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (15 15 (:REWRITE DEFAULT-CAR))
 (13 6 (:REWRITE SUBSETP-MEMBER . 3))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (12 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:REWRITE SUBSETP-MEMBER . 4))
 (6 6 (:REWRITE SUBSETP-MEMBER . 2))
 (6 6 (:REWRITE SUBSETP-MEMBER . 1))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:REWRITE SET::IN-SET))
 (4 4 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (1 1 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (1 1 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 )
(CANONICAL-ALIST-KEY-DIFF
 (21 1 (:DEFINITION MEMBER-EQUAL))
 (13 3 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (12 3 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (7 7 (:REWRITE DEFAULT-CAR))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:TYPE-PRESCRIPTION <<))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE SUBSETP-MEMBER . 4))
 (3 3 (:REWRITE SUBSETP-MEMBER . 3))
 (3 3 (:REWRITE SUBSETP-MEMBER . 2))
 (3 3 (:REWRITE INTERSECTP-MEMBER . 3))
 (3 3 (:REWRITE INTERSECTP-MEMBER . 2))
 (3 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE MEMBER-WHEN-ATOM))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (1 1 (:REWRITE SET::IN-SET))
 )
(LOOKUP-OF-CANONICAL-ALIST-KEY-DIFF
 (740 58 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (625 20 (:DEFINITION MEMBER-EQUAL))
 (319 45 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (276 12 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (226 226 (:REWRITE DEFAULT-CAR))
 (220 22 (:REWRITE ALIST-KEYS-MEMBER-HONS-ASSOC-EQUAL))
 (180 18 (:REWRITE SUBSETP-CAR-MEMBER))
 (168 56 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (124 31 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (122 122 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (117 117 (:REWRITE DEFAULT-CDR))
 (96 96 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (92 92 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (90 15 (:DEFINITION ALISTP))
 (83 47 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (82 2 (:REWRITE CONSP-OF-HONS-ASSOC-EQUAL))
 (63 63 (:REWRITE SUBSETP-MEMBER . 2))
 (62 62 (:TYPE-PRESCRIPTION <<))
 (56 56 (:REWRITE SET::IN-SET))
 (54 54 (:REWRITE SUBSETP-TRANS2))
 (54 54 (:REWRITE SUBSETP-TRANS))
 (54 54 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (54 6 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (47 47 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (31 31 (:REWRITE SUBSETP-MEMBER . 4))
 (31 31 (:REWRITE INTERSECTP-MEMBER . 3))
 (31 31 (:REWRITE INTERSECTP-MEMBER . 2))
 (25 25 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (24 24 (:REWRITE MEMBER-WHEN-ATOM))
 (24 3 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (6 6 (:REWRITE DUPLICATES-P-BY-MEMBER))
 (2 2 (:REWRITE MEMBER-OF-HONS-ASSOC-EQUAL-MEMBER))
 )
(CANONICAL-ALISTP-WHEN-SETP-AND-NO-DUPLICATE-KEYS
 (758 24 (:DEFINITION MEMBER-EQUAL))
 (448 42 (:REWRITE HONS-ASSOC-EQUAL-WHEN-MEMBER-ALIST-KEYS))
 (309 46 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (247 94 (:REWRITE ALIST-CANONICALIZE-WHEN-CANONICAL-ALIST-P))
 (228 48 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (178 20 (:REWRITE SUBSETP-CAR-MEMBER))
 (168 56 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (150 16 (:REWRITE ALIST-KEYS-MEMBER-HONS-ASSOC-EQUAL))
 (150 6 (:REWRITE MEMBER-PAIR-IMPLIES-MEMBER-ALIST-KEYS))
 (130 14 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (124 124 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (106 58 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (103 58 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (96 96 (:TYPE-PRESCRIPTION <<))
 (82 2 (:REWRITE CONSP-OF-HONS-ASSOC-EQUAL))
 (80 80 (:REWRITE DEFAULT-CDR))
 (68 68 (:REWRITE SUBSETP-MEMBER . 2))
 (66 66 (:REWRITE SUBSETP-TRANS2))
 (66 66 (:REWRITE SUBSETP-TRANS))
 (66 66 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (58 40 (:REWRITE MEMBER-WHEN-ATOM))
 (56 56 (:REWRITE SET::IN-SET))
 (49 5 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (48 48 (:REWRITE SUBSETP-MEMBER . 4))
 (48 48 (:REWRITE INTERSECTP-MEMBER . 3))
 (48 48 (:REWRITE INTERSECTP-MEMBER . 2))
 (42 10 (:DEFINITION ALISTP))
 (36 36 (:REWRITE HONS-ASSOC-EQUAL-WHEN-ATOM))
 (23 23 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 (14 14 (:REWRITE DUPLICATES-P-BY-MEMBER))
 (1 1 (:REWRITE MEMBER-OF-HONS-ASSOC-EQUAL-MEMBER))
 )
(CANONICAL-ALIST-P-REDEF
 (65 1 (:DEFINITION NO-DUPLICATESP-EQUAL))
 (30 1 (:DEFINITION MEMBER-EQUAL))
 (21 4 (:DEFINITION ALISTP))
 (18 2 (:REWRITE NO-DUPLICATESP-WHEN-SETP))
 (16 2 (:REWRITE SUBSETP-CAR-MEMBER))
 (12 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (8 8 (:REWRITE DEFAULT-CAR))
 (8 2 (:REWRITE NOT-MEMBER-WHEN-SETP))
 (8 1 (:REWRITE SET::EMPTY-SET-UNIQUE))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-ALIST-KEYS))
 (7 7 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION <<))
 (4 4 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (2 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE SET::PICK-A-POINT-SUBSETP-EQUAL-STRATEGY))
 (2 2 (:REWRITE MEMBER-WHEN-ATOM))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE DUPLICATES-P-BY-MEMBER))
 (1 1 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE ALIST-KEYS-WHEN-ATOM))
 )
