(HANDLE-CONSTANT-LITERALS
 (29 29 (:REWRITE DEFAULT-CAR))
 (20 20 (:REWRITE DEFAULT-CDR))
 (18 18 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (10 10 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 )
(IF-EVAL-OF-DISJOIN-OF-HANDLE-CONSTANT-LITERALS
 (1400 1384 (:REWRITE DEFAULT-CDR))
 (1311 1311 (:REWRITE DEFAULT-CAR))
 (834 94 (:REWRITE NOT-IF-EVAL-WHEN-ALL-EVAL-TO-FALSE-WITH-IF-EVAL-AND-MEMBER-EQUAL))
 (591 70 (:DEFINITION MEMBER-EQUAL))
 (359 359 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (282 99 (:REWRITE ALL-EVAL-TO-FALSE-WITH-IF-EVAL-WHEN-NOT-CONSP))
 (113 73 (:REWRITE IF-EVAL-OF-LAMBDA-BETTER))
 (73 73 (:REWRITE IF-EVAL-WHEN-ALL-EVAL-TO-TRUE-WITH-IF-EVAL-AND-MEMBER-EQUAL))
 (26 26 (:REWRITE IF-EVAL-OF-VARIABLE))
 )
(PSEUDO-TERM-LISTP-OF-HANDLE-CONSTANT-LITERALS
 (107 105 (:REWRITE DEFAULT-CAR))
 (79 77 (:REWRITE DEFAULT-CDR))
 (65 65 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (40 40 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (30 6 (:DEFINITION LEN))
 (14 14 (:TYPE-PRESCRIPTION LEN))
 (12 6 (:REWRITE DEFAULT-+-2))
 (6 6 (:REWRITE DEFAULT-+-1))
 (6 2 (:DEFINITION SYMBOL-LISTP))
 (4 2 (:DEFINITION TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(TERM-LISTP-OF-HANDLE-CONSTANT-LITERALS
 (131 129 (:REWRITE DEFAULT-CAR))
 (111 109 (:REWRITE DEFAULT-CDR))
 (90 8 (:DEFINITION LENGTH))
 (70 14 (:DEFINITION LEN))
 (34 2 (:DEFINITION ARGLISTP))
 (30 30 (:TYPE-PRESCRIPTION LEN))
 (28 14 (:REWRITE DEFAULT-+-2))
 (18 2 (:DEFINITION SET-DIFFERENCE-EQUAL))
 (16 2 (:DEFINITION NO-DUPLICATESP-EQUAL))
 (14 14 (:REWRITE DEFAULT-+-1))
 (14 6 (:DEFINITION MEMBER-EQUAL))
 (14 2 (:DEFINITION ARGLISTP1))
 (12 2 (:DEFINITION ALL-VARS))
 (10 2 (:DEFINITION ALL-VARS1))
 (7 7 (:REWRITE LEGAL-VARIABLE-OR-CONSTANT-NAMEP-IMPLIES-SYMBOLP))
 (6 6 (:REWRITE DEFAULT-COERCE-2))
 (6 6 (:REWRITE DEFAULT-COERCE-1))
 (4 4 (:TYPE-PRESCRIPTION SET-DIFFERENCE-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION ARGLISTP1))
 (4 2 (:DEFINITION TRUE-LISTP))
 (4 2 (:DEFINITION ADD-TO-SET-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION NO-DUPLICATESP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION ARITY))
 (2 2 (:REWRITE ARITIES-OKP-IMPLIES-ARITY))
 )
(LOGIC-FNS-LISTP-OF-HANDLE-CONSTANT-LITERALS
 (91 89 (:REWRITE DEFAULT-CAR))
 (62 60 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION LOGICP))
 (2 2 (:REWRITE ARITIES-OKP-IMPLIES-LOGICP))
 )
(HANDLE-CONSTANT-LITERALS-CLAUSE-PROCESSOR)
(HANDLE-CONSTANT-LITERALS-CLAUSE-PROCESSOR-CORRECT)
(ALL-EVAL-TO-FALSE-WITH-IF-EVAL-OF-HANDLE-CONSTANT-LITERALS
 (963 959 (:REWRITE DEFAULT-CDR))
 (428 316 (:DEFINITION DISJOIN2))
 (142 79 (:REWRITE ALL-EVAL-TO-FALSE-WITH-IF-EVAL-WHEN-NOT-CONSP))
 (28 15 (:REWRITE IF-EVAL-OF-LAMBDA-BETTER))
 (25 15 (:REWRITE IF-EVAL-OF-IF-CALL))
 (15 15 (:REWRITE IF-EVAL-WHEN-ALL-EVAL-TO-TRUE-WITH-IF-EVAL-AND-MEMBER-EQUAL))
 (12 12 (:REWRITE IF-EVAL-OF-VARIABLE))
 (12 4 (:REWRITE CONS-EQUAL))
 )
