(JAVA::ATJ-CACHE-CONST-METHODS
 (243 6 (:DEFINITION MEMBER-EQUAL))
 (198 6 (:REWRITE JAVA::JSTATEMP-WHEN-MEMBER-EQUAL-OF-JBLOCKP))
 (165 2 (:REWRITE JAVA::JBLOCKP-WHEN-SUBSETP-EQUAL))
 (155 2 (:REWRITE SUBSETP-OF-CONS))
 (99 2 (:REWRITE JAVA::EQUAL-OF-JSTATEM-RETURN))
 (42 6 (:DEFINITION LEN))
 (32 2 (:REWRITE JAVA::EQUAL-OF-JEXPR-NAME))
 (28 28 (:TYPE-PRESCRIPTION JAVA::JBLOCK-CONTINUE))
 (28 28 (:TYPE-PRESCRIPTION JAVA::JBLOCK-BREAK))
 (26 9 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (25 19 (:REWRITE DEFAULT-CDR))
 (23 23 (:REWRITE SUBSETP-TRANS2))
 (23 23 (:REWRITE SUBSETP-TRANS))
 (21 12 (:REWRITE DEFAULT-CAR))
 (19 9 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (18 2 (:REWRITE JAVA::MAYBE-JEXPR-FIX-WHEN-MAYBE-JEXPRP))
 (13 13 (:REWRITE SUBSETP-MEMBER . 2))
 (13 13 (:REWRITE SUBSETP-MEMBER . 1))
 (12 6 (:REWRITE DEFAULT-+-2))
 (6 6 (:TYPE-PRESCRIPTION JAVA::JEXPR-KIND$INLINE))
 (6 6 (:REWRITE DEFAULT-+-1))
 (5 5 (:REWRITE JAVA::JBLOCKP-OF-JBLOCK-CONTINUE))
 (4 4 (:TYPE-PRESCRIPTION JAVA::JEXPR-NAME->GET$INLINE))
 (4 4 (:REWRITE JAVA::JEXPRP-WHEN-MEMBER-EQUAL-OF-JEXPR-LISTP))
 (4 4 (:REWRITE JAVA::JBLOCKP-OF-JBLOCK-BREAK))
 (4 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (4 2 (:REWRITE JAVA::MAYBE-JEXPR-FIX-WHEN-NONE))
 (2 2 (:REWRITE SUBSETP-NIL))
 (2 2 (:REWRITE JAVA::JMETHODP-WHEN-MEMBER-EQUAL-OF-JMETHOD-LISTP))
 (2 2 (:REWRITE JAVA::JFIELDP-WHEN-MEMBER-EQUAL-OF-JFIELD-LISTP))
 (2 2 (:REWRITE JAVA::JCBODY-ELEMENT-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE JAVA::JBLOCKP-WHEN-MEMBER-EQUAL-OF-JBLOCK-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT JAVA::JACCESS-FIX-UNDER-JACCESS-EQUIV))
 (1 1 (:REWRITE JAVA::JBLOCKP-WHEN-NOT-CONSP))
 )
(JAVA::JCBODY-ELEMENT-LISTP-OF-ATJ-CACHE-CONST-METHODS
 (758 17 (:DEFINITION MEMBER-EQUAL))
 (727 10 (:REWRITE SUBSETP-OF-CONS))
 (495 313 (:REWRITE DEFAULT-CAR))
 (448 3 (:REWRITE JAVA::EQUAL-OF-JCBODY-ELEMENT-MEMBER))
 (329 7 (:REWRITE JAVA::JCBODY-ELEMENT-FIX-WHEN-JCBODY-ELEMENT-P))
 (284 2 (:REWRITE JAVA::EQUAL-OF-JCMEMBER-METHOD))
 (273 78 (:REWRITE JAVA::JCBODY-ELEMENT-LISTP-WHEN-NOT-CONSP))
 (245 17 (:REWRITE JAVA::JCBODY-ELEMENT-P-WHEN-MEMBER-EQUAL-OF-JCBODY-ELEMENT-LISTP))
 (232 2 (:REWRITE JAVA::EQUAL-OF-JMETHOD))
 (127 17 (:REWRITE SUBSETP-CAR-MEMBER))
 (113 44 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (101 78 (:REWRITE DEFAULT-CDR))
 (97 97 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (97 44 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (84 7 (:REWRITE JAVA::JCBODY-ELEMENT-P-OF-CAR-WHEN-JCBODY-ELEMENT-LISTP))
 (77 1 (:REWRITE JAVA::EQUAL-OF-JCMEMBER-FIELD))
 (74 74 (:REWRITE SUBSETP-TRANS2))
 (74 74 (:REWRITE SUBSETP-TRANS))
 (60 30 (:REWRITE DEFAULT-+-2))
 (51 1 (:REWRITE JAVA::EQUAL-OF-JFIELD))
 (34 34 (:REWRITE SUBSETP-MEMBER . 2))
 (34 34 (:REWRITE SUBSETP-MEMBER . 1))
 (32 32 (:TYPE-PRESCRIPTION JAVA::JMETHOD->RESULT$INLINE))
 (32 32 (:TYPE-PRESCRIPTION JAVA::JMETHOD->ACCESS$INLINE))
 (30 30 (:REWRITE DEFAULT-+-1))
 (24 12 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (20 2 (:REWRITE JAVA::JBLOCK-FIX-OF-CONS))
 (18 18 (:TYPE-PRESCRIPTION JAVA::JMETHOD->NAME$INLINE))
 (18 18 (:TYPE-PRESCRIPTION JAVA::JCBODY-ELEMENT-MEMBER->GET$INLINE))
 (15 3 (:REWRITE JAVA::JCMEMBER-FIX-WHEN-JCMEMBERP))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD->SYNCHRONIZED?$INLINE))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD->STRICTFP?$INLINE))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD->STATIC?$INLINE))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD->NATIVE?$INLINE))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD->FINAL?$INLINE))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD->ABSTRACT?$INLINE))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JMETHOD))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JCMEMBER-METHOD))
 (14 14 (:TYPE-PRESCRIPTION JAVA::JCBODY-ELEMENT-P))
 (14 2 (:REWRITE JAVA::JMETHOD-FIX-WHEN-JMETHODP))
 (12 12 (:TYPE-PRESCRIPTION JAVA::JMETHOD->THROWS$INLINE))
 (12 12 (:TYPE-PRESCRIPTION JAVA::JCMEMBER-METHOD->GET$INLINE))
 (10 2 (:REWRITE JAVA::JSTATEM-FIX-WHEN-JSTATEMP))
 (10 2 (:REWRITE JAVA::JRESULT-FIX-WHEN-JRESULTP))
 (10 2 (:REWRITE JAVA::JACCESS-FIX-WHEN-JACCESSP))
 (9 9 (:TYPE-PRESCRIPTION JAVA::JRESULT-TYPE->GET$INLINE))
 (8 8 (:TYPE-PRESCRIPTION JAVA::JACCESS-KIND$INLINE))
 (7 7 (:TYPE-PRESCRIPTION JAVA::JFIELD->TYPE$INLINE))
 (7 7 (:TYPE-PRESCRIPTION JAVA::JFIELD->ACCESS$INLINE))
 (7 7 (:TYPE-PRESCRIPTION JAVA::JFIELD))
 (7 7 (:TYPE-PRESCRIPTION JAVA::JCMEMBER-FIELD))
 (7 1 (:REWRITE JAVA::JFIELD-FIX-WHEN-JFIELDP))
 (6 6 (:TYPE-PRESCRIPTION JAVA::JCMEMBER-FIELD->GET$INLINE))
 (6 3 (:REWRITE STR-FIX-WHEN-STRINGP))
 (6 2 (:REWRITE STR::STRING-LIST-FIX-WHEN-STRING-LISTP))
 (5 1 (:REWRITE JAVA::JTYPE-FIX-WHEN-JTYPEP))
 (4 4 (:TYPE-PRESCRIPTION JAVA::JSTATEM-RETURN))
 (4 4 (:REWRITE JAVA::JMETHODP-WHEN-MEMBER-EQUAL-OF-JMETHOD-LISTP))
 (4 2 (:REWRITE JAVA::JSTATEM-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE JAVA::JSTATEM-FIX-WHEN-BREAK))
 (4 2 (:REWRITE JAVA::JACCESS-FIX-WHEN-PUBLIC))
 (4 2 (:REWRITE JAVA::JACCESS-FIX-WHEN-PROTECTED))
 (4 2 (:REWRITE JAVA::JACCESS-FIX-WHEN-PRIVATE))
 (4 2 (:REWRITE JAVA::JACCESS-FIX-WHEN-DEFAULT))
 (3 3 (:TYPE-PRESCRIPTION JAVA::JFIELD->VOLATILE?$INLINE))
 (3 3 (:TYPE-PRESCRIPTION JAVA::JFIELD->TRANSIENT?$INLINE))
 (3 3 (:TYPE-PRESCRIPTION JAVA::JFIELD->STATIC?$INLINE))
 (3 3 (:TYPE-PRESCRIPTION JAVA::JFIELD->NAME$INLINE))
 (3 3 (:TYPE-PRESCRIPTION JAVA::JFIELD->FINAL?$INLINE))
 (3 3 (:TYPE-PRESCRIPTION JAVA::JCMEMBERP))
 (3 3 (:REWRITE JAVA::JCMEMBERP-OF-JCBODY-ELEMENT-MEMBER->GET))
 (3 1 (:REWRITE JAVA::MAYBE-JEXPR-FIX-WHEN-MAYBE-JEXPRP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::JSTATEMP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::JRESULTP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::JMETHODP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::JFIELD->INIT?$INLINE))
 (2 2 (:TYPE-PRESCRIPTION JAVA::JACCESSP))
 (2 2 (:REWRITE JAVA::STRING-LISTP-OF-JMETHOD->THROWS))
 (2 2 (:REWRITE JAVA::RETURN-TYPE-OF-JSTATEM-RETURN))
 (2 2 (:REWRITE JAVA::RETURN-TYPE-OF-JCMEMBER-METHOD))
 (2 2 (:REWRITE JAVA::JRESULTP-OF-JMETHOD->RESULT))
 (2 2 (:REWRITE JAVA::JRESULT-FIX-WHEN-VOID))
 (2 2 (:REWRITE JAVA::JMETHODP-OF-JMETHOD))
 (2 2 (:REWRITE JAVA::JMETHODP-OF-JCMEMBER-METHOD->GET))
 (2 2 (:REWRITE JAVA::JFIELDP-WHEN-MEMBER-EQUAL-OF-JFIELD-LISTP))
 (2 2 (:REWRITE JAVA::JACCESSP-OF-JMETHOD->ACCESS))
 (1 1 (:TYPE-PRESCRIPTION JAVA::MAYBE-JEXPRP))
 (1 1 (:TYPE-PRESCRIPTION JAVA::JTYPEP))
 (1 1 (:TYPE-PRESCRIPTION JAVA::JFIELDP))
 (1 1 (:REWRITE JAVA::RETURN-TYPE-OF-JCMEMBER-FIELD))
 (1 1 (:REWRITE JAVA::MAYBE-JEXPRP-OF-JSTATEM-RETURN->EXPR?))
 (1 1 (:REWRITE JAVA::MAYBE-JEXPR-FIX-WHEN-NONE))
 (1 1 (:REWRITE JAVA::JTYPEP-OF-JRESULT-TYPE->GET))
 (1 1 (:REWRITE JAVA::JFIELDP-OF-JFIELD))
 (1 1 (:REWRITE JAVA::JFIELDP-OF-JCMEMBER-FIELD->GET))
 )
