(MAKE-LAMBDA-WITH-HINT
 (78 78 (:REWRITE DEFAULT-CDR))
 (33 17 (:REWRITE DEFAULT-+-2))
 (17 17 (:REWRITE DEFAULT-+-1))
 (12 12 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE EQUAL-OF-+-WHEN-NEGATIVE-CONSTANT))
 )
(MAKE-LAMBDA-WITH-HINT-OPENER)
(LAMBDA-FORMALS-OF-MAKE-LAMBDA-WITH-HINT)
(LAMBDA-BODY-OF-MAKE-LAMBDA-WITH-HINT)
(LOGIC-FNSP-OF-CONS-OF-MAKE-LAMBDA-WITH-HINT
 (18 14 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE DEFAULT-CAR))
 (8 2 (:DEFINITION LOGIC-FNS-LISTP))
 (8 1 (:REWRITE MAKE-LAMBDA-WITH-HINT-OPENER))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (5 1 (:DEFINITION TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION LOGICP))
 (2 2 (:REWRITE ARITIES-OKP-IMPLIES-LOGICP))
 )
