(C$::ILDM-IDENT)
(C$::IDENTP-OF-ILDM-IDENT)
(C$::LDM-IDENT-OF-ILDM-IDENT
 (5 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENTP))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C$::ILDM-IDENT-OF-IDENT-FIX-IDENT)
(C$::ILDM-IDENT-IDENT-EQUIV-CONGRUENCE-ON-IDENT)
(C$::ILDM-ICONST
 (112 8 (:REWRITE C$::ISUFFIX-OPTIONP-WHEN-ISUFFIXP))
 (40 4 (:REWRITE C$::ISUFFIXP-WHEN-ISUFFIX-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C$::ISUFFIXP))
 )
(C$::ICONSTP-OF-ILDM-ICONST
 (197 14 (:REWRITE C$::ICONSTP-WHEN-ICONST-OPTIONP))
 (176 7 (:REWRITE C$::ICONST-OPTIONP-WHEN-ICONSTP))
 (21 21 (:TYPE-PRESCRIPTION C$::ICONST-OPTIONP))
 (8 8 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::HPREFIX-FIX-UNDER-HPREFIX-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::DEC/OCT/HEX-CONST-FIX-UNDER-DEC/OCT/HEX-CONST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 )
(C$::LDM-ICONST-OF-ILDM-ICONST
 (352 44 (:REWRITE C::ICONST-FIX-WHEN-ICONSTP))
 (84 42 (:REWRITE C::ICONST-BASE-FIX-WHEN-OCT))
 (84 42 (:REWRITE C::ICONST-BASE-FIX-WHEN-HEX))
 (84 42 (:REWRITE C::ICONST-BASE-FIX-WHEN-DEC))
 (54 54 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (48 48 (:REWRITE-QUOTED-CONSTANT C$::HPREFIX-FIX-UNDER-HPREFIX-EQUIV))
 (9 9 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (9 9 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 )
(C$::ILDM-ICONST-OF-ICONST-FIX-ICONST
 (8 1 (:REWRITE C::ICONST-FIX-WHEN-ICONSTP))
 (5 1 (:REWRITE C::ICONSTP-WHEN-ICONST-OPTIONP))
 (4 4 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (3 3 (:TYPE-PRESCRIPTION C::ICONSTP))
 (2 2 (:TYPE-PRESCRIPTION C::ICONST-OPTIONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (2 1 (:REWRITE C::ICONST-OPTIONP-WHEN-ICONSTP))
 )
(C$::ILDM-ICONST-ICONST-EQUIV-CONGRUENCE-ON-ICONST)
(C$::ILDM-ICONST-OPTION)
(C$::ICONST-OPTIONP-OF-ILDM-ICONST-OPTION
 (6 1 (:REWRITE C$::ICONSTP-WHEN-ICONST-OPTIONP))
 )
(C$::LDM-ICONST-OPTION-OF-ILDM-ICONST-OPTION
 (5 1 (:REWRITE C::ICONSTP-WHEN-ICONST-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ICONST-OPTIONP))
 (2 1 (:REWRITE C::ICONST-OPTIONP-WHEN-ICONSTP))
 )
(C$::ILDM-ICONST-OPTION-OF-ICONST-OPTION-FIX-ICONST?
 (8 1 (:REWRITE C::ICONST-OPTION-FIX-WHEN-ICONST-OPTIONP))
 (5 1 (:REWRITE C::ICONST-OPTIONP-WHEN-ICONSTP))
 (3 3 (:TYPE-PRESCRIPTION C::ICONST-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ICONSTP))
 (2 1 (:REWRITE C::ICONSTP-WHEN-ICONST-OPTIONP))
 (1 1 (:REWRITE C::ICONST-OPTION-FIX-WHEN-NONE))
 )
(C$::ILDM-ICONST-OPTION-ICONST-OPTION-EQUIV-CONGRUENCE-ON-ICONST?)
(C$::ILDM-CONST)
(C$::CONSTP-OF-ILDM-CONST
 (17 2 (:REWRITE C$::CONSTP-WHEN-CONST-OPTIONP))
 (14 1 (:REWRITE C$::CONST-OPTIONP-WHEN-CONSTP))
 (3 3 (:TYPE-PRESCRIPTION C$::CONST-OPTIONP))
 )
(C$::LDM-CONST-OF-ILDM-CONST)
(C$::ILDM-CONST-OF-CONST-FIX-CONST
 (3 1 (:REWRITE C::CONST-FIX-WHEN-CONSTP))
 (2 2 (:TYPE-PRESCRIPTION C::CONSTP))
 (2 1 (:REWRITE C::CONST-FIX-WHEN-FLOAT))
 (2 1 (:REWRITE C::CONST-FIX-WHEN-CHAR))
 )
(C$::ILDM-CONST-CONST-EQUIV-CONGRUENCE-ON-CONST)
(C$::ILDM-TYSPECSEQ
 (130 42 (:REWRITE C::TYSPECSEQP-WHEN-TYSPECSEQ-OPTIONP))
 (48 40 (:REWRITE C::TYSPECSEQ-OPTIONP-WHEN-TYSPECSEQP))
 (44 44 (:TYPE-PRESCRIPTION C::TYSPECSEQ-OPTIONP))
 (6 6 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C$::TYPE-SPEC-LISTP-OF-ILDM-TYSPECSEQ
 (120 5 (:REWRITE C$::TYPE-SPEC-LISTP-WHEN-NOT-CONSP))
 (16 16 (:REWRITE C$::TYPE-SPECP-WHEN-MEMBER-EQUAL-OF-TYPE-SPEC-LISTP))
 (10 10 (:REWRITE C$::TYPE-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLON-LIST-FIX-UNDER-STRUCT-DECLON-LIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ENUMER-LIST-FIX-UNDER-ENUMER-LIST-EQUIV))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::LDM-TYPE-SPEC-LIST-OF-ILDM-TYSPECSEQ
 (1562 178 (:REWRITE C::TYSPECSEQP-WHEN-TYSPECSEQ-OPTIONP))
 (648 186 (:REWRITE C::TYSPECSEQ-FIX-WHEN-TYSPECSEQP))
 (412 122 (:REWRITE C::TYSPECSEQ-OPTIONP-WHEN-TYSPECSEQP))
 (300 2 (:REWRITE C$::TYPE-SPEC-LIST-FIX-WHEN-TYPE-SPEC-LISTP))
 (254 254 (:TYPE-PRESCRIPTION C::TYSPECSEQP))
 (244 244 (:TYPE-PRESCRIPTION C::TYSPECSEQ-OPTIONP))
 (74 74 (:REWRITE-QUOTED-CONSTANT C$::TYPE-SPEC-LIST-FIX-UNDER-TYPE-SPEC-LIST-EQUIV))
 (74 2 (:REWRITE C$::TYPE-SPEC-LISTP-WHEN-NOT-CONSP))
 (48 8 (:REWRITE C$::TYPE-SPECP-WHEN-TYPE-SPEC-OPTIONP))
 (24 8 (:REWRITE C$::TYPE-SPEC-OPTIONP-WHEN-TYPE-SPECP))
 (16 16 (:TYPE-PRESCRIPTION C$::TYPE-SPEC-OPTIONP))
 (16 16 (:REWRITE C$::TYPE-SPECP-WHEN-MEMBER-EQUAL-OF-TYPE-SPEC-LISTP))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-VOID))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-UNSIGNED))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-SHORT))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LONG))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LOCASE-FLOAT80))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LOCASE-FLOAT128))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-INT))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT64X))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT64))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT32X))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT32))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT16X))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT16))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT128X))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT128))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-DOUBLE))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-COMPLEX))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-CHAR))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-BUILTIN-VA-LIST))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-BOOL))
 (16 8 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-AUTO-TYPE))
 (12 6 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 (8 8 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLON-LIST-FIX-UNDER-STRUCT-DECLON-LIST-EQUIV))
 (8 8 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (6 6 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:TYPE-PRESCRIPTION C$::TYPE-SPEC-LISTP))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::ENUMER-LIST-FIX-UNDER-ENUMER-LIST-EQUIV))
 (4 4 (:REWRITE C$::TYPE-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(C$::ILDM-TYSPECSEQ-OF-TYSPECSEQ-FIX-TYSPECS
 (8 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-TYSPECSEQP))
 (5 1 (:REWRITE C::TYSPECSEQP-WHEN-TYSPECSEQ-OPTIONP))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLON-LIST-FIX-UNDER-STRUCT-DECLON-LIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (3 3 (:TYPE-PRESCRIPTION C::TYSPECSEQP))
 (2 2 (:TYPE-PRESCRIPTION C::TYSPECSEQ-OPTIONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ENUMER-LIST-FIX-UNDER-ENUMER-LIST-EQUIV))
 (2 1 (:REWRITE C::TYSPECSEQ-OPTIONP-WHEN-TYSPECSEQP))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-VOID))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-UCHAR))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-SCHAR))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-CHAR))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-BOOL))
 )
