(EQUAL-OF-COERCE-AND-EMPTY-STRING
 (11 1 (:DEFINITION CHARACTER-LISTP))
 (4 1 (:REWRITE CHARACTERP-OF-CAR-WHEN-CHARACTER-LISTP-STRONG))
 (4 1 (:REWRITE CHARACTER-LISTP-OF-CDR))
 (1 1 (:REWRITE DEFAULT-COERCE-3))
 (1 1 (:REWRITE DEFAULT-COERCE-2))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(STRINGP-OF-SUBSEQ
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSEQ-TYPE-PRESCRIPTION))
 )
(EQUAL-OF-SUBSEQ-AND-EMPTY-STRING
 (25 3 (:DEFINITION LEN))
 (13 10 (:REWRITE DEFAULT-<-1))
 (10 10 (:REWRITE DEFAULT-<-2))
 (10 4 (:REWRITE CONSP-OF-COERCE-OF-LIST))
 (10 1 (:REWRITE DEFAULT-COERCE-3))
 (8 5 (:REWRITE DEFAULT-+-2))
 (5 5 (:REWRITE DEFAULT-+-1))
 (5 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE EQUAL-OF-COERCE-OF-STRING-WHEN-QUOTEP-STRONG))
 (2 2 (:REWRITE EQUAL-OF-COERCE-OF-STRING-WHEN-QUOTEP))
 (2 2 (:REWRITE DEFAULT-UNARY-MINUS))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 )
