(CLASS-NAMES-TO-PATHS
 (4 4 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(STRING-LISTP-OF-CLASS-NAMES-TO-PATHS
 (30 6 (:REWRITE DEFAULT-COERCE-1))
 (30 6 (:DEFINITION BINARY-APPEND))
 (24 6 (:REWRITE DEFAULT-COERCE-3))
 (15 15 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE DEFAULT-COERCE-2))
 (12 12 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE STRINGP-OF-TURN-DOTS-INTO-SLASHES))
 )
(EVENTS-FOR-CLASSES-FROM-ALIST
 (902 94 (:REWRITE BYTE-LISTP-OF-CDR))
 (480 141 (:REWRITE JVM::CONSP-OF-CAR-WHEN-FIELD-INFO-ALISTP))
 (391 58 (:REWRITE UNSIGNED-BYTE-P-OF-CAR-WHEN-ALL-UNSIGNED-BYTE-P))
 (318 318 (:TYPE-PRESCRIPTION JVM::FIELD-INFO-ALISTP))
 (260 53 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-FOR-CAR))
 (235 51 (:REWRITE BYTEP-OF-CAR-WHEN-BYTE-LISTP-2))
 (186 36 (:REWRITE ALL-UNSIGNED-BYTE-P-OF-CDR))
 (151 100 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (117 39 (:REWRITE JVM::ALISTP-WHEN-METHOD-PROGRAMP))
 (101 101 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-INTEGERP-WIDTH))
 (101 101 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NEGATIVE-WIDTH))
 (86 60 (:REWRITE USE-ALL-UNSIGNED-BYTE-P))
 (78 78 (:TYPE-PRESCRIPTION JVM::METHOD-PROGRAMP))
 (63 21 (:REWRITE JVM::FIELD-INFO-ALISTP-OF-CDR))
 (60 60 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-2))
 (39 39 (:REWRITE JVM::ALISTP-WHEN-JVM-INSTRUCTIONS-OKAYP))
 (31 31 (:REWRITE DEFAULT-<-2))
 (31 31 (:REWRITE DEFAULT-<-1))
 (26 26 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (25 25 (:REWRITE STRING-ENDS-WITHP-WHEN-NOT-STRINGP-ARG1))
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(TRUE-LISTP-OF-MV-NTH-1-OF-EVENTS-FOR-CLASSES-FROM-ALIST
 (111 54 (:REWRITE DEFAULT-CAR))
 (96 30 (:REWRITE JVM::CONSP-OF-CAR-WHEN-FIELD-INFO-ALISTP))
 (81 42 (:REWRITE DEFAULT-CDR))
 (62 62 (:TYPE-PRESCRIPTION JVM::FIELD-INFO-ALISTP))
 (47 7 (:DEFINITION REVAPPEND))
 (16 9 (:REWRITE DEFAULT-+-2))
 (14 14 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (14 14 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (12 12 (:REWRITE STRING-ENDS-WITHP-WHEN-NOT-STRINGP-ARG1))
 (12 4 (:REWRITE JVM::FIELD-INFO-ALISTP-OF-CDR))
 (9 9 (:REWRITE DEFAULT-+-1))
 (8 2 (:REWRITE FOLD-CONSTS-IN-+))
 (7 7 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (2 2 (:REWRITE CDR-CONS))
 (2 2 (:REWRITE CAR-CONS))
 )
(READ-JAR-FN
 (80 4 (:DEFINITION EVENTS-FOR-CLASSES-FROM-ALIST))
 (56 32 (:REWRITE DEFAULT-CDR))
 (54 30 (:REWRITE DEFAULT-CAR))
 (48 16 (:REWRITE JVM::CONSP-OF-CAR-WHEN-FIELD-INFO-ALISTP))
 (42 6 (:REWRITE DEFAULT-COERCE-3))
 (36 12 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (32 32 (:TYPE-PRESCRIPTION JVM::FIELD-INFO-ALISTP))
 (28 4 (:DEFINITION STRIP-CDRS))
 (28 4 (:DEFINITION STRIP-CARS))
 (20 20 (:REWRITE DEFAULT-COERCE-2))
 (18 14 (:REWRITE DEFAULT-COERCE-1))
 (16 4 (:DEFINITION PARSE-CLASS-FILE-BYTES))
 (12 4 (:REWRITE LOOKUP-EQ-BECOMES-LOOKUP-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION STRING-STARTS-WITHP))
 (4 4 (:TYPE-PRESCRIPTION STRING-ENDS-WITHP))
 (4 4 (:REWRITE STRING-ENDS-WITHP-WHEN-NOT-STRINGP-ARG1))
 (4 4 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (4 4 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (4 4 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 )
