(APT::PROCESS-INPUT-OLD-SOFT-IO-SEL-MOD)
(APT::PROCESS-INPUT-SELECT-OLD-SOFT-IO
 (27 3 (:DEFINITION LEN))
 (25 2 (:DEFINITION SYMBOL-LISTP))
 (21 17 (:REWRITE DEFAULT-CAR))
 (17 1 (:REWRITE PSEUDO-TERM-LISTP-WHEN-SYMBOL-LISTP))
 (11 11 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (6 3 (:REWRITE DEFAULT-+-2))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (5 1 (:REWRITE PSEUDO-TERM-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (4 4 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP))
 (4 4 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-IN-LIST.ERP))
 (4 4 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 (4 2 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-IN-LIST.VAL))
 (3 3 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE PSEUDO-TERM-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (1 1 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 )
(APT::SYMBOLP-OF-PROCESS-INPUT-SELECT-OLD-SOFT-IO.X
 (18 2 (:DEFINITION LEN))
 (18 1 (:DEFINITION MEMBER-EQUAL))
 (10 2 (:REWRITE MEMBER-WHEN-ATOM))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (6 2 (:REWRITE DEFAULT-CAR))
 (4 2 (:REWRITE DEFAULT-+-2))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE DEFAULT-+-1))
 )
