(ARM::LOOKUP-EQ2)
(ARM::LET-BINDINGS-FOR-ENCODING-FIELDS
 (26 26 (:REWRITE DEFAULT-CDR))
 (20 4 (:DEFINITION LEN))
 (14 14 (:REWRITE DEFAULT-CAR))
 (8 4 (:REWRITE DEFAULT-+-2))
 (8 4 (:DEFINITION TRUE-LISTP))
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE DEFAULT-+-1))
 )
(ARM::DEF-INST-FN
 (432 207 (:REWRITE TO-STRING-WHEN-STRINGP))
 (360 180 (:REWRITE DEFAULT-COERCE-1))
 (288 288 (:REWRITE DEFAULT-CDR))
 (225 45 (:DEFINITION LEN))
 (216 216 (:REWRITE DEFAULT-COERCE-2))
 (207 162 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (198 153 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-SYMBOL-NAME))
 (171 162 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (162 162 (:REWRITE DEFAULT-SYMBOL-NAME))
 (153 153 (:REWRITE DEFAULT-CAR))
 (108 36 (:REWRITE DEFAULT-COERCE-3))
 (90 45 (:REWRITE DEFAULT-+-2))
 (90 45 (:DEFINITION TRUE-LISTP))
 (45 45 (:REWRITE DEFAULT-<-2))
 (45 45 (:REWRITE DEFAULT-<-1))
 (45 45 (:REWRITE DEFAULT-+-1))
 (36 36 (:TYPE-PRESCRIPTION STRINGP-SYMBOL-PACKAGE-NAME))
 (36 36 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (9 9 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (9 9 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (9 9 (:REWRITE LOOKUP-EQUAL-OF-CONS-SAFE))
 (9 9 (:REWRITE LOOKUP-EQUAL-OF-CONS-OF-CONS-SAFE))
 (9 9 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 )
