(SYMBOL-LISTP-OF-SET-DIFFERENCE-EQUAL-ALT
 (32 31 (:REWRITE DEFAULT-CAR))
 (21 20 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-APPEND2
 (76 38 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (51 43 (:REWRITE DEFAULT-CAR))
 (46 38 (:REWRITE DEFAULT-CDR))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(SYMBOL-LISTP-OF-UNION-EQUAL-ALT
 (213 203 (:REWRITE DEFAULT-CAR))
 (188 179 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-INTERSECTION-EQUAL
 (215 210 (:REWRITE DEFAULT-CAR))
 (160 155 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-ADD-TO-SET-EQUAL
 (25 25 (:REWRITE DEFAULT-CAR))
 (14 14 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-CDR
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(SYMBOL-LISTP-OF-CONS
 (8 2 (:REWRITE SYMBOL-LISTP-OF-CDR))
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(SYMBOL-LISTP-OF-TRUE-LIST-FIX
 (7 7 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE DEFAULT-CDR))
 )
(SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP-CHEAP)
(SYMBOL-LISTP-OF-TAKE-SIMPLE
 (4 4 (:REWRITE ZP-OPEN))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 )
(SYMBOL-LISTP-OF-NTHCDR-SIMPLE
 (6 2 (:REWRITE COMMUTATIVITY-OF-+))
 (4 4 (:REWRITE ZP-OPEN))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-REVAPPEND
 (223 16 (:REWRITE SYMBOL-LISTP-OF-TRUE-LIST-FIX))
 (70 58 (:REWRITE DEFAULT-CAR))
 (68 56 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-REVERSE
 (3 1 (:DEFINITION TRUE-LIST-FIX))
 (3 1 (:DEFINITION REVAPPEND))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(SYMBOL-LISTP-OF-REMOVE-EQUAL
 (15 15 (:REWRITE DEFAULT-CAR))
 (11 11 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-REMOVE1-EQUAL
 (9 9 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-LISTP-OF-REMOVE-DUPLICATES-EQUAL
 (16 16 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE DEFAULT-CAR))
 )
(TRUE-LISTP-WHEN-SYMBOL-LISTP)
(TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-UNLIMITED)
(SYMBOLP-OF-CAR-OF-LAST-WHEN-SYMBOL-LISTP
 (17 9 (:REWRITE DEFAULT-CAR))
 (17 7 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP-CHEAP))
 (10 10 (:REWRITE DEFAULT-CDR))
 (8 2 (:REWRITE SYMBOL-LISTP-OF-CDR))
 )
(SYMBOLP-OF-NTH-WHEN-SYMBOL-LISTP
 (4 4 (:REWRITE ZP-OPEN))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 )
(SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-1
 (44 44 (:REWRITE DEFAULT-CDR))
 (43 43 (:REWRITE DEFAULT-CAR))
 (15 5 (:REWRITE SYMBOL-LISTP-OF-CDR))
 )
(SYMBOLP-WHEN-MEMBER-EQUAL-AND-SYMBOL-LISTP
 (10 2 (:REWRITE SYMBOL-LISTP-OF-CDR))
 (7 7 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-1))
 (7 7 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
