(TMP-DEFTYPES-STRINGP-OF-STR-FIX$INLINE)
(C2C::QUALIFIED-IDENT-STRING-ALISTP)
(C2C::BOOLEANP-OF-QUALIFIED-IDENTP-FOR-QUALIFIED-IDENT-STRING-ALISTP-KEY-LEMMA)
(C2C::BOOLEANP-OF-STRINGP-FOR-QUALIFIED-IDENT-STRING-ALISTP-VAL-LEMMA)
(C2C::BOOLEANP-OF-QUALIFIED-IDENTP-FOR-QUALIFIED-IDENT-STRING-ALISTP-KEY)
(C2C::BOOLEANP-OF-STRINGP-FOR-QUALIFIED-IDENT-STRING-ALISTP-VAL)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-REVAPPEND)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-REMOVE)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-LAST)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-NTHCDR)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-BUTLAST)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-UPDATE-NTH)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-REPEAT)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-TAKE)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-UNION-EQUAL)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-INTERSECTION-EQUAL-2)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-INTERSECTION-EQUAL-1)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-SET-DIFFERENCE-EQUAL)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-RCONS)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-APPEND)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-REV)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-DUPLICATED-MEMBERS)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-DIFFERENCE)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-INTERSECT-2)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-INTERSECT-1)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-UNION)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-MERGESORT)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-DELETE)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-INSERT)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-SFIX)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-LIST-FIX)
(C2C::TRUE-LISTP-WHEN-QUALIFIED-IDENT-STRING-ALISTP-COMPOUND-RECOGNIZER)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CONS)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-REMOVE-ASSOC
 (74 10 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (32 32 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (16 16 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION C2C::BOOLEANP-OF-STRINGP-FOR-QUALIFIED-IDENT-STRING-ALISTP-VAL))
 )
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-PUT-ASSOC)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-FAST-ALIST-CLEAN)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-HONS-SHRINK-ALIST)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-HONS-ACONS)
(C2C::STRINGP-OF-CDR-OF-HONS-ASSOC-EQUAL-WHEN-QUALIFIED-IDENT-STRING-ALISTP)
(C2C::ALISTP-WHEN-QUALIFIED-IDENT-STRING-ALISTP-REWRITE)
(C2C::ALISTP-WHEN-QUALIFIED-IDENT-STRING-ALISTP)
(C2C::STRINGP-OF-CDAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP)
(C2C::QUALIFIED-IDENTP-OF-CAAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP)
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX$INLINE)
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-QUALIFIED-IDENT-STRING-ALIST-FIX
 (205 7 (:REWRITE C2C::QUALIFIED-IDENT-FIX-WHEN-QUALIFIED-IDENTP))
 (159 17 (:REWRITE C2C::QUALIFIED-IDENTP-OF-CAAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (143 8 (:DEFINITION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (101 19 (:REWRITE C2C::STRINGP-OF-CDAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (90 80 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (88 12 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (86 7 (:REWRITE STR-FIX-WHEN-STRINGP))
 (79 40 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (46 8 (:REWRITE C2C::QUALIFIED-IDENTP-WHEN-QUALIFIED-IDENT-OPTIONP))
 (36 36 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENTP))
 (22 6 (:REWRITE C2C::QUALIFIED-IDENT-OPTIONP-WHEN-QUALIFIED-IDENTP))
 (14 14 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-OPTIONP))
 (10 10 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (8 8 (:REWRITE C2C::QUALIFIED-IDENTP-WHEN-ASSOC-QUALIFIED-IDENT-ATTRIB-SPEC-LIST-MAPP-BINDS-FREE-X))
 (8 4 (:REWRITE STR-FIX-DEFAULT))
 (6 6 (:REWRITE C2C::QUALIFIED-IDENT-OPTIONP-WHEN-IN-QUALIFIED-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP
 (252 32 (:REWRITE C2C::QUALIFIED-IDENTP-OF-CAAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (248 122 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (177 19 (:REWRITE C2C::STRINGP-OF-CDAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (171 26 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (86 22 (:REWRITE C2C::QUALIFIED-IDENTP-WHEN-QUALIFIED-IDENT-OPTIONP))
 (54 54 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (42 11 (:REWRITE C2C::QUALIFIED-IDENT-OPTIONP-WHEN-QUALIFIED-IDENTP))
 (42 6 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (22 22 (:REWRITE C2C::QUALIFIED-IDENTP-WHEN-ASSOC-QUALIFIED-IDENT-ATTRIB-SPEC-LIST-MAPP-BINDS-FREE-X))
 (21 21 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-OPTIONP))
 (18 18 (:REWRITE SUBSETP-TRANS2))
 (18 18 (:REWRITE SUBSETP-TRANS))
 (12 12 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (12 12 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (11 11 (:REWRITE C2C::QUALIFIED-IDENT-OPTIONP-WHEN-IN-QUALIFIED-IDENT-OPTION-SETP-BINDS-FREE-X))
 (7 7 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (6 6 (:REWRITE SUBSETP-REFL))
 (4 4 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX$INLINE
 (10 10 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C2C::STRINGP-OF-CDAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (6 1 (:REWRITE C2C::QUALIFIED-IDENTP-OF-CAAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (6 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (5 5 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::QUALIFIED-IDENT-STRING-ALIST-EQUIV$INLINE)
(C2C::QUALIFIED-IDENT-STRING-ALIST-EQUIV-IS-AN-EQUIVALENCE)
(C2C::QUALIFIED-IDENT-STRING-ALIST-EQUIV-IMPLIES-EQUAL-QUALIFIED-IDENT-STRING-ALIST-FIX-1)
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV)
(C2C::EQUAL-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-1-FORWARD-TO-QUALIFIED-IDENT-STRING-ALIST-EQUIV)
(C2C::EQUAL-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-2-FORWARD-TO-QUALIFIED-IDENT-STRING-ALIST-EQUIV)
(C2C::QUALIFIED-IDENT-STRING-ALIST-EQUIV-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-1-FORWARD)
(C2C::QUALIFIED-IDENT-STRING-ALIST-EQUIV-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-2-FORWARD)
(C2C::CONS-OF-QUALIFIED-IDENT-FIX-K-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV
 (29 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (18 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CONS))
 (6 6 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (6 6 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (3 3 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 )
(C2C::CONS-QUALIFIED-IDENT-EQUIV-CONGRUENCE-ON-K-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV)
(C2C::CONS-OF-STR-FIX-V-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV
 (35 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (24 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CONS))
 (10 10 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENTP))
 (6 6 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (6 6 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE C2C::QUALIFIED-IDENT-FIX-WHEN-QUALIFIED-IDENTP))
 (3 3 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::CONS-STREQV-CONGRUENCE-ON-V-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV)
(C2C::CONS-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-Y-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV
 (15 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CONS))
 (11 11 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENTP))
 (8 8 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE C2C::QUALIFIED-IDENT-FIX-WHEN-QUALIFIED-IDENTP))
 (4 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 )
(C2C::CONS-QUALIFIED-IDENT-STRING-ALIST-EQUIV-CONGRUENCE-ON-Y-UNDER-QUALIFIED-IDENT-STRING-ALIST-EQUIV)
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-OF-ACONS
 (19 3 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (10 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CONS))
 (5 5 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENTP))
 (4 4 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (4 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE C2C::QUALIFIED-IDENT-FIX-WHEN-QUALIFIED-IDENTP))
 (2 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-OF-APPEND
 (324 19 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (174 6 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-APPEND))
 (102 90 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (88 52 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (85 85 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (72 6 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-LIST-FIX))
 (51 11 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (50 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CONS))
 (36 36 (:TYPE-PRESCRIPTION TRUE-LIST-FIX))
 (28 4 (:REWRITE C2C::QUALIFIED-IDENT-FIX-WHEN-QUALIFIED-IDENTP))
 (24 4 (:REWRITE C2C::STRINGP-OF-CDAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (24 4 (:REWRITE C2C::QUALIFIED-IDENTP-OF-CAAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (22 4 (:REWRITE STR-FIX-WHEN-STRINGP))
 (12 12 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (9 9 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENTP))
 )
(C2C::CONSP-CAR-OF-QUALIFIED-IDENT-STRING-ALIST-FIX
 (72 10 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (31 31 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (30 30 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (30 5 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-CDR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (18 2 (:REWRITE C2C::QUALIFIED-IDENT-FIX-WHEN-QUALIFIED-IDENTP))
 (16 16 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (14 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (12 2 (:REWRITE C2C::STRINGP-OF-CDAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (12 2 (:REWRITE C2C::QUALIFIED-IDENTP-OF-CAAR-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (4 4 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENTP))
 )
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX$INLINE-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-X)
(C2C::QUALIFIED-IDENT-STRING-ALIST-FIX$INLINE-QUALIFIED-IDENT-STRING-ALIST-EQUIV-CONGRUENCE-ON-X)
(C2C::ELABORATE-QUALIFIED-IDENT-STRING-ALIST
 (5 1 (:REWRITE ACL2-COUNT-WHEN-MEMBER))
 (4 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 (1 1 (:LINEAR ACL2-COUNT-OF-CONSP-POSITIVE))
 )
(C2C::QUALIFIED-IDENT-ATTRIB-SPEC-LIST-MAPP-OF-ELABORATE-QUALIFIED-IDENT-STRING-ALIST
 (54 9 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (18 18 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (9 9 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::STRINGLIT-LIST-FIX-UNDER-STRINGLIT-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::EXPR-LIST-FIX-UNDER-EXPR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::EPREFIX-OPTION-FIX-UNDER-EPREFIX-OPTION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-LIST-FIX-UNDER-ATTRIB-LIST-EQUIV))
 (1 1 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-NOT-CONSP))
 )
(C2C::ELABORATE-QUALIFIED-IDENT-STRING-ALIST
 (18 1 (:DEFINITION C2C::ELABORATE-QUALIFIED-IDENT-STRING-ALIST))
 (5 5 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE C$::STRINGLITP-WHEN-MEMBER-EQUAL-OF-STRINGLIT-LISTP))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::EPREFIX-OPTION-FIX-UNDER-EPREFIX-OPTION-EQUIV))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (3 1 (:REWRITE C2C::MAPP-WHEN-UID-ATTRIB-SPEC-LIST-MAPP))
 (2 2 (:TYPE-PRESCRIPTION C2C::UID-ATTRIB-SPEC-LIST-MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::STRINGLIT-LIST-FIX-UNDER-STRINGLIT-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::EXPR-LIST-FIX-UNDER-EXPR-LIST-EQUIV))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE C$::STRINGLIT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::EXPR-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::ATTRIB-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-LIST-FIX-UNDER-ATTRIB-LIST-EQUIV))
 (1 1 (:REWRITE C$::STRINGLIT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::EXPR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::ATTRIB-LISTP-WHEN-NOT-CONSP))
 )
(C2C::ELABORATE-QUALIFIED-IDENT-STRING-ALIST-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-ALIST
 (10 10 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (5 5 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::STRINGLIT-LIST-FIX-UNDER-STRINGLIT-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::EXPR-LIST-FIX-UNDER-EXPR-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::EPREFIX-OPTION-FIX-UNDER-EPREFIX-OPTION-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-LIST-FIX-UNDER-ATTRIB-LIST-EQUIV))
 )
(C2C::ELABORATE-QUALIFIED-IDENT-STRING-ALIST-QUALIFIED-IDENT-STRING-ALIST-EQUIV-CONGRUENCE-ON-ALIST)
(C2C::CODE-ENSEMBLE-ADD-SECTION-ATTR
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C2C::MAYBE-MSGP-OF-CODE-ENSEMBLE-ADD-SECTION-ATTR.ER?
 (5 1 (:REWRITE MAYBE-MSGP-WHEN-MSGP))
 (2 2 (:TYPE-PRESCRIPTION MSGP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C2C::CODE-ENSEMBLEP-OF-CODE-ENSEMBLE-ADD-SECTION-ATTR.NEW-CODE)
(C2C::CODE-ENSEMBLE-ADD-SECTION-ATTR-OF-CODE-ENSEMBLE-FIX-CODE
 (3 1 (:REWRITE C$::CODE-ENSEMBLE-FIX-WHEN-CODE-ENSEMBLEP))
 (2 2 (:TYPE-PRESCRIPTION C$::CODE-ENSEMBLEP))
 )
(C2C::CODE-ENSEMBLE-ADD-SECTION-ATTR-CODE-ENSEMBLE-EQUIV-CONGRUENCE-ON-CODE)
(C2C::CODE-ENSEMBLE-ADD-SECTION-ATTR-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-ATTRS
 (6 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALIST-FIX-WHEN-QUALIFIED-IDENT-STRING-ALISTP))
 (2 2 (:TYPE-PRESCRIPTION C2C::QUALIFIED-IDENT-STRING-ALISTP))
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::CODE-ENSEMBLE-ADD-SECTION-ATTR-QUALIFIED-IDENT-STRING-ALIST-EQUIV-CONGRUENCE-ON-ATTRS)
(C2C::ADD-SECTION-ATTR-PROCESS-INPUTS)
(C2C::MAYBE-MSGP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS.ER?
 (4 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C2C::CODE-ENSEMBLEP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS.CODE
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::SYMBOLP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS.CONST-NEW$
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::QUALIFIED-IDENT-STRING-ALISTP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS.ATTRS$
 (4 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::CODE-ENSEMBLE-ANNOP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS.CODE
 (4 4 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING
 (2 2 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C2C::QUALIFIED-IDENT-STRING-ALISTP-WHEN-NOT-CONSP))
 )
(C2C::MAYBE-MSGP-OF-ADD-SECTION-ATTR-GEN-EVERYTHING.ER?
 (5 1 (:REWRITE MAYBE-MSGP-WHEN-MSGP))
 (2 2 (:TYPE-PRESCRIPTION MSGP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 (1 1 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 )
(C2C::PSEUDO-EVENT-FORMP-OF-ADD-SECTION-ATTR-GEN-EVERYTHING.EVENT
 (2 2 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 )
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING-OF-CODE-ENSEMBLE-FIX-CODE)
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING-CODE-ENSEMBLE-EQUIV-CONGRUENCE-ON-CODE)
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING-OF-SYMBOL-FIX-CONST-NEW)
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING-SYMBOL-EQUIV-CONGRUENCE-ON-CONST-NEW)
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING-OF-QUALIFIED-IDENT-STRING-ALIST-FIX-ATTRS)
(C2C::ADD-SECTION-ATTR-GEN-EVERYTHING-QUALIFIED-IDENT-STRING-ALIST-EQUIV-CONGRUENCE-ON-ATTRS)
(C2C::ADD-SECTION-ATTR-PROCESS-INPUTS-AND-GEN-EVERYTHING)
(C2C::MAYBE-MSGP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS-AND-GEN-EVERYTHING.ER?
 (5 1 (:REWRITE MAYBE-MSGP-WHEN-MSGP))
 (2 2 (:TYPE-PRESCRIPTION MSGP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C2C::PSEUDO-EVENT-FORMP-OF-ADD-SECTION-ATTR-PROCESS-INPUTS-AND-GEN-EVERYTHING.EVENT)
(C2C::ADD-SECTION-ATTR-FN)
(C2C::BOOLEANP-OF-ADD-SECTION-ATTR-FN.ERP)
(C2C::PSEUDO-EVENT-FORMP-OF-ADD-SECTION-ATTR-FN.EVENT)
