(SYMBOLP-WHEN-ASSOC-EQUAL-AND-OPEN-CHANNELS-P-FORWARD
 (251 251 (:REWRITE DEFAULT-CAR))
 (190 190 (:REWRITE DEFAULT-CDR))
 (95 25 (:REWRITE SYMBOL<-TRICHOTOMY))
 (85 15 (:REWRITE SYMBOL<-ASYMMETRIC))
 (72 6 (:DEFINITION TYPED-IO-LISTP))
 (30 6 (:DEFINITION LEN))
 (25 25 (:REWRITE SYMBOL<-TRANSITIVE))
 (24 12 (:DEFINITION TRUE-LISTP))
 (12 12 (:REWRITE DEFAULT-<-2))
 (12 12 (:REWRITE DEFAULT-<-1))
 (12 6 (:REWRITE DEFAULT-+-2))
 (6 6 (:REWRITE DEFAULT-+-1))
 )
