(READ-BYTES-FROM-CHANNEL
 (70 70 (:REWRITE DEFAULT-CDR))
 (48 3 (:DEFINITION ADD-PAIR))
 (38 38 (:REWRITE DEFAULT-CAR))
 (24 8 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (15 3 (:REWRITE SYMBOL<-ASYMMETRIC))
 (14 7 (:REWRITE DEFAULT-+-2))
 (9 9 (:TYPE-PRESCRIPTION SYMBOL<))
 (7 7 (:REWRITE DEFAULT-+-1))
 (6 6 (:REWRITE SYMBOL<-TRICHOTOMY))
 (6 6 (:REWRITE SYMBOL<-TRANSITIVE))
 (4 2 (:REWRITE DEFAULT-<-2))
 (4 2 (:REWRITE DEFAULT-<-1))
 (4 2 (:DEFINITION TRUE-LISTP))
 )
(STATE-P1-OF-MV-NTH-1-OF-READ-BYTES-FROM-CHANNEL
 (54 54 (:REWRITE DEFAULT-CDR))
 (54 54 (:REWRITE DEFAULT-CAR))
 (38 12 (:DEFINITION REVAPPEND))
 (35 5 (:REWRITE DEFAULT-COERCE-3))
 (15 15 (:TYPE-PRESCRIPTION TRUE-LISTP-REVAPPEND-TYPE-PRESCRIPTION))
 (15 15 (:TYPE-PRESCRIPTION REVAPPEND))
 (10 10 (:REWRITE DEFAULT-COERCE-2))
 (8 1 (:REWRITE OPEN-INPUT-CHANNEL-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (6 1 (:REWRITE STATE-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (5 5 (:REWRITE DEFAULT-COERCE-1))
 (1 1 (:REWRITE CDR-CONS))
 (1 1 (:REWRITE CAR-CONS))
 )
(STATE-P-OF-MV-NTH-1-OF-READ-BYTES-FROM-CHANNEL)
(TRUE-LISTP-OF-MV-NTH-0-OF-READ-BYTES-FROM-CHANNEL
 (54 54 (:REWRITE DEFAULT-CDR))
 (38 19 (:DEFINITION TRUE-LISTP))
 (35 35 (:REWRITE DEFAULT-CAR))
 (15 5 (:DEFINITION REVAPPEND))
 )
(UNSIGNED-BYTE-LISTP-OF-MV-NTH-0-OF-READ-BYTES-FROM-CHANNEL
 (132 22 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-FOR-CAR))
 (132 22 (:REWRITE UNSIGNED-BYTE-P-OF-CAR-WHEN-ALL-UNSIGNED-BYTE-P))
 (89 89 (:REWRITE UNSIGNED-BYTE-LISTP-WHEN-NOT-CONSP))
 (88 88 (:TYPE-PRESCRIPTION ALL-UNSIGNED-BYTE-P))
 (80 80 (:REWRITE DEFAULT-CDR))
 (80 80 (:REWRITE DEFAULT-CAR))
 (44 44 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-UNSIGNED-BYTE-LISTP-CHEAP))
 (44 44 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (44 44 (:REWRITE ALL-UNSIGNED-BYTE-P-FROM-ALL-UNSIGNED-BYTE-P-NARROWER))
 (26 8 (:DEFINITION REVAPPEND))
 (22 22 (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P))
 (22 22 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-2))
 (22 22 (:REWRITE USE-ALL-UNSIGNED-BYTE-P))
 (8 1 (:REWRITE OPEN-INPUT-CHANNEL-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (6 1 (:REWRITE STATE-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (3 1 (:DEFINITION TRUE-LIST-FIX))
 (1 1 (:REWRITE CDR-CONS))
 (1 1 (:REWRITE CAR-CONS))
 )
(BYTE-LISTP-OF-MV-NTH-0-OF-READ-BYTES-FROM-CHANNEL
 (284 42 (:REWRITE UNSIGNED-BYTE-P-OF-CAR-WHEN-ALL-UNSIGNED-BYTE-P))
 (278 42 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-FOR-CAR))
 (241 42 (:REWRITE UNSIGNED-BYTE-P-OF-CAR-WHEN-UNSIGNED-BYTE-LISTP-2))
 (166 166 (:TYPE-PRESCRIPTION ALL-UNSIGNED-BYTE-P))
 (121 121 (:REWRITE DEFAULT-CAR))
 (118 118 (:REWRITE DEFAULT-CDR))
 (111 111 (:TYPE-PRESCRIPTION UNSIGNED-BYTE-LISTP))
 (108 20 (:REWRITE ALL-UNSIGNED-BYTE-P-OF-TRUE-LIST-FIX))
 (103 103 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-UNSIGNED-BYTE-LISTP-CHEAP))
 (103 103 (:REWRITE ALL-UNSIGNED-BYTE-P-FROM-ALL-UNSIGNED-BYTE-P-NARROWER))
 (84 83 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (55 55 (:REWRITE UNSIGNED-BYTE-LISTP-WHEN-NOT-CONSP))
 (44 10 (:REWRITE UNSIGNED-BYTE-LISTP-OF-TRUE-LIST-FIX))
 (42 42 (:REWRITE USE-ALL-UNSIGNED-BYTE-P-2))
 (42 42 (:REWRITE USE-ALL-UNSIGNED-BYTE-P))
 (32 4 (:REWRITE UNSIGNED-BYTE-LISTP-OF-MV-NTH-0-OF-READ-BYTES-FROM-CHANNEL))
 (26 8 (:DEFINITION REVAPPEND))
 (20 2 (:REWRITE UNSIGNED-BYTE-LISTP-OF-CONS))
 (8 1 (:REWRITE OPEN-INPUT-CHANNEL-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (7 2 (:REWRITE ALL-UNSIGNED-BYTE-P-OF-CDR))
 (6 1 (:REWRITE STATE-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (4 1 (:REWRITE UNSIGNED-BYTE-LISTP-OF-CDR))
 (1 1 (:REWRITE CDR-CONS))
 (1 1 (:REWRITE CAR-CONS))
 )
(OPEN-INPUT-CHANNEL-P1-OF-MV-NTH-1-OF-READ-BYTES-FROM-CHANNEL
 (232 232 (:REWRITE DEFAULT-CDR))
 (222 222 (:REWRITE DEFAULT-CAR))
 (84 26 (:DEFINITION REVAPPEND))
 (80 5 (:DEFINITION ADD-PAIR))
 (70 10 (:REWRITE DEFAULT-COERCE-3))
 (30 30 (:TYPE-PRESCRIPTION TRUE-LISTP-REVAPPEND-TYPE-PRESCRIPTION))
 (30 30 (:TYPE-PRESCRIPTION REVAPPEND))
 (25 5 (:REWRITE SYMBOL<-ASYMMETRIC))
 (24 3 (:REWRITE OPEN-INPUT-CHANNEL-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (20 20 (:REWRITE DEFAULT-COERCE-2))
 (18 3 (:REWRITE STATE-P-OF-MV-NTH-1-OF-READ-BYTE$))
 (15 15 (:TYPE-PRESCRIPTION SYMBOL<))
 (10 10 (:REWRITE SYMBOL<-TRICHOTOMY))
 (10 10 (:REWRITE SYMBOL<-TRANSITIVE))
 (10 10 (:REWRITE DEFAULT-COERCE-1))
 (7 1 (:REWRITE OPEN-INPUT-CHANNEL-P1-OF-MV-NTH-1-OF-READ-BYTE$))
 )
