(HEX-CHARS-TO-BYTES
 (101 45 (:REWRITE DEFAULT-+-2))
 (64 45 (:REWRITE DEFAULT-+-1))
 (39 37 (:REWRITE DEFAULT-CDR))
 (32 8 (:DEFINITION INTEGER-ABS))
 (32 4 (:DEFINITION LENGTH))
 (29 25 (:REWRITE DEFAULT-CAR))
 (20 4 (:DEFINITION LEN))
 (12 9 (:REWRITE DEFAULT-<-2))
 (10 9 (:REWRITE DEFAULT-<-1))
 (8 8 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 3 (:DEFINITION TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION LEN))
 (4 4 (:REWRITE DEFAULT-REALPART))
 (4 4 (:REWRITE DEFAULT-NUMERATOR))
 (4 4 (:REWRITE DEFAULT-IMAGPART))
 (4 4 (:REWRITE DEFAULT-DENOMINATOR))
 (4 4 (:REWRITE DEFAULT-COERCE-2))
 (4 4 (:REWRITE DEFAULT-COERCE-1))
 (4 2 (:REWRITE INTEGERP-OF-CAR-WHEN-ALL-INTEGERP-CHEAP))
 (4 2 (:REWRITE DEFAULT-*-2))
 (2 2 (:TYPE-PRESCRIPTION ALL-INTEGERP))
 (2 2 (:REWRITE DEFAULT-*-1))
 )
(ALL-UNSIGNED-BYTE-P-OF-MV-NTH-1-OF-HEX-CHARS-TO-BYTES
 (252 185 (:REWRITE DEFAULT-CDR))
 (192 24 (:DEFINITION REVAPPEND))
 (168 128 (:REWRITE DEFAULT-CAR))
 (82 41 (:REWRITE DEFAULT-+-2))
 (82 41 (:REWRITE DEFAULT-+-1))
 (50 25 (:REWRITE DEFAULT-*-2))
 (42 6 (:REWRITE DEFAULT-COERCE-3))
 (25 25 (:REWRITE DEFAULT-*-1))
 (24 24 (:TYPE-PRESCRIPTION HEX-CHARS-TO-BYTES))
 (19 19 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-INTEGERP-WIDTH))
 (19 19 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NEGATIVE-WIDTH))
 (13 1 (:REWRITE USE-ALL-UNSIGNED-BYTE-P))
 (12 12 (:REWRITE DEFAULT-COERCE-2))
 (10 1 (:DEFINITION MEMBER-EQUAL))
 (9 3 (:REWRITE DEFAULT-<-1))
 (6 6 (:REWRITE DEFAULT-COERCE-1))
 (6 6 (:REWRITE CAR-CONS))
 (5 5 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (3 3 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-2))
 )
(TRUE-LISTP-OF-MV-NTH-1-OF-HEX-CHARS-TO-BYTES
 (116 90 (:REWRITE DEFAULT-CDR))
 (81 59 (:REWRITE DEFAULT-CAR))
 (64 8 (:DEFINITION REVAPPEND))
 (41 41 (:TYPE-PRESCRIPTION NATP-OF-MV-NTH-1-OF-HEX-CHAR-TO-VAL))
 (32 16 (:REWRITE DEFAULT-+-2))
 (32 16 (:REWRITE DEFAULT-+-1))
 (22 11 (:DEFINITION TRUE-LISTP))
 (18 9 (:REWRITE DEFAULT-*-2))
 (10 10 (:TYPE-PRESCRIPTION HEX-CHARS-TO-BYTES))
 (9 9 (:REWRITE DEFAULT-*-1))
 (2 2 (:REWRITE CAR-CONS))
 )
(HEX-STRING-TO-BYTES)
(ALL-UNSIGNED-BYTE-P-OF-MV-NTH-1-OF-HEX-STRING-TO-BYTES
 (4 1 (:DEFINITION MV-NTH))
 (2 2 (:TYPE-PRESCRIPTION HEX-CHARS-TO-BYTES))
 (2 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-COERCE-2))
 (1 1 (:REWRITE DEFAULT-COERCE-1))
 )
(TRUE-LISTP-OF-MV-NTH-1-OF-HEX-STRING-TO-BYTES)
(HEX-STRING-TO-BYTES!)
(ALL-UNSIGNED-BYTE-P-OF-HEX-STRING-TO-BYTES!)
(TRUE-LISTP-OF-HEX-STRING-TO-BYTES!)
