(JVM::SET-CLASS-INFO)
(JVM::GET-CLASS-INFO-OF-SET-CLASS-INFO-SAME)
(JVM::GET-CLASS-INFO-OF-SET-CLASS-INFO-DIFF
 (8 4 (:REWRITE G-WHEN-NOT-IN-RKEYS-CHEAP))
 (6 1 (:REWRITE S-SAME-G-STRONG))
 (4 2 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 (2 2 (:REWRITE CLR-DIFFERENTIAL))
 )
(JVM::GET-CLASS-INFO-OF-SET-CLASS-INFO
 (8 4 (:REWRITE G-WHEN-NOT-IN-RKEYS-CHEAP))
 (6 3 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (6 1 (:REWRITE S-SAME-G-STRONG))
 (3 3 (:TYPE-PRESCRIPTION BOOLEANP))
 (3 3 (:REWRITE CLR-DIFFERENTIAL))
 )
(JVM::BOUND-IN-CLASS-TABLEP-OF-SET-CLASS-INFO
 (52 1 (:DEFINITION SET::DELETE))
 (38 10 (:REWRITE SET::IN-TAIL))
 (28 28 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (27 2 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (16 5 (:REWRITE SET::NEVER-IN-EMPTY))
 (14 14 (:REWRITE SET::SUBSET-IN-2))
 (13 2 (:REWRITE SET::INSERT-IDENTITY))
 (11 5 (:REWRITE SET::TAIL-WHEN-EMPTY))
 (10 2 (:REWRITE SET::INSERT-WHEN-EMPTY))
 (8 8 (:REWRITE SET::SUBSET-IN-2-ALT))
 (8 2 (:REWRITE INSERT-WHEN-EMPTY))
 (7 1 (:REWRITE EQUAL-EQUAL-A-HEAD-HACK))
 (6 2 (:REWRITE SET::DELETE-PRESERVES-EMPTY))
 (6 1 (:REWRITE S-SAME-G-STRONG))
 (6 1 (:DEFINITION IFF))
 (5 5 (:TYPE-PRESCRIPTION BOOLEANP))
 (5 5 (:REWRITE CLR-DIFFERENTIAL))
 (2 2 (:REWRITE SET::TAIL-PRESERVES-EMPTY))
 (2 2 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (2 2 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (2 2 (:REWRITE HEAD-WHEN-EMPTY))
 (2 1 (:REWRITE G-WHEN-NOT-IN-RKEYS-CHEAP))
 (1 1 (:REWRITE SUBSET-HACK))
 (1 1 (:REWRITE SET::HEAD-UNIQUE))
 )
(JVM::SET-CLASSES
 (21 7 (:REWRITE JVM::ALISTP-WHEN-METHOD-PROGRAMP))
 (15 4 (:REWRITE JVM::CONSP-OF-CAR-WHEN-FIELD-INFO-ALISTP))
 (14 14 (:TYPE-PRESCRIPTION JVM::METHOD-PROGRAMP))
 (10 10 (:TYPE-PRESCRIPTION JVM::FIELD-INFO-ALISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (7 7 (:REWRITE JVM::ALISTP-WHEN-JVM-INSTRUCTIONS-OKAYP))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL-TERM-ALISTP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE JVM::FIELD-INFO-ALISTP-OF-CDR))
 )
(JVM::GET-CLASS-INFO-OF-SET-CLASSES
 (162 81 (:TYPE-PRESCRIPTION SYMBOLP-OF-CAR-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-TYPE))
 (129 64 (:REWRITE DEFAULT-CAR))
 (113 113 (:TYPE-PRESCRIPTION SYMBOL-TERM-ALISTP))
 (74 28 (:REWRITE JVM::CONSP-OF-CAR-WHEN-FIELD-INFO-ALISTP))
 (56 28 (:REWRITE CONSP-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (47 32 (:REWRITE DEFAULT-CDR))
 (46 46 (:TYPE-PRESCRIPTION JVM::FIELD-INFO-ALISTP))
 (45 15 (:REWRITE JVM::ALISTP-WHEN-METHOD-PROGRAMP))
 (30 30 (:TYPE-PRESCRIPTION JVM::METHOD-PROGRAMP))
 (28 14 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (23 23 (:REWRITE WFR-HACK5))
 (15 15 (:REWRITE JVM::ALISTP-WHEN-JVM-INSTRUCTIONS-OKAYP))
 (14 14 (:TYPE-PRESCRIPTION BOOLEANP))
 (14 14 (:REWRITE CLR-DIFFERENTIAL))
 (8 4 (:REWRITE IFF-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 )
(JVM::BOUND-IN-CLASS-TABLEP-OF-SET-CLASSES
 (463 42 (:REWRITE JVM::BOUND-IN-CLASS-TABLEP-WHEN-BOUND-TO-A-NON-INTERFACEP))
 (421 20 (:DEFINITION JVM::BOUND-TO-A-NON-INTERFACEP))
 (207 9 (:REWRITE JVM::GET-CLASS-INFO-OF-SET-CLASSES))
 (173 68 (:REWRITE DEFAULT-CAR))
 (144 9 (:DEFINITION ALISTP))
 (140 70 (:TYPE-PRESCRIPTION SYMBOLP-OF-CAR-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-TYPE))
 (117 117 (:TYPE-PRESCRIPTION SYMBOL-TERM-ALISTP))
 (110 41 (:REWRITE JVM::CONSP-OF-CAR-WHEN-FIELD-INFO-ALISTP))
 (82 41 (:REWRITE CONSP-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (70 37 (:REWRITE DEFAULT-CDR))
 (66 66 (:TYPE-PRESCRIPTION JVM::FIELD-INFO-ALISTP))
 (54 18 (:REWRITE JVM::ALISTP-WHEN-METHOD-PROGRAMP))
 (42 42 (:REWRITE JVM::USE-ALL-BOUND-IN-CLASS-TABLEP))
 (42 42 (:REWRITE JVM::BOUND-IN-CLASS-TABLEP-WHEN-EQUAL-OF-GET-CLASS-INFO))
 (42 42 (:REWRITE JVM::BOUND-IN-CLASS-TABLEP-WHEN-ALL-KEYS-BOUND-TO-CLASS-INFOSP))
 (42 42 (:REWRITE JVM::BOUND-IN-CLASS-TABLEP-WHEN-ALL-BOUND-TO-A-NON-INTERFACEP))
 (40 40 (:TYPE-PRESCRIPTION JVM::BOUND-TO-A-NON-INTERFACEP))
 (38 38 (:TYPE-PRESCRIPTION JVM::CLASS-DECL-INTERFACEP))
 (36 36 (:TYPE-PRESCRIPTION JVM::METHOD-PROGRAMP))
 (26 26 (:REWRITE WFR-HACK5))
 (18 18 (:REWRITE JVM::ALISTP-WHEN-JVM-INSTRUCTIONS-OKAYP))
 (12 6 (:REWRITE IFF-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (9 3 (:REWRITE JVM::FIELD-INFO-ALISTP-OF-CDR))
 (7 7 (:TYPE-PRESCRIPTION BOOLEANP))
 (7 7 (:REWRITE CLR-DIFFERENTIAL))
 )
