(DEFEVALUATOR+-FN
 (39 13 (:DEFINITION MEMBER-EQUAL))
 (26 26 (:REWRITE DEFAULT-CAR))
 (23 23 (:REWRITE DEFAULT-CDR))
 (21 4 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (10 4 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (8 8 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (6 2 (:REWRITE DEFAULT-COERCE-3))
 (6 2 (:DEFINITION BINARY-APPEND))
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (4 4 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (2 2 (:REWRITE DEFAULT-SYMBOL-NAME))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 (2 1 (:REWRITE DEFAULT-PKG-IMPORTS))
 (2 1 (:DEFINITION NTH))
 )
