(MAKE-LAMBDA-NEST
 (934 934 (:REWRITE DEFAULT-CAR))
 (328 164 (:REWRITE DEFAULT-+-2))
 (258 103 (:REWRITE PSEUDO-TERM-LISTP-WHEN-SYMBOL-LISTP-CHEAP-2))
 (244 244 (:TYPE-PRESCRIPTION MAKE-LAMBDA-NEST))
 (234 31 (:REWRITE FREE-VARS-IN-TERM-WHEN-QUOTEP))
 (196 28 (:DEFINITION REMOVE1-EQUAL))
 (174 29 (:DEFINITION QUOTEP))
 (164 164 (:REWRITE DEFAULT-+-1))
 (162 76 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP-CHEAP))
 (142 72 (:REWRITE PSEUDO-TERMP-OF-CAR-WHEN-PSEUDO-TERM-LISTP-CHEAP))
 (142 72 (:REWRITE PSEUDO-TERM-LISTP-OF-CDR-WHEN-PSEUDO-TERM-LISTP-CHEAP))
 (126 126 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (120 24 (:DEFINITION MEMBER-EQUAL))
 (104 52 (:DEFINITION TRUE-LISTP))
 (94 94 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (62 31 (:REWRITE FREE-VARS-IN-TERM-WHEN-NOT-CONSP-CHEAP))
 (57 57 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-1))
 (29 29 (:TYPE-PRESCRIPTION QUOTEP))
 )
(PSEUDO-TERMP-OF-MAKE-LAMBDA-NEST
 (312 312 (:REWRITE DEFAULT-CAR))
 (271 271 (:REWRITE DEFAULT-CDR))
 (114 114 (:TYPE-PRESCRIPTION MAKE-LAMBDA-NEST))
 (112 56 (:REWRITE DEFAULT-+-2))
 (112 14 (:REWRITE FREE-VARS-IN-TERM-WHEN-QUOTEP))
 (107 41 (:REWRITE PSEUDO-TERM-LISTP-WHEN-SYMBOL-LISTP-CHEAP-2))
 (84 14 (:DEFINITION QUOTEP))
 (56 56 (:REWRITE DEFAULT-+-1))
 (53 24 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP-CHEAP))
 (49 7 (:DEFINITION REMOVE1-EQUAL))
 (48 25 (:REWRITE PSEUDO-TERMP-OF-CAR-WHEN-PSEUDO-TERM-LISTP-CHEAP))
 (48 25 (:REWRITE PSEUDO-TERM-LISTP-OF-CDR-WHEN-PSEUDO-TERM-LISTP-CHEAP))
 (43 43 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (36 36 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (32 16 (:DEFINITION TRUE-LISTP))
 (28 14 (:REWRITE FREE-VARS-IN-TERM-WHEN-NOT-CONSP-CHEAP))
 (19 19 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-1))
 (14 14 (:TYPE-PRESCRIPTION QUOTEP))
 )
