(UNION-EQUAL-OF-NIL-ARG1
 (11 11 (:TYPE-PRESCRIPTION UNION-EQUAL))
 )
(UNION-EQUAL-OF-NIL-ARG2
 (9 9 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(TRUE-LISTP-OF-UNION-EQUAL
 (180 180 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (26 25 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE DEFAULT-CAR))
 )
(TRUE-LISTP-OF-UNION-EQUAL-TYPE)
(UNION-EQUAL-IFF
 (332 166 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (166 166 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (30 30 (:REWRITE DEFAULT-CAR))
 (22 22 (:REWRITE DEFAULT-CDR))
 )
(CONSP-OF-UNION-EQUAL
 (384 192 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (192 192 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (192 192 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (33 33 (:REWRITE DEFAULT-CAR))
 (25 25 (:REWRITE DEFAULT-CDR))
 )
(UNION-EQUAL-OF-CONS
 (33 33 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (21 7 (:DEFINITION MEMBER-EQUAL))
 (17 17 (:REWRITE DEFAULT-CDR))
 (17 17 (:REWRITE DEFAULT-CAR))
 )
(MEMBER-EQUAL-OF-UNION-EQUAL
 (288 144 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (287 160 (:REWRITE DEFAULT-CAR))
 (251 127 (:REWRITE DEFAULT-CDR))
 (144 144 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (144 144 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(UNION-EQUAL-ASSOCIATIVE
 (1782 1362 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (240 114 (:REWRITE DEFAULT-CDR))
 (188 125 (:REWRITE DEFAULT-CAR))
 )
(UNION-EQUAL-WHEN-NOT-CONSP-ARG1-CHEAP
 (38 19 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (19 19 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (19 19 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(UNION-EQUAL-WHEN-NOT-CONSP-ARG2-CHEAP
 (352 176 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (346 346 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (340 170 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (176 176 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (170 170 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (11 11 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(UNION-EQUAL-WHEN-SUBSETP-EQUAL
 (466 233 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (233 233 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (233 233 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (28 28 (:REWRITE DEFAULT-CAR))
 (19 19 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE UNION-EQUAL-WHEN-NOT-CONSP-ARG2-CHEAP))
 )
(SUBSETP-EQUAL-OF-CONS-ARG2
 (43 43 (:REWRITE DEFAULT-CAR))
 (22 22 (:REWRITE DEFAULT-CDR))
 )
(SUBSETP-EQUAL-OF-UNION-EQUAL-ARG2
 (195 15 (:DEFINITION UNION-EQUAL))
 (121 121 (:REWRITE DEFAULT-CAR))
 (100 100 (:REWRITE DEFAULT-CDR))
 (45 45 (:REWRITE UNION-EQUAL-WHEN-NOT-CONSP-ARG2-CHEAP))
 (45 45 (:REWRITE UNION-EQUAL-WHEN-NOT-CONSP-ARG1-CHEAP))
 )
(SUBSETP-EQUAL-SELF
 (22 22 (:REWRITE DEFAULT-CAR))
 (19 19 (:REWRITE DEFAULT-CDR))
 )
(UNION-EQUAL-OF-UNION-EQUAL-SAME-ARG1-ARG1
 (132 55 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (94 2 (:DEFINITION UNION-EQUAL))
 (77 55 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (70 5 (:DEFINITION SUBSETP-EQUAL))
 (55 55 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (36 7 (:DEFINITION MEMBER-EQUAL))
 (27 27 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (16 16 (:REWRITE DEFAULT-CDR))
 (16 16 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE UNION-EQUAL-WHEN-NOT-CONSP-ARG2-CHEAP))
 (6 6 (:REWRITE UNION-EQUAL-WHEN-NOT-CONSP-ARG1-CHEAP))
 )
