(SUBSEQUENCEP-EQUAL-OF-TAKE
 (41 4 (:REWRITE CONSP-OF-MEMBER-EQUAL-IFF))
 (20 20 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (19 12 (:REWRITE DEFAULT-<-1))
 (18 17 (:REWRITE DEFAULT-CDR))
 (18 11 (:REWRITE DEFAULT-+-2))
 (13 2 (:REWRITE NOT-MEMBER-EQUAL-OF-CDR-WHEN-NOT-MEMBER-EQUAL))
 (12 12 (:REWRITE DEFAULT-<-2))
 (11 11 (:REWRITE DEFAULT-+-1))
 (10 10 (:REWRITE MEMBER-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (10 10 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-WHEN-NOT-EQUAL-CAR))
 (10 9 (:REWRITE DEFAULT-CAR))
 (10 5 (:REWRITE NOT-MEMBER-EQUAL-WHEN-NOT-MEMBER-EQUAL-OF-CDR-CHEAP))
 (10 5 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-CHEAP))
 (5 5 (:REWRITE ZP-OPEN))
 (5 5 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-MEMBER-EQUAL))
 (5 5 (:REWRITE MEMBER-EQUAL-OF-SINGLETON-CONSTANT-IFF))
 (5 5 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-TRIM))
 )
(SUBSEQUENCEP-EQUAL-SAME
 (4 4 (:REWRITE MEMBER-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (4 4 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-WHEN-NOT-EQUAL-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE NOT-MEMBER-EQUAL-WHEN-NOT-MEMBER-EQUAL-OF-CDR-CHEAP))
 (2 1 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-CHEAP))
 (1 1 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-MEMBER-EQUAL))
 (1 1 (:REWRITE MEMBER-EQUAL-OF-SINGLETON-CONSTANT-IFF))
 (1 1 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-TRIM))
 )
(SUBSEQUENCEP-EQUAL-WHEN-NOT-CONSP-CHEAP)
(NOT-SUBSEQUENCEP-EQUAL-WHEN-MEMBER-EQUAL-AND-NOT-MEMBER-EQUAL
 (103 52 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-CHEAP))
 (60 60 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-WHEN-NOT-EQUAL-CAR))
 (55 54 (:REWRITE MEMBER-EQUAL-OF-SINGLETON-CONSTANT-IFF))
 (54 54 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-TRIM))
 (52 52 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-MEMBER-EQUAL))
 (11 11 (:REWRITE DEFAULT-CAR))
 (7 7 (:REWRITE SUBSEQUENCEP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION LEN))
 )
(SUBSEQUENCEP-EQUAL-OF-CONS-ARG1
 (50 4 (:REWRITE NOT-MEMBER-EQUAL-OF-CDR-WHEN-NOT-MEMBER-EQUAL))
 (24 2 (:REWRITE NOT-MEMBER-EQUAL-OF-MEMBER-EQUAL-WHEN-NOT-MEMBER-EQUAL))
 (18 9 (:REWRITE NOT-MEMBER-EQUAL-WHEN-NOT-MEMBER-EQUAL-OF-CDR-CHEAP))
 (18 9 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-CHEAP))
 (14 14 (:REWRITE MEMBER-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (14 14 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-WHEN-NOT-EQUAL-CAR))
 (9 9 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-MEMBER-EQUAL))
 (9 9 (:REWRITE MEMBER-EQUAL-OF-SINGLETON-CONSTANT-IFF))
 (9 9 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-TRIM))
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE SUBSEQUENCEP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (6 6 (:REWRITE NOT-SUBSEQUENCEP-EQUAL-WHEN-MEMBER-EQUAL-AND-NOT-MEMBER-EQUAL))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(SUBSEQUENCEP-EQUAL-OF-TRUE-LIST-FIX-ARG1
 (50 4 (:REWRITE NOT-MEMBER-EQUAL-OF-CDR-WHEN-NOT-MEMBER-EQUAL))
 (28 14 (:REWRITE NOT-MEMBER-EQUAL-WHEN-NOT-MEMBER-EQUAL-OF-CDR-CHEAP))
 (28 14 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-CHEAP))
 (24 24 (:REWRITE MEMBER-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (24 24 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-WHEN-NOT-EQUAL-CAR))
 (24 2 (:REWRITE NOT-MEMBER-EQUAL-OF-MEMBER-EQUAL-WHEN-NOT-MEMBER-EQUAL))
 (16 16 (:REWRITE NOT-SUBSEQUENCEP-EQUAL-WHEN-MEMBER-EQUAL-AND-NOT-MEMBER-EQUAL))
 (16 16 (:REWRITE DEFAULT-CDR))
 (16 16 (:REWRITE DEFAULT-CAR))
 (14 14 (:REWRITE MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-MEMBER-EQUAL))
 (14 14 (:REWRITE MEMBER-EQUAL-OF-SINGLETON-CONSTANT-IFF))
 (14 14 (:REWRITE MEMBER-EQUAL-OF-CONSTANT-TRIM))
 )