(C$::ILDM-TYSPECSEQ-TYSPECSEQ-EQUIV-CONGRUENCE-ON-TYSPECS)
(C$::ILDM-SCSPECSEQ)
(C$::STOR-SPEC-LISTP-OF-ILDM-SCSPECSEQ
 (5 1 (:REWRITE C$::STOR-SPEC-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C$::STOR-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::LDM-STOR-SPEC-LIST-OF-ILDM-SCSPECSEQ
 (13 1 (:REWRITE C$::STOR-SPEC-LIST-FIX-WHEN-STOR-SPEC-LISTP))
 (5 1 (:REWRITE C$::STOR-SPEC-LISTP-WHEN-NOT-CONSP))
 (3 1 (:REWRITE C::SCSPECSEQ-FIX-WHEN-SCSPECSEQP))
 (2 2 (:TYPE-PRESCRIPTION C$::STOR-SPEC-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCSPECSEQP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::STOR-SPEC-LIST-FIX-UNDER-STOR-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE C$::STOR-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-SCSPECSEQ-OF-SCSPECSEQ-FIX-SCSPECS)
(C$::ILDM-SCSPECSEQ-SCSPECSEQ-EQUIV-CONGRUENCE-ON-SCSPECS)
(C$::ILDM-OBJ-DECLOR)
(C$::DECLORP-OF-ILDM-OBJ-DECLOR
 (149 26 (:REWRITE C$::DECLORP-WHEN-DECLOR-OPTIONP))
 (110 13 (:REWRITE C$::DECLOR-OPTIONP-WHEN-DECLORP))
 (39 39 (:TYPE-PRESCRIPTION C$::DECLOR-OPTIONP))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 )
(C$::ILDM-OBJ-DECLOR
 (26 2 (:DEFINITION C$::ILDM-OBJ-DECLOR))
 (7 1 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 (2 2 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (2 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 )
(C$::ILDM-OBJ-DECLOR-OF-OBJ-DECLOR-FIX-DECLOR
 (12 12 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (12 12 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 )
(C$::ILDM-OBJ-DECLOR-OBJ-DECLOR-EQUIV-CONGRUENCE-ON-DECLOR)
(C$::ILDM-OBJ-ADECLOR)
(C$::ABSDECLORP-OF-ILDM-OBJ-ADECLOR
 (149 26 (:REWRITE C$::ABSDECLORP-WHEN-ABSDECLOR-OPTIONP))
 (110 13 (:REWRITE C$::ABSDECLOR-OPTIONP-WHEN-ABSDECLORP))
 (39 39 (:TYPE-PRESCRIPTION C$::ABSDECLOR-OPTIONP))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::DIRABSDECLOR-OPTION-FIX-UNDER-DIRABSDECLOR-OPTION-EQUIV))
 )
(C$::ILDM-OBJ-ADECLOR
 (28 2 (:DEFINITION C$::ILDM-OBJ-ADECLOR))
 (7 7 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (7 1 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::DIRABSDECLOR-OPTION-FIX-UNDER-DIRABSDECLOR-OPTION-EQUIV))
 (2 2 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (2 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 )
(C$::ILDM-OBJ-ADECLOR-OF-OBJ-ADECLOR-FIX-ADECLOR
 (12 12 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (11 11 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::DIRABSDECLOR-OPTION-FIX-UNDER-DIRABSDECLOR-OPTION-EQUIV))
 )
(C$::ILDM-OBJ-ADECLOR-OBJ-ADECLOR-EQUIV-CONGRUENCE-ON-ADECLOR)
(C$::ILDM-TYNAME
 (5 1 (:REWRITE C$::SPEC/QUAL-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::TYNAMEP-OF-ILDM-TYNAME
 (5 1 (:REWRITE C$::SPEC/QUAL-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-TYNAME-OF-TYNAME-FIX-TYNAME
 (10 2 (:REWRITE C$::SPEC/QUAL-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (3 1 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (2 2 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-TYNAME-TYNAME-EQUIV-CONGRUENCE-ON-TYNAME)
(C$::ILDM-UNOP)
(C$::UNOPP-OF-ILDM-UNOP)
(C$::ILDM-UNOP-OF-UNOP-FIX-UNOP)
(C$::ILDM-UNOP-UNOP-EQUIV-CONGRUENCE-ON-UNOP)
(C$::ILDM-BINOP)
(C$::BINOPP-OF-ILDM-BINOP)
(C$::ILDM-BINOP-OF-BINOP-FIX-BINOP)
(C$::ILDM-BINOP-BINOP-EQUIV-CONGRUENCE-ON-BINOP)
(C$::ILDM-EXPR)
(C$::ILDM-EXPRS-FLAG
 (2 2 (:REWRITE CONSP-BY-LEN))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(C$::ILDM-EXPRS-FLAG-EQUIVALENCES)
(C$::FLAG-LEMMA-FOR-RETURN-TYPE-OF-ILDM-EXPR.EXPR1
 (452 424 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (72 15 (:REWRITE C$::EXPR-LISTP-WHEN-NOT-CONSP))
 (28 28 (:REWRITE CONSP-BY-LEN))
 (17 17 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (15 3 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (15 3 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (8 8 (:REWRITE SUBSETP-MEMBER . 2))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (6 6 (:REWRITE SUBSETP-TRANS2))
 (6 6 (:REWRITE SUBSETP-TRANS))
 )
(C$::RETURN-TYPE-OF-ILDM-EXPR.EXPR1)
(C$::RETURN-TYPE-OF-ILDM-EXPR-LIST.EXPRS1)
(C$::ILDM-EXPR
 (27 1 (:DEFINITION C$::ILDM-EXPR))
 (6 4 (:REWRITE C::EXPR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::FLAG-LEMMA-FOR-ILDM-EXPR-OF-EXPR-FIX-EXPR
 (410 79 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (173 79 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (158 158 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (52 36 (:REWRITE C::EXPR-LISTP-WHEN-NOT-CONSP))
 (32 8 (:REWRITE C::EXPRP-OF-CAR-WHEN-EXPR-LISTP))
 (32 8 (:REWRITE C::EXPR-LISTP-OF-CDR-WHEN-EXPR-LISTP))
 (22 22 (:REWRITE CONSP-BY-LEN))
 (8 8 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(C$::ILDM-EXPR-OF-EXPR-FIX-EXPR)
(C$::ILDM-EXPR-LIST-OF-EXPR-LIST-FIX-EXPRS)
(C$::ILDM-EXPR-EXPR-EQUIV-CONGRUENCE-ON-EXPR)
(C$::ILDM-EXPR-LIST-EXPR-LIST-EQUIV-CONGRUENCE-ON-EXPRS)
(C$::ILDM-EXPR-OPTION)
(C$::EXPR-OPTIONP-OF-ILDM-EXPR-OPTION
 (6 1 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (2 2 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 )
(C$::ILDM-EXPR-OPTION-OF-EXPR-OPTION-FIX-EXPR?
 (8 1 (:REWRITE C::EXPR-OPTION-FIX-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPRP))
 (2 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (1 1 (:REWRITE C::EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::ILDM-EXPR-OPTION-EXPR-OPTION-EQUIV-CONGRUENCE-ON-EXPR?)
(C$::ILDM-STRUCT-DECLON
 (5 1 (:REWRITE C$::SPEC/QUAL-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (1 1 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::STRUCT-DECLONP-OF-ILDM-STRUCT-DECLON
 (5 1 (:REWRITE C$::SPEC/QUAL-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLOR-LIST-FIX-UNDER-STRUCT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-STRUCT-DECLON-OF-STRUCT-DECLON-FIX-SDECLON
 (10 2 (:REWRITE C$::SPEC/QUAL-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (3 1 (:REWRITE C::STRUCT-DECLON-FIX-WHEN-STRUCT-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C::STRUCT-DECLONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLOR-LIST-FIX-UNDER-STRUCT-DECLOR-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-STRUCT-DECLON-STRUCT-DECLON-EQUIV-CONGRUENCE-ON-SDECLON)
(C$::ILDM-STRUCT-DECLON-LIST
 (6 4 (:REWRITE C::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::STRUCT-DECLON-LISTP-OF-ILDM-STRUCT-DECLON-LIST
 (37 8 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C$::ILDM-STRUCT-DECLON-LIST-OF-STRUCT-DECLON-LIST-FIX-SDECLONS
 (87 13 (:REWRITE C::STRUCT-DECLON-LIST-FIX-WHEN-STRUCT-DECLON-LISTP))
 (37 37 (:TYPE-PRESCRIPTION C::STRUCT-DECLON-LISTP))
 (37 37 (:REWRITE CONSP-BY-LEN))
 (31 19 (:REWRITE C::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (24 6 (:REWRITE C::STRUCT-DECLON-LISTP-OF-CDR-WHEN-STRUCT-DECLON-LISTP))
 )
(C$::ILDM-STRUCT-DECLON-LIST-STRUCT-DECLON-LIST-EQUIV-CONGRUENCE-ON-SDECLONS)
(C$::ILDM-ENUMER-LIST)
(C$::ENUMER-LISTP-OF-ILDM-ENUMER-LIST
 (37 8 (:REWRITE C$::ENUMER-LISTP-WHEN-NOT-CONSP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C$::ILDM-ENUMER-LIST
 (6 4 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-ENUMER-LIST-OF-IDENT-LIST-FIX-ENUMERS
 (87 13 (:REWRITE C::IDENT-LIST-FIX-WHEN-IDENT-LISTP))
 (37 37 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (37 37 (:REWRITE CONSP-BY-LEN))
 (31 19 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (28 28 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (24 6 (:REWRITE C::IDENT-LISTP-OF-CDR-WHEN-IDENT-LISTP))
 )
(C$::ILDM-ENUMER-LIST-IDENT-LIST-EQUIV-CONGRUENCE-ON-ENUMERS)
(C$::ILDM-TAG-DECLON
 (26 3 (:REWRITE C$::TYPE-SPECP-WHEN-TYPE-SPEC-OPTIONP))
 (22 1 (:REWRITE C$::TYPE-SPEC-OPTIONP-WHEN-TYPE-SPECP))
 (6 6 (:REWRITE C$::TYPE-SPECP-WHEN-MEMBER-EQUAL-OF-TYPE-SPEC-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::TYPE-SPEC-OPTIONP))
 (3 3 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-NOT-CONSP))
 )
(C$::DECLONP-OF-ILDM-TAG-DECLON
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::DECL-SPEC-LIST-FIX-UNDER-DECL-SPEC-LIST-EQUIV))
 )
(C$::ILDM-TAG-DECLON-OF-TAG-DECLON-FIX-DECLON
 (4 4 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (3 1 (:REWRITE C::TAG-DECLON-FIX-WHEN-TAG-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C::TAG-DECLONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::DECL-SPEC-LIST-FIX-UNDER-DECL-SPEC-LIST-EQUIV))
 )
(C$::ILDM-TAG-DECLON-TAG-DECLON-EQUIV-CONGRUENCE-ON-DECLON)
(C$::ILDM-PARAM-DECLON)
(C$::PARAM-DECLONP-OF-ILDM-PARAM-DECLON)
(C$::ILDM-PARAM-DECLON-OF-PARAM-DECLON-FIX-PDECLON)
(C$::ILDM-PARAM-DECLON-PARAM-DECLON-EQUIV-CONGRUENCE-ON-PDECLON)
(C$::ILDM-PARAM-DECLON-LIST
 (6 4 (:REWRITE C::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::PARAM-DECLON-LISTP-OF-ILDM-PARAM-DECLON-LIST
 (37 8 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C$::ILDM-PARAM-DECLON-LIST-OF-PARAM-DECLON-LIST-FIX-PDECLONS
 (87 13 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (37 37 (:TYPE-PRESCRIPTION C::PARAM-DECLON-LISTP))
 (37 37 (:REWRITE CONSP-BY-LEN))
 (31 19 (:REWRITE C::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (24 6 (:REWRITE C::PARAM-DECLON-LISTP-OF-CDR-WHEN-PARAM-DECLON-LISTP))
 )
(C$::ILDM-PARAM-DECLON-LIST-PARAM-DECLON-LIST-EQUIV-CONGRUENCE-ON-PDECLONS)
(C$::ILDM-FUN-DECLOR)
(C$::DECLORP-OF-ILDM-FUN-DECLOR
 (94 16 (:REWRITE C$::DECLORP-WHEN-DECLOR-OPTIONP))
 (70 8 (:REWRITE C$::DECLOR-OPTIONP-WHEN-DECLORP))
 (24 24 (:TYPE-PRESCRIPTION C$::DECLOR-OPTIONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-FIX-UNDER-IDENT-LIST-EQUIV))
 )
(C$::ILDM-FUN-DECLOR
 (8 1 (:DEFINITION C$::ILDM-FUN-DECLOR))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-FIX-UNDER-IDENT-LIST-EQUIV))
 (2 2 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 )
(C$::ILDM-FUN-DECLOR-OF-FUN-DECLOR-FIX-DECLOR
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-FIX-UNDER-IDENT-LIST-EQUIV))
 )
(C$::ILDM-FUN-DECLOR-FUN-DECLOR-EQUIV-CONGRUENCE-ON-DECLOR)
(C$::ILDM-FUN-ADECLOR)
(C$::ABSDECLORP-OF-ILDM-FUN-ADECLOR
 (77 14 (:REWRITE C$::ABSDECLORP-WHEN-ABSDECLOR-OPTIONP))
 (56 7 (:REWRITE C$::ABSDECLOR-OPTIONP-WHEN-ABSDECLORP))
 (21 21 (:TYPE-PRESCRIPTION C$::ABSDECLOR-OPTIONP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::DIRABSDECLOR-OPTION-FIX-UNDER-DIRABSDECLOR-OPTION-EQUIV))
 )
(C$::ILDM-FUN-ADECLOR
 (6 1 (:DEFINITION C$::ILDM-FUN-ADECLOR))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::DIRABSDECLOR-OPTION-FIX-UNDER-DIRABSDECLOR-OPTION-EQUIV))
 (2 2 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 )
(C$::ILDM-FUN-ADECLOR-OF-FUN-ADECLOR-FIX-ADECLOR
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::DIRABSDECLOR-OPTION-FIX-UNDER-DIRABSDECLOR-OPTION-EQUIV))
 )
(C$::ILDM-FUN-ADECLOR-FUN-ADECLOR-EQUIV-CONGRUENCE-ON-ADECLOR)
(C$::ILDM-FUN-DECLON
 (5 1 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INITER-OPTION-FIX-UNDER-INITER-OPTION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (1 1 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::DECLONP-OF-ILDM-FUN-DECLON
 (5 1 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INITER-OPTION-FIX-UNDER-INITER-OPTION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-FUN-DECLON-OF-FUN-DECLON-FIX-DECLON
 (10 2 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (3 1 (:REWRITE C::FUN-DECLON-FIX-WHEN-FUN-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-DECLONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::INITER-OPTION-FIX-UNDER-INITER-OPTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (2 2 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-FUN-DECLON-FUN-DECLON-EQUIV-CONGRUENCE-ON-DECLON)
(C$::ILDM-DESINITER-LIST
 (7 2 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (6 4 (:REWRITE C::EXPR-LISTP-WHEN-NOT-CONSP))
 (5 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::DESINITER-LISTP-OF-ILDM-DESINITER-LIST
 (37 8 (:REWRITE C$::DESINITER-LISTP-WHEN-NOT-CONSP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::DESIGNOR-LIST-FIX-UNDER-DESIGNOR-LIST-EQUIV))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C$::ILDM-DESINITER-LIST-OF-EXPR-LIST-FIX-EXPRS
 (87 13 (:REWRITE C::EXPR-LIST-FIX-WHEN-EXPR-LISTP))
 (37 37 (:TYPE-PRESCRIPTION C::EXPR-LISTP))
 (37 37 (:REWRITE CONSP-BY-LEN))
 (31 19 (:REWRITE C::EXPR-LISTP-WHEN-NOT-CONSP))
 (28 28 (:REWRITE-QUOTED-CONSTANT C$::DESIGNOR-LIST-FIX-UNDER-DESIGNOR-LIST-EQUIV))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (24 6 (:REWRITE C::EXPR-LISTP-OF-CDR-WHEN-EXPR-LISTP))
 )
(C$::ILDM-DESINITER-LIST-EXPR-LIST-EQUIV-CONGRUENCE-ON-EXPRS)
(C$::ILDM-INITER)
(C$::INITERP-OF-ILDM-INITER
 (17 2 (:REWRITE C$::INITERP-WHEN-INITER-OPTIONP))
 (14 1 (:REWRITE C$::INITER-OPTIONP-WHEN-INITERP))
 (3 3 (:TYPE-PRESCRIPTION C$::INITER-OPTIONP))
 )
(C$::ILDM-INITER-OF-INITER-FIX-INITER
 (8 1 (:REWRITE C::INITER-FIX-WHEN-INITERP))
 (5 1 (:REWRITE C::INITERP-WHEN-INITER-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::INITERP))
 (2 2 (:TYPE-PRESCRIPTION C::INITER-OPTIONP))
 (2 1 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 )
(C$::ILDM-INITER-INITER-EQUIV-CONGRUENCE-ON-INITER)
(C$::ILDM-INITER-OPTION)
(C$::INITER-OPTIONP-OF-ILDM-INITER-OPTION
 (6 1 (:REWRITE C$::INITERP-WHEN-INITER-OPTIONP))
 )
(C$::ILDM-INITER-OPTION-OF-INITER-OPTION-FIX-INITER?
 (8 1 (:REWRITE C::INITER-OPTION-FIX-WHEN-INITER-OPTIONP))
 (5 1 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 (3 3 (:TYPE-PRESCRIPTION C::INITER-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::INITERP))
 (2 1 (:REWRITE C::INITERP-WHEN-INITER-OPTIONP))
 (1 1 (:REWRITE C::INITER-OPTION-FIX-WHEN-NONE))
 )
(C$::ILDM-INITER-OPTION-INITER-OPTION-EQUIV-CONGRUENCE-ON-INITER?)
(C$::ILDM-OBJ-DECLON
 (8 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::DECL-SPEC-STOCLASS-LIST-WHEN-NOT-CONSP))
 (5 1 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (4 1 (:REWRITE C$::CONSP-OF-DECL-SPEC-STOCLASS-LIST))
 (2 2 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (1 1 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 )
(C$::DECLONP-OF-ILDM-OBJ-DECLON
 (8 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (5 5 (:TYPE-PRESCRIPTION C$::ILDM-SCSPECSEQ))
 (5 1 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (5 1 (:REWRITE C$::DECL-SPEC-STOCLASS-LIST-WHEN-NOT-CONSP))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (4 1 (:REWRITE C$::CONSP-OF-DECL-SPEC-STOCLASS-LIST))
 (3 3 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (2 2 (:TYPE-PRESCRIPTION C$::TRUE-LISTP-OF-DECL-SPEC-STOCLASS-LIST))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 )
(C$::ILDM-OBJ-DECLON-OF-OBJ-DECLON-FIX-DECLON
 (16 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (10 10 (:TYPE-PRESCRIPTION C$::ILDM-SCSPECSEQ))
 (10 2 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (10 2 (:REWRITE C$::DECL-SPEC-STOCLASS-LIST-WHEN-NOT-CONSP))
 (8 8 (:REWRITE CONSP-BY-LEN))
 (8 2 (:REWRITE C$::CONSP-OF-DECL-SPEC-STOCLASS-LIST))
 (8 1 (:REWRITE C::OBJ-DECLON-FIX-WHEN-OBJ-DECLONP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (5 1 (:REWRITE C::OBJ-DECLONP-WHEN-OBJ-DECLON-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C$::TRUE-LISTP-OF-DECL-SPEC-STOCLASS-LIST))
 (3 3 (:TYPE-PRESCRIPTION C::OBJ-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C::OBJ-DECLON-OPTIONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (2 1 (:REWRITE C::OBJ-DECLON-OPTIONP-WHEN-OBJ-DECLONP))
 )
(C$::ILDM-OBJ-DECLON-OBJ-DECLON-EQUIV-CONGRUENCE-ON-DECLON)
(C$::ILDM-LABEL)
(C$::LABELP-OF-ILDM-LABEL
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 )
(C$::ILDM-LABEL-OF-LABEL-FIX-LABEL
 (3 1 (:REWRITE C::LABEL-FIX-WHEN-LABELP))
 (2 2 (:TYPE-PRESCRIPTION C::LABELP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::CONST-EXPR-OPTION-FIX-UNDER-CONST-EXPR-OPTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 1 (:REWRITE C::LABEL-FIX-WHEN-DEFAULT))
 )
(C$::ILDM-LABEL-LABEL-EQUIV-CONGRUENCE-ON-LABEL)
(C$::ILDM-STMT)
(C$::ILDM-STMTS-FLAG
 (2 2 (:REWRITE CONSP-BY-LEN))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(C$::ILDM-STMTS-FLAG-EQUIVALENCES)
(C$::FLAG-LEMMA-FOR-RETURN-TYPE-OF-ILDM-STMT.STMT1
 (72 15 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (42 22 (:REWRITE C$::BLOCK-ITEMP-WHEN-MEMBER-EQUAL-OF-BLOCK-ITEM-LISTP))
 (28 28 (:REWRITE CONSP-BY-LEN))
 (15 3 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (15 3 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (13 13 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (6 6 (:REWRITE SUBSETP-TRANS2))
 (6 6 (:REWRITE SUBSETP-TRANS))
 (6 6 (:REWRITE SUBSETP-MEMBER . 2))
 (6 6 (:REWRITE SUBSETP-MEMBER . 1))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-LIST-FIX-UNDER-IDENT-LIST-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 )
(C$::RETURN-TYPE-OF-ILDM-STMT.STMT1)
(C$::RETURN-TYPE-OF-ILDM-BLOCK-ITEM.ITEM1)
(C$::RETURN-TYPE-OF-ILDM-BLOCK-ITEM-LIST.ITEMS1)
(C$::ILDM-STMT
 (6 4 (:REWRITE C::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::FLAG-LEMMA-FOR-ILDM-STMT-OF-STMT-FIX-STMT
 (274 53 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (115 53 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (106 106 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (80 16 (:REWRITE C::BLOCK-ITEM-FIX-WHEN-BLOCK-ITEMP))
 (52 36 (:REWRITE C::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (32 32 (:TYPE-PRESCRIPTION C::BLOCK-ITEMP))
 (32 8 (:REWRITE C::BLOCK-ITEMP-OF-CAR-WHEN-BLOCK-ITEM-LISTP))
 (32 8 (:REWRITE C::BLOCK-ITEM-LISTP-OF-CDR-WHEN-BLOCK-ITEM-LISTP))
 (22 22 (:REWRITE CONSP-BY-LEN))
 (8 8 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-LIST-FIX-UNDER-IDENT-LIST-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::EXPR-OPTION-FIX-UNDER-EXPR-OPTION-EQUIV))
 )
(C$::ILDM-STMT-OF-STMT-FIX-STMT)
(C$::ILDM-BLOCK-ITEM-OF-BLOCK-ITEM-FIX-ITEM)
(C$::ILDM-BLOCK-ITEM-LIST-OF-BLOCK-ITEM-LIST-FIX-ITEMS)
(C$::ILDM-STMT-STMT-EQUIV-CONGRUENCE-ON-STMT)
(C$::ILDM-BLOCK-ITEM-BLOCK-ITEM-EQUIV-CONGRUENCE-ON-ITEM)
(C$::ILDM-BLOCK-ITEM-LIST-BLOCK-ITEM-LIST-EQUIV-CONGRUENCE-ON-ITEMS)
(C$::ILDM-FUNDEF
 (5 1 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::FUNDEFP-OF-ILDM-FUNDEF
 (5 1 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-LIST-FIX-UNDER-IDENT-LIST-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::DECLON-LIST-FIX-UNDER-DECLON-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-FUNDEF-OF-FUNDEF-FIX-FUNDEF
 (10 2 (:REWRITE C$::DECL-SPEC-TYPESPEC-LIST-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-TYSPECSEQ))
 (3 1 (:REWRITE C::FUNDEF-FIX-WHEN-FUNDEFP))
 (2 2 (:TYPE-PRESCRIPTION C::FUNDEFP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-LIST-FIX-UNDER-IDENT-LIST-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::DECLON-LIST-FIX-UNDER-DECLON-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C$::ASM-NAME-SPEC-OPTION-FIX-UNDER-ASM-NAME-SPEC-OPTION-EQUIV))
 (2 2 (:REWRITE CONSP-BY-LEN))
 )
(C$::ILDM-FUNDEF-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(C$::ILDM-EXT-DECLON)
(C$::EXT-DECLONP-OF-ILDM-EXT-DECLON
 (2 2 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 )
(C$::ILDM-EXT-DECLON-OF-EXT-DECLON-FIX-EDECLON
 (3 1 (:REWRITE C::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXT-DECLONP))
 )
(C$::ILDM-EXT-DECLON-EXT-DECLON-EQUIV-CONGRUENCE-ON-EDECLON)
(C$::ILDM-EXT-DECLON-LIST
 (6 4 (:REWRITE C::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(C$::EXT-DECLON-LISTP-OF-ILDM-EXT-DECLON-LIST
 (37 8 (:REWRITE C$::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C$::ILDM-EXT-DECLON-LIST-OF-EXT-DECLON-LIST-FIX-EDECLONS
 (87 13 (:REWRITE C::EXT-DECLON-LIST-FIX-WHEN-EXT-DECLON-LISTP))
 (37 37 (:TYPE-PRESCRIPTION C::EXT-DECLON-LISTP))
 (37 37 (:REWRITE CONSP-BY-LEN))
 (31 19 (:REWRITE C::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 (25 25 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (24 6 (:REWRITE C::EXT-DECLON-LISTP-OF-CDR-WHEN-EXT-DECLON-LISTP))
 )
(C$::ILDM-EXT-DECLON-LIST-EXT-DECLON-LIST-EQUIV-CONGRUENCE-ON-EDECLONS)
(C$::CHARS-TO-Q-CHARS
 (16 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LIST*P))
 (16 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LIST*P))
 (12 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LIST*P))
 (4 4 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LIST*P))
 (4 4 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LIST*P))
 (4 4 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LIST*P))
 (4 4 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-OCT-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-HEX-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-DEC-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (2 2 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C$::Q-CHAR-LISTP-OF-CHARS-TO-Q-CHARS
 (37 8 (:REWRITE C$::Q-CHAR-LISTP-WHEN-NOT-CONSP))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (10 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (6 2 (:REWRITE C$::Q-CHAR-P-WHEN-MEMBER-EQUAL-OF-Q-CHAR-LISTP))
 (5 5 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C$::CHARS-TO-Q-CHARS-OF-MAKE-CHARACTER-LIST-CHARS
 (557 13 (:REWRITE STR::MAKE-CHARACTER-LIST-WHEN-CHARACTER-LISTP))
 (168 6 (:REWRITE CHARACTER-LISTP-OF-CDR-WHEN-CHARACTER-LISTP))
 (156 18 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LIST*P))
 (156 18 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LIST*P))
 (120 18 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LIST*P))
 (42 42 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LIST*P))
 (42 42 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LIST*P))
 (42 42 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LIST*P))
 (42 42 (:REWRITE CONSP-BY-LEN))
 (38 38 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (37 37 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (36 36 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (36 36 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (36 18 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-OCT-DIGIT-CHAR-LISTP))
 (36 18 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-HEX-DIGIT-CHAR-LISTP))
 (36 18 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-DEC-DIGIT-CHAR-LISTP))
 (31 31 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (31 19 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (18 18 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (18 18 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (18 18 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (18 18 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (18 18 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (18 18 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (12 6 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-OF-CDR-WHEN-OCT-DIGIT-CHAR-LIST*P))
 (12 6 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-OF-CDR-WHEN-HEX-DIGIT-CHAR-LIST*P))
 (12 6 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-OF-CDR-WHEN-DEC-DIGIT-CHAR-LIST*P))
 (2 2 (:REWRITE C$::Q-CHAR-P-WHEN-MEMBER-EQUAL-OF-Q-CHAR-LISTP))
 )
(C$::CHARS-TO-Q-CHARS-CHARLISTEQV-CONGRUENCE-ON-CHARS)
(C$::STRING-TO-Q-HEADER-NAME)
(C$::HEADER-NAMEP-OF-STRING-TO-Q-HEADER-NAME)
(C$::STRING-TO-Q-HEADER-NAME-OF-STR-FIX-STR)
(C$::STRING-TO-Q-HEADER-NAME-STREQV-CONGRUENCE-ON-STR)
(C$::ILDM-TRANSUNIT
 (11 5 (:REWRITE STRING-OPTIONP-WHEN-STRINGP))
 (6 6 (:REWRITE C$::HEADER-NAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (5 5 (:REWRITE CONSP-BY-LEN))
 (5 1 (:REWRITE C$::TRANS-ITEM-LIST-DECLON-WHEN-NOT-CONSP))
 (4 3 (:REWRITE C$::HEADER-NAME-LISTP-WHEN-NOT-CONSP))
 (3 2 (:REWRITE C$::TRANS-ITEM-LIST-INCLUDE-WHEN-NOT-CONSP))
 (2 2 (:REWRITE-QUOTED-CONSTANT STRING-OPTION-FIX-UNDER-STRING-OPTION-EQUIV))
 (2 2 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C$::CONSP-OF-TRANS-ITEM-LIST-INCLUDE))
 )
(C$::TRANSUNITP-OF-ILDM-TRANSUNIT
 (6 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (5 1 (:REWRITE C$::TRANS-ITEM-LIST-DECLON-WHEN-NOT-CONSP))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (3 3 (:TYPE-PRESCRIPTION C$::ILDM-EXT-DECLON-LIST))
 (2 2 (:TYPE-PRESCRIPTION C$::TRUE-LISTP-OF-TRANS-ITEM-LIST-INCLUDE))
 (2 1 (:REWRITE C$::TRANS-ITEM-LIST-INCLUDE-WHEN-NOT-CONSP))
 (2 1 (:REWRITE C$::CONSP-OF-TRANS-ITEM-LIST-INCLUDE))
 )
(C$::ILDM-TRANSUNIT-OF-STRING-OPTION-FIX-FILE-NAME
 (28 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (12 4 (:REWRITE C$::CONSP-OF-TRANS-ITEM-LIST-INCLUDE))
 (10 2 (:REWRITE C$::TRANS-ITEM-LIST-DECLON-WHEN-NOT-CONSP))
 (7 2 (:REWRITE C$::TRANS-ITEM-LIST-INCLUDE-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-EXT-DECLON-LIST))
 (6 1 (:REWRITE STRING-OPTION-FIX-WHEN-STRING-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION STRING-OPTIONP))
 (3 1 (:REWRITE STRING-OPTIONP-WHEN-STRINGP))
 (2 1 (:REWRITE STRINGP-WHEN-STRING-OPTIONP))
 (1 1 (:REWRITE STRING-OPTION-FIX-WHEN-NONE))
 )
(C$::ILDM-TRANSUNIT-STRING-OPTION-EQUIV-CONGRUENCE-ON-FILE-NAME)
(C$::ILDM-TRANSUNIT-OF-TRANSUNIT-FIX-TUNIT
 (12 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (10 2 (:REWRITE C$::TRANS-ITEM-LIST-DECLON-WHEN-NOT-CONSP))
 (8 8 (:REWRITE CONSP-BY-LEN))
 (8 1 (:REWRITE C::TRANSUNIT-FIX-WHEN-TRANSUNITP))
 (6 6 (:TYPE-PRESCRIPTION C$::ILDM-EXT-DECLON-LIST))
 (5 1 (:REWRITE C::TRANSUNITP-WHEN-TRANSUNIT-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C$::TRUE-LISTP-OF-TRANS-ITEM-LIST-INCLUDE))
 (4 2 (:REWRITE C$::TRANS-ITEM-LIST-INCLUDE-WHEN-NOT-CONSP))
 (4 2 (:REWRITE C$::CONSP-OF-TRANS-ITEM-LIST-INCLUDE))
 (3 3 (:TYPE-PRESCRIPTION C::TRANSUNITP))
 (2 2 (:TYPE-PRESCRIPTION C::TRANSUNIT-OPTIONP))
 (2 1 (:REWRITE C::TRANSUNIT-OPTIONP-WHEN-TRANSUNITP))
 )
(C$::ILDM-TRANSUNIT-TRANSUNIT-EQUIV-CONGRUENCE-ON-TUNIT)
(C$::ILDM-TRANSUNIT-ENSEMBLE
 (24 8 (:REWRITE STRINGP-WHEN-STRING-OPTIONP))
 (24 4 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (12 4 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (11 11 (:REWRITE-QUOTED-CONSTANT STRING-OPTION-FIX-UNDER-STRING-OPTION-EQUIV))
 (10 6 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (4 4 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE OMAP::UPDATE-NOT-EMPTYP))
 )
(C$::TRANSUNIT-ENSEMBLEP-OF-ILDM-TRANSUNIT-ENSEMBLE
 (5 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (5 2 (:REWRITE STRINGP-WHEN-STRING-OPTIONP))
 (5 1 (:REWRITE STR-FIX-WHEN-STRINGP))
 (2 2 (:TYPE-PRESCRIPTION STRING-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE-QUOTED-CONSTANT STRING-OPTION-FIX-UNDER-STRING-OPTION-EQUIV))
 (2 1 (:REWRITE STR-FIX-DEFAULT))
 (1 1 (:REWRITE STRING-OPTIONP-WHEN-STRINGP))
 )
(C$::ILDM-TRANSUNIT-ENSEMBLE-OF-STR-FIX-FILE-NAME
 (10 6 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (5 2 (:REWRITE STRINGP-WHEN-STRING-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (4 4 (:REWRITE-QUOTED-CONSTANT STRING-OPTION-FIX-UNDER-STRING-OPTION-EQUIV))
 (3 2 (:REWRITE STR-FIX-DEFAULT))
 (2 2 (:TYPE-PRESCRIPTION STRING-OPTIONP))
 (1 1 (:REWRITE STRING-OPTIONP-WHEN-STRINGP))
 )
(C$::ILDM-TRANSUNIT-ENSEMBLE-STREQV-CONGRUENCE-ON-FILE-NAME)
(C$::ILDM-TRANSUNIT-ENSEMBLE-OF-TRANSUNIT-ENSEMBLE-FIX-TUNITS
 (10 6 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (10 4 (:REWRITE STRINGP-WHEN-STRING-OPTIONP))
 (10 2 (:REWRITE STR-FIX-WHEN-STRINGP))
 (4 4 (:TYPE-PRESCRIPTION STRING-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (4 4 (:REWRITE-QUOTED-CONSTANT STRING-OPTION-FIX-UNDER-STRING-OPTION-EQUIV))
 (4 2 (:REWRITE STR-FIX-DEFAULT))
 (3 1 (:REWRITE C::TRANSUNIT-ENSEMBLE-FIX-WHEN-TRANSUNIT-ENSEMBLEP))
 (2 2 (:TYPE-PRESCRIPTION C::TRANSUNIT-ENSEMBLEP))
 (2 2 (:REWRITE STRING-OPTIONP-WHEN-STRINGP))
 )
(C$::ILDM-TRANSUNIT-ENSEMBLE-TRANSUNIT-ENSEMBLE-EQUIV-CONGRUENCE-ON-TUNITS)
