(SYMBOLP-OF-MV-NTH-0-OF-OPEN-INPUT-CHANNEL
 (20 1 (:DEFINITION ASSOC-EQUAL))
 (18 9 (:TYPE-PRESCRIPTION NATP-OF-FILE-CLOCK))
 (14 1 (:REWRITE DEFAULT-+-2))
 (13 3 (:REWRITE EQUAL-OF-CONS))
 (9 9 (:TYPE-PRESCRIPTION STATE-P1))
 (7 1 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 1 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (5 5 (:REWRITE DEFAULT-CDR))
 (4 1 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (4 1 (:REWRITE DEFAULT-COERCE-3))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (1 1 (:REWRITE DEFAULT-COERCE-1))
 (1 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP-ARG1-CHEAP))
 )
(STATE-P1-OF-MV-NTH-1-OF-OPEN-INPUT-CHANNEL
 (1349 1349 (:REWRITE DEFAULT-CAR))
 (884 884 (:REWRITE DEFAULT-CDR))
 (731 139 (:DEFINITION ASSOC-EQUAL))
 (594 54 (:DEFINITION FGETPROP))
 (530 30 (:REWRITE WRITTEN-FILES-P-OF-WRITTEN-FILES))
 (530 30 (:REWRITE WRITEABLE-FILES-P-OF-WRITEABLE-FILES))
 (530 30 (:REWRITE READABLE-FILES-P-OF-READABLE-FILES))
 (530 30 (:REWRITE READ-FILES-P-OF-READ-FILES))
 (530 30 (:REWRITE OPEN-CHANNELS-P-OF-OPEN-OUTPUT-CHANNELS))
 (530 30 (:REWRITE OPEN-CHANNELS-P-OF-OPEN-INPUT-CHANNELS))
 (530 30 (:REWRITE FILE-CLOCK-P-OF-FILE-CLOCK))
 (326 163 (:TYPE-PRESCRIPTION NATP-OF-FILE-CLOCK))
 (150 27 (:DEFINITION SYMBOL-LISTP))
 (150 27 (:DEFINITION RATIONAL-LISTP))
 (93 31 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (62 62 (:TYPE-PRESCRIPTION STATE-P))
 (36 12 (:REWRITE EQUAL-OF-CONS))
 (8 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 )
(STATE-P-OF-MV-NTH-1-OF-OPEN-INPUT-CHANNEL
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 )
(OPEN-INPUT-CHANNEL-P1-AFTER-OPEN-INPUT-CHANNEL
 (150 75 (:TYPE-PRESCRIPTION NATP-OF-FILE-CLOCK))
 (145 8 (:DEFINITION ASSOC-EQUAL))
 (134 17 (:REWRITE DEFAULT-+-2))
 (91 21 (:REWRITE EQUAL-OF-CONS))
 (75 75 (:TYPE-PRESCRIPTION STATE-P1))
 (63 9 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (49 49 (:REWRITE DEFAULT-CAR))
 (44 9 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (38 38 (:REWRITE DEFAULT-CDR))
 (36 9 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (36 9 (:REWRITE DEFAULT-COERCE-3))
 (18 18 (:REWRITE DEFAULT-COERCE-2))
 (17 17 (:REWRITE DEFAULT-+-1))
 (14 14 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (9 9 (:REWRITE DEFAULT-COERCE-1))
 (9 9 (:REWRITE APPEND-WHEN-NOT-CONSP-ARG1-CHEAP))
 (2 2 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IFF))
 )
(OPEN-INPUT-CHANNEL-P-AFTER-OPEN-INPUT-CHANNEL)
(OPEN-INPUT-CHANNEL-ANY-P1-AFTER-OPEN-INPUT-CHANNEL)
(OPEN-INPUT-CHANNEL-ANY-P-AFTER-OPEN-INPUT-CHANNEL)
(NOT-EQUAL-STANDARD-CHARACTER-INPUT-0-AND-MV-NTH-0-OF-OPEN-INPUT-CHANNEL
 (162 26 (:REWRITE NTHCDR-WHEN-NOT-POSP))
 (108 26 (:DEFINITION POSP))
 (102 6 (:DEFINITION ASSOC-EQUAL))
 (90 53 (:REWRITE DEFAULT-CAR))
 (76 64 (:REWRITE DEFAULT-+-2))
 (76 39 (:REWRITE DEFAULT-CDR))
 (64 64 (:REWRITE DEFAULT-+-1))
 (61 57 (:REWRITE DEFAULT-<-2))
 (59 57 (:REWRITE DEFAULT-<-1))
 (54 6 (:DEFINITION TRUE-LIST-FIX))
 (42 6 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (30 6 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (30 6 (:REWRITE DEFAULT-COERCE-3))
 (27 27 (:REWRITE NTHCDR-WHEN-EQUAL-OF-LEN))
 (26 26 (:TYPE-PRESCRIPTION POSP))
 (20 20 (:REWRITE DEFAULT-COERCE-2))
 (14 14 (:REWRITE DEFAULT-COERCE-1))
 (14 1 (:DEFINITION TAKE))
 (13 13 (:REWRITE EQUAL-OF-COERCE-OF-STRING-WHEN-QUOTEP-STRONG))
 (13 13 (:REWRITE EQUAL-OF-COERCE-OF-STRING-WHEN-QUOTEP))
 (9 2 (:REWRITE DEFAULT-SYMBOL-NAME))
 (9 1 (:REWRITE NOT-EQUAL-OF-EXPLODE-WHEN-TOO-SHORT))
 (7 7 (:REWRITE APPEND-WHEN-NOT-CONSP-ARG1-CHEAP))
 (4 4 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 )
(NOT-EQUAL-STANDARD-OBJECT-INPUT-0-AND-MV-NTH-0-OF-OPEN-INPUT-CHANNEL
 (144 23 (:REWRITE NTHCDR-WHEN-NOT-POSP))
 (102 6 (:DEFINITION ASSOC-EQUAL))
 (96 23 (:DEFINITION POSP))
 (90 53 (:REWRITE DEFAULT-CAR))
 (76 39 (:REWRITE DEFAULT-CDR))
 (70 58 (:REWRITE DEFAULT-+-2))
 (58 58 (:REWRITE DEFAULT-+-1))
 (55 51 (:REWRITE DEFAULT-<-2))
 (54 6 (:DEFINITION TRUE-LIST-FIX))
 (53 51 (:REWRITE DEFAULT-<-1))
 (42 6 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (30 6 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (30 6 (:REWRITE DEFAULT-COERCE-3))
 (24 24 (:REWRITE NTHCDR-WHEN-EQUAL-OF-LEN))
 (23 23 (:TYPE-PRESCRIPTION POSP))
 (20 20 (:REWRITE DEFAULT-COERCE-2))
 (14 14 (:REWRITE DEFAULT-COERCE-1))
 (14 1 (:DEFINITION TAKE))
 (13 13 (:REWRITE EQUAL-OF-COERCE-OF-STRING-WHEN-QUOTEP-STRONG))
 (13 13 (:REWRITE EQUAL-OF-COERCE-OF-STRING-WHEN-QUOTEP))
 (9 2 (:REWRITE DEFAULT-SYMBOL-NAME))
 (9 1 (:REWRITE NOT-EQUAL-OF-EXPLODE-WHEN-TOO-SHORT))
 (7 7 (:REWRITE APPEND-WHEN-NOT-CONSP-ARG1-CHEAP))
 (4 4 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 )
(NOT-MEMBER-EQUAL-OF-MV-NTH-0-OF-OPEN-INPUT-CHANNEL)
