(C2C::|main-EQUIVALENCE|
 (155 4 (:REWRITE C::OBJDESIGN-OF-VAR-WHEN-STATIC))
 (31 3 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (27 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (26 2 (:REWRITE C::READ-VAR-TO-READ-STATIC-VAR))
 (23 1 (:REWRITE C::VAR-AUTOP-OF-ADD-VAR))
 (17 2 (:REWRITE C::POP-FRAME-OF-ADD-FRAME))
 (11 6 (:REWRITE C::EXEC-EXPR-PURE-WHEN-BINARY-LOGOR))
 (11 6 (:REWRITE C::EXEC-EXPR-PURE-WHEN-BINARY-LOGAND))
 (10 7 (:REWRITE C::READ-STATIC-VAR-OF-CONST-IDENTIFIER))
 (10 6 (:REWRITE C::EXEC-EXPR-PURE-WHEN-COND))
 (8 8 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (8 8 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (8 8 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (8 8 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (8 8 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (8 8 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-UNARY))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-MEMBERP))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-MEMBER))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-CAST))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-ARRSUB-OF-MEMBERP))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-ARRSUB-OF-MEMBER))
 (8 5 (:REWRITE C::EXEC-EXPR-PURE-WHEN-ARRSUB))
 (8 2 (:REWRITE C::READ-STATIC-VAR-OF-ADD-VAR))
 (8 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-RESULTP-AND-NOT-ERRORP))
 (7 4 (:REWRITE C::EXEC-EXPR-CALL-OR-PURE-WHEN-CALL))
 (7 3 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (7 3 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (7 3 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (7 3 (:REWRITE C::VALUEP-WHEN-UINTP))
 (7 3 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (7 3 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (7 3 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (7 3 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (7 3 (:REWRITE C::VALUEP-WHEN-SINTP))
 (7 3 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (6 6 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (5 3 (:REWRITE C::VALUEP-WHEN-USHORT-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-ULONG-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-ULLONG-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-UINT-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-UCHAR-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-SSHORT-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-SLONG-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-SLLONG-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-SINT-ARRAYP))
 (5 3 (:REWRITE C::VALUEP-WHEN-SCHAR-ARRAYP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::READ-STATIC-VAR-OF-ADD-FRAME))
 (4 2 (:REWRITE DEFAULT-CDR))
 (4 2 (:REWRITE DEFAULT-CAR))
 (4 2 (:REWRITE OMAP::ASSOC-WHEN-EMPTYP))
 (3 3 (:TYPE-PRESCRIPTION C::USHORT-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::ULONG-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::ULLONG-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::UINT-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::SSHORT-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::SLONG-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::SLLONG-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::SINT-ARRAYP))
 (3 3 (:TYPE-PRESCRIPTION C::SCHAR-ARRAYP))
 (3 1 (:REWRITE C::COMPUSTATE-RESULTP-WHEN-ERRORP))
 (2 2 (:TYPE-PRESCRIPTION C::USHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::UINTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHARP))
 (2 2 (:TYPE-PRESCRIPTION C::SSHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SINTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCHARP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::BINOP-KIND$INLINE))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::VALUE-LIST-FIX-UNDER-VALUE-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT STRING-OPTION-FIX-UNDER-STRING-OPTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::SCOPE-LIST-FIX-UNDER-SCOPE-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT NAT-OPTION-FIX-UNDER-NAT-OPTION-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::FUN-ENV-FIX-UNDER-FUN-ENV-EQUIV))
 (2 2 (:REWRITE C::USHORTP-WHEN-MEMBER-EQUAL-OF-USHORT-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::UCHARP-WHEN-MEMBER-EQUAL-OF-UCHAR-LISTP))
 (2 2 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 2 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (2 2 (:REWRITE C::SCHARP-WHEN-MEMBER-EQUAL-OF-SCHAR-LISTP))
 (2 2 (:REWRITE C::EXEC-FUN-OF-CONST-IDENTIFIER))
 (2 1 (:REWRITE C::COMPUSTATE-RESULTP-WHEN-COMPUSTATEP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-USHORT-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-ULONG-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-ULLONG-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-UINT-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-UCHAR-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-SSHORT-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-SLONG-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-SLLONG-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-SINT-ARRAYP))
 (2 1 (:REWRITE C::APCONVERT-EXPR-VALUE-WHEN-SCHAR-ARRAYP))
 (1 1 (:TYPE-PRESCRIPTION C::VAR-AUTOP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 )
