(READ-AND-PARSE-CLASS-FILE
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 1 (:REWRITE UNSIGNED-BYTE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-UNSIGNED-BYTE-LISTP-CHEAP))
 (1 1 (:LINEAR POSITION-EQUAL-BOUND))
 )
(CLASS-NAMEP-OF-MV-NTH-1-OF-READ-AND-PARSE-CLASS-FILE
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 )
(CLASS-INFOP0-OF-MV-NTH-2-OF-READ-AND-PARSE-CLASS-FILE
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 )
(CLASS-INFOP-OF-MV-NTH-2-OF-READ-AND-PARSE-CLASS-FILE
 (3 3 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (3 3 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 )
(TRUE-LISTP-OF-MV-NTH-3-OF-READ-AND-PARSE-CLASS-FILE
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (2 2 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 )
(READ-AND-PARSE-CLASS-FILE-WITH-DIR)
(CLASS-NAMEP-OF-MV-NTH-1-OF-READ-AND-PARSE-CLASS-FILE-WITH-DIR
 (30 30 (:TYPE-PRESCRIPTION INCLUDE-BOOK-DIR$))
 (23 5 (:REWRITE DEFAULT-COERCE-3))
 (18 6 (:REWRITE CONSP-OF-COERCE))
 (16 16 (:REWRITE DEFAULT-COERCE-2))
 (13 11 (:REWRITE DEFAULT-COERCE-1))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (10 2 (:REWRITE DEFAULT-CDR))
 (10 2 (:REWRITE DEFAULT-CAR))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (1 1 (:REWRITE USE-ALL-CLASS-NAMESP-2))
 (1 1 (:REWRITE USE-ALL-CLASS-NAMESP))
 )
(CLASS-INFOP0-OF-MV-NTH-2-OF-READ-AND-PARSE-CLASS-FILE-WITH-DIR
 (30 30 (:TYPE-PRESCRIPTION INCLUDE-BOOK-DIR$))
 (23 5 (:REWRITE DEFAULT-COERCE-3))
 (18 6 (:REWRITE CONSP-OF-COERCE))
 (16 16 (:REWRITE DEFAULT-COERCE-2))
 (13 11 (:REWRITE DEFAULT-COERCE-1))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (10 2 (:REWRITE DEFAULT-CDR))
 (10 2 (:REWRITE DEFAULT-CAR))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (1 1 (:REWRITE JVM::CLASS-INFOP0-WHEN-CLASS-INFOP))
 )
(CLASS-INFOP-OF-MV-NTH-2-OF-READ-AND-PARSE-CLASS-FILE-WITH-DIR
 (45 45 (:TYPE-PRESCRIPTION INCLUDE-BOOK-DIR$))
 (35 8 (:REWRITE DEFAULT-COERCE-3))
 (27 9 (:REWRITE CONSP-OF-COERCE))
 (25 25 (:REWRITE DEFAULT-COERCE-2))
 (20 17 (:REWRITE DEFAULT-COERCE-1))
 (18 9 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (15 3 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE DEFAULT-CAR))
 (9 9 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (3 1 (:REWRITE JVM::CLASS-INFOP-WHEN-NORMAL-CLASS-INFOP))
 (2 2 (:TYPE-PRESCRIPTION JVM::NORMAL-CLASS-INFOP))
 )
(TRUE-LISTP-OF-MV-NTH-3-OF-READ-AND-PARSE-CLASS-FILE-WITH-DIR
 (30 30 (:TYPE-PRESCRIPTION INCLUDE-BOOK-DIR$))
 (23 5 (:REWRITE DEFAULT-COERCE-3))
 (18 6 (:REWRITE CONSP-OF-COERCE))
 (16 16 (:REWRITE DEFAULT-COERCE-2))
 (13 11 (:REWRITE DEFAULT-COERCE-1))
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (10 2 (:REWRITE DEFAULT-CDR))
 (10 2 (:REWRITE DEFAULT-CAR))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(SHOW-CLASS-INFO-FN)
