(ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR
 (451 451 (:REWRITE DEFAULT-CAR))
 (159 159 (:REWRITE DEFAULT-CDR))
 )
(CHANNEL-HEADERP-OF-LIST
 (10 10 (:REWRITE DEFAULT-CDR))
 (6 3 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 3 (:TYPE-PRESCRIPTION LEN))
 (3 3 (:REWRITE DEFAULT-+-1))
 )
(STRINGP-OF-CADDR-WHEN-CHANNEL-HEADERP)
(INTEGERP-OF-CADDDR-WHEN-CHANNEL-HEADERP)
(TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR)
(TYPED-IO-LISTP-OF-CDR-GEN
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(OPEN-CHANNEL-LISTP-OF-ADD-PAIR-STRONG
 (55 51 (:REWRITE DEFAULT-CAR))
 (43 30 (:REWRITE DEFAULT-CDR))
 (35 7 (:REWRITE SYMBOL<-ASYMMETRIC))
 (18 15 (:REWRITE SYMBOL<-TRANSITIVE))
 (15 15 (:REWRITE SYMBOL<-TRICHOTOMY))
 )
(OPEN-CHANNEL1-OF-CDR-OF-ASSOC-EQUAL
 (1003 16 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (962 28 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (324 81 (:REWRITE SYMBOL<-TRICHOTOMY))
 (310 310 (:REWRITE DEFAULT-CAR))
 (216 216 (:TYPE-PRESCRIPTION SYMBOL<))
 (187 187 (:REWRITE DEFAULT-CDR))
 (162 27 (:REWRITE SYMBOL<-ASYMMETRIC))
 (130 130 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (81 81 (:REWRITE SYMBOL<-TRANSITIVE))
 )
(ORDERED-SYMBOL-ALISTP-OF-ADD-PAIR
 (776 719 (:REWRITE DEFAULT-CAR))
 (569 478 (:REWRITE SYMBOL<-TRANSITIVE))
 (327 299 (:REWRITE DEFAULT-CDR))
 )
(OPEN-CHANNELS-P-OF-ADD-PAIR-STRONG
 (42 1 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (19 5 (:REWRITE SYMBOL<-TRICHOTOMY))
 (17 3 (:REWRITE SYMBOL<-ASYMMETRIC))
 (12 12 (:TYPE-PRESCRIPTION SYMBOL<))
 (10 10 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE SYMBOL<-TRANSITIVE))
 )
(OPEN-CHANNEL1-OF-CONS
 (43 43 (:REWRITE DEFAULT-CDR))
 (23 23 (:REWRITE DEFAULT-CAR))
 (16 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 )
(CHANNEL-HEADERP-OF-CADR-OF-ASSOC-EQUAL-IFF
 (2060 51 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (1932 54 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (894 894 (:REWRITE DEFAULT-CAR))
 (712 712 (:REWRITE DEFAULT-CDR))
 (636 159 (:REWRITE SYMBOL<-TRICHOTOMY))
 (424 424 (:TYPE-PRESCRIPTION SYMBOL<))
 (318 53 (:REWRITE SYMBOL<-ASYMMETRIC))
 (312 312 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (159 159 (:REWRITE SYMBOL<-TRANSITIVE))
 (110 55 (:REWRITE DEFAULT-+-2))
 (55 55 (:REWRITE DEFAULT-+-1))
 (3 1 (:DEFINITION CHARACTER-LISTP))
 )
(CHANNEL-HEADERP-OF-CADR-OF-ASSOC-EQUAL-IFF-2
 (182 5 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (174 8 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (70 20 (:REWRITE SYMBOL<-TRICHOTOMY))
 (69 69 (:REWRITE DEFAULT-CAR))
 (41 7 (:REWRITE SYMBOL<-ASYMMETRIC))
 (35 35 (:REWRITE DEFAULT-CDR))
 (20 20 (:REWRITE SYMBOL<-TRANSITIVE))
 )
(TYPED-IO-LISTP-OF-CDDDR-OF-ASSOC-EQUAL-AND-CADR-OF-CADR-OF-ASSOC-EQUAL
 (13016 148 (:DEFINITION CHARACTER-LISTP))
 (11300 310 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (10430 283 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (3630 3630 (:REWRITE DEFAULT-CAR))
 (3384 846 (:REWRITE SYMBOL<-TRICHOTOMY))
 (2569 2569 (:REWRITE DEFAULT-CDR))
 (2256 2256 (:TYPE-PRESCRIPTION SYMBOL<))
 (1965 1965 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (1692 282 (:REWRITE SYMBOL<-ASYMMETRIC))
 (846 846 (:REWRITE SYMBOL<-TRANSITIVE))
 (392 392 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (124 44 (:REWRITE OPEN-CHANNEL1-OF-CDR-OF-ASSOC-EQUAL))
 (32 32 (:REWRITE DEFAULT-<-2))
 (32 32 (:REWRITE DEFAULT-<-1))
 (16 4 (:REWRITE TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR))
 )
(TYPED-IO-LISTP-OF-CDDDR-OF-ASSOC-EQUAL-AND-CADR-OF-CADR-OF-ASSOC-EQUAL-2
 (112 3 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (86 2 (:DEFINITION ASSOC-EQUAL))
 (84 4 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (44 12 (:REWRITE SYMBOL<-TRICHOTOMY))
 (40 40 (:REWRITE DEFAULT-CAR))
 (29 5 (:REWRITE SYMBOL<-ASYMMETRIC))
 (25 25 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE SYMBOL<-TRANSITIVE))
 )
(EQUAL-OF-ADD-PAIR-SAME
 (694 35 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (597 589 (:REWRITE DEFAULT-CAR))
 (580 195 (:REWRITE SYMBOL<-TRICHOTOMY))
 (479 89 (:REWRITE SYMBOL<-ASYMMETRIC))
 (305 291 (:REWRITE DEFAULT-CDR))
 (192 190 (:REWRITE SYMBOL<-TRANSITIVE))
 (80 2 (:REWRITE ORDERED-SYMBOL-ALISTP-OF-ADD-PAIR))
 (80 2 (:REWRITE ORDERED-SYMBOL-ALISTP-ADD-PAIR))
 (24 2 (:REWRITE OPEN-CHANNEL-LISTP-OF-ADD-PAIR-STRONG))
 )
(TRUE-LIST-OF-CDDR-OF-ASSOC-EQUAL-WHEN-OPEN-CHANNEL-LISTP
 (311 7 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (292 9 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (125 125 (:REWRITE DEFAULT-CAR))
 (125 19 (:REWRITE TYPED-IO-LISTP-OF-CDR))
 (117 19 (:REWRITE TYPED-IO-LISTP-OF-CDR-GEN))
 (102 102 (:REWRITE DEFAULT-CDR))
 (96 24 (:REWRITE SYMBOL<-TRICHOTOMY))
 (64 64 (:TYPE-PRESCRIPTION SYMBOL<))
 (63 11 (:REWRITE TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR))
 (59 59 (:TYPE-PRESCRIPTION OPEN-CHANNEL1))
 (48 8 (:REWRITE SYMBOL<-ASYMMETRIC))
 (47 47 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (24 24 (:REWRITE SYMBOL<-TRANSITIVE))
 (24 12 (:DEFINITION TRUE-LISTP))
 )
(NAT-LISTP-OF-CDDR-OF-ASSOC-EQUAL-WHEN-OPEN-CHANNEL-LISTP
 (2590 82 (:REWRITE TYPED-IO-LISTP-OF-CDR-GEN))
 (2495 82 (:REWRITE TYPED-IO-LISTP-OF-CDR))
 (2329 56 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (2169 60 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (1919 48 (:DEFINITION TRUE-LISTP))
 (802 802 (:REWRITE DEFAULT-CAR))
 (708 177 (:REWRITE SYMBOL<-TRICHOTOMY))
 (575 575 (:REWRITE DEFAULT-CDR))
 (472 472 (:TYPE-PRESCRIPTION SYMBOL<))
 (384 384 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (354 59 (:REWRITE SYMBOL<-ASYMMETRIC))
 (177 177 (:REWRITE SYMBOL<-TRANSITIVE))
 (165 165 (:TYPE-PRESCRIPTION OPEN-CHANNEL1))
 (95 26 (:REWRITE TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR))
 (52 52 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (42 24 (:REWRITE TRUE-LIST-OF-CDDR-OF-ASSOC-EQUAL-WHEN-OPEN-CHANNEL-LISTP))
 (36 12 (:REWRITE OPEN-CHANNEL1-OF-CDR-OF-ASSOC-EQUAL))
 (33 9 (:REWRITE CHANNEL-HEADERP-OF-CADR-OF-ASSOC-EQUAL-IFF))
 (27 9 (:REWRITE CHANNEL-HEADERP-OF-CADR-OF-ASSOC-EQUAL-IFF-2))
 (18 18 (:TYPE-PRESCRIPTION OPEN-CHANNELS-P))
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 )
(UNSIGNED-BYTE-LISTP-OF-CDDR-OF-ASSOC-EQUAL-WHEN-OPEN-CHANNEL-LISTP
 (1289 30 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (1207 34 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (1011 42 (:REWRITE TYPED-IO-LISTP-OF-CDR-GEN))
 (934 42 (:REWRITE TYPED-IO-LISTP-OF-CDR))
 (708 26 (:DEFINITION TRUE-LISTP))
 (457 457 (:REWRITE DEFAULT-CAR))
 (396 99 (:REWRITE SYMBOL<-TRICHOTOMY))
 (326 326 (:REWRITE DEFAULT-CDR))
 (264 264 (:TYPE-PRESCRIPTION SYMBOL<))
 (202 202 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (198 33 (:REWRITE SYMBOL<-ASYMMETRIC))
 (101 101 (:TYPE-PRESCRIPTION OPEN-CHANNEL1))
 (99 99 (:REWRITE SYMBOL<-TRANSITIVE))
 (79 18 (:REWRITE TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR))
 (22 22 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (19 11 (:REWRITE TRUE-LIST-OF-CDDR-OF-ASSOC-EQUAL-WHEN-OPEN-CHANNEL-LISTP))
 (14 4 (:REWRITE CHANNEL-HEADERP-OF-CADR-OF-ASSOC-EQUAL-IFF))
 (12 4 (:REWRITE OPEN-CHANNEL1-OF-CDR-OF-ASSOC-EQUAL))
 (12 4 (:REWRITE CHANNEL-HEADERP-OF-CADR-OF-ASSOC-EQUAL-IFF-2))
 (8 8 (:TYPE-PRESCRIPTION OPEN-CHANNELS-P))
 )
(CHARACTER-LISTP-OF-CDDR-OF-ASSOC-EQUAL-WHEN-OPEN-CHANNEL-LISTP
 (727 14 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (689 20 (:DEFINITION ORDERED-SYMBOL-ALISTP))
 (272 272 (:REWRITE DEFAULT-CAR))
 (228 57 (:REWRITE SYMBOL<-TRICHOTOMY))
 (188 188 (:REWRITE DEFAULT-CDR))
 (152 152 (:TYPE-PRESCRIPTION SYMBOL<))
 (135 21 (:REWRITE TYPED-IO-LISTP-OF-CDR))
 (125 21 (:REWRITE TYPED-IO-LISTP-OF-CDR-GEN))
 (114 19 (:REWRITE SYMBOL<-ASYMMETRIC))
 (104 104 (:TYPE-PRESCRIPTION ORDERED-SYMBOL-ALISTP))
 (68 68 (:TYPE-PRESCRIPTION OPEN-CHANNEL1))
 (67 12 (:REWRITE TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR))
 (57 57 (:REWRITE SYMBOL<-TRANSITIVE))
 (20 10 (:DEFINITION TRUE-LISTP))
 )
(OPEN-CHANNEL-LISTP-OF-CONS
 (8 8 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(ORDERED-SYMBOL-ALISTP-OF-REMOVE1-ASSOC-EQUAL)
(OPEN-CHANNEL-LISTP-OF-REMOVE1-ASSOC-EQUAL-ALT
 (28 28 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE DEFAULT-CDR))
 )
(OPEN-CHANNELS-P-OF-REMOVE1-ASSOC-EQUAL-ALT)
(OPEN-INPUT-CHANNEL-P1-FORWARD-TO-ASSOC-EQUAL)
(SYMBOLP-WHEN-ASSOC-EQUAL-AND-OPEN-CHANNELS-P
 (256 19 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (107 107 (:REWRITE DEFAULT-CDR))
 (85 85 (:REWRITE SYMBOL<-TRANSITIVE))
 )
(SYMBOLP-WHEN-ASSOC-EQUAL-OF-OPEN-INPUT-CHANNELS-AND-STATE-P1
 (148 16 (:DEFINITION MEMBER-EQUAL))
 (146 146 (:REWRITE DEFAULT-CAR))
 (138 138 (:REWRITE DEFAULT-CDR))
 (82 41 (:DEFINITION NTH))
 (81 1 (:DEFINITION WRITTEN-FILE-LISTP))
 (77 1 (:DEFINITION READABLE-FILES-LISTP))
 (76 1 (:DEFINITION WRITTEN-FILE))
 (72 1 (:DEFINITION READABLE-FILE))
 (66 12 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (59 1 (:DEFINITION READ-FILE-LISTP))
 (55 1 (:DEFINITION WRITABLE-FILE-LISTP))
 (55 1 (:DEFINITION READ-FILE-LISTP1))
 (51 1 (:DEFINITION WRITABLE-FILE-LISTP1))
 (48 6 (:DEFINITION ASSOC-EQUAL))
 (25 5 (:DEFINITION LEN))
 (22 2 (:DEFINITION FGETPROP))
 (18 9 (:DEFINITION TRUE-LISTP))
 (15 1 (:DEFINITION KNOWN-PACKAGE-ALISTP))
 (12 6 (:REWRITE SYMBOL<-TRICHOTOMY))
 (12 2 (:DEFINITION SYMBOL-ALISTP))
 (12 1 (:DEFINITION TIMER-ALISTP))
 (12 1 (:DEFINITION PLIST-WORLDP))
 (10 5 (:REWRITE DEFAULT-+-2))
 (8 8 (:TYPE-PRESCRIPTION OPEN-CHANNEL1))
 (6 6 (:TYPE-PRESCRIPTION TYPED-IO-LISTP))
 (6 6 (:REWRITE SYMBOL<-TRANSITIVE))
 (6 2 (:REWRITE TYPED-IO-LISTP-OF-CDR-GEN))
 (6 2 (:REWRITE TYPED-IO-LISTP-OF-CDR-AND-CADR-OF-CAR))
 (6 2 (:REWRITE TYPED-IO-LISTP-OF-CDR))
 (5 5 (:REWRITE DEFAULT-+-1))
 (4 1 (:DEFINITION SYMBOL-LISTP))
 (3 1 (:DEFINITION RATIONAL-LISTP))
 (3 1 (:DEFINITION INTEGER-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(SYMBOLP-WHEN-ASSOC-EQUAL-OF-OPEN-INPUT-CHANNELS-AND-STATE-P
 (8 1 (:DEFINITION ASSOC-EQUAL))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (6 2 (:REWRITE ASSOC-EQUAL-WHEN-ORDERED-SYMBOL-ALISTP-AND-SYMBOL<-OF-CAAR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(ASSOC-EQUAL-OF-OPEN-INPUT-CHANNELS-WHEN-OPEN-INPUT-CHANNEL-P)
