(C2C::EXPR-IDENT-CONGRUENCE
 (34 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (30 3 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (11 2 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (6 6 (:TYPE-PRESCRIPTION C::IDENTP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (3 3 (:REWRITE ZP-OPEN))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C2C::EXPR-CONST-CONGRUENCE
 (214 46 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (147 42 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (133 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (129 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (120 24 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (98 98 (:REWRITE C::SLONG-INTEGERP-WHEN-MEMBER-EQUAL-OF-SLONG-INTEGER-LISTP))
 (92 92 (:REWRITE C::ULONG-INTEGERP-WHEN-MEMBER-EQUAL-OF-ULONG-INTEGER-LISTP))
 (84 84 (:REWRITE C::SLLONG-INTEGERP-WHEN-MEMBER-EQUAL-OF-SLLONG-INTEGER-LISTP))
 (72 72 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (72 72 (:REWRITE C::ULLONG-INTEGERP-WHEN-MEMBER-EQUAL-OF-ULLONG-INTEGER-LISTP))
 (68 68 (:REWRITE C::UINT-INTEGERP-WHEN-MEMBER-EQUAL-OF-UINT-INTEGER-LISTP))
 (68 68 (:REWRITE C::SINT-INTEGERP-WHEN-MEMBER-EQUAL-OF-SINT-INTEGER-LISTP))
 (66 22 (:REWRITE C::CONST-FIX-WHEN-CONSTP))
 (63 21 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (48 48 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (48 24 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (44 44 (:TYPE-PRESCRIPTION C::CONSTP))
 (43 43 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (42 42 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (23 23 (:REWRITE ZP-OPEN))
 (23 22 (:REWRITE C::CONST-FIX-WHEN-FLOAT))
 (23 22 (:REWRITE C::CONST-FIX-WHEN-CHAR))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPEP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 )
(C::LOGNOT-VALUE-LEMMA
 (20 20 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (11 11 (:REWRITE SUBSETP-MEMBER . 4))
 (11 11 (:REWRITE SUBSETP-MEMBER . 3))
 (11 11 (:REWRITE SUBSETP-MEMBER . 2))
 (11 11 (:REWRITE SUBSETP-MEMBER . 1))
 (11 11 (:REWRITE INTERSECTP-MEMBER . 3))
 (11 11 (:REWRITE INTERSECTP-MEMBER . 2))
 (10 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (7 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 )
(C2C::EXPR-UNARY-CONGRUENCE
 (4512 94 (:REWRITE C::VALUE-KIND-NOT-ARRAY-WHEN-VALUE-INTEGERP))
 (3840 480 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (2400 480 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (1440 1440 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (960 960 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (960 480 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (276 46 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (270 270 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (268 268 (:REWRITE ZP-OPEN))
 (138 46 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (92 92 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (92 92 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (88 11 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (55 11 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (33 33 (:TYPE-PRESCRIPTION C::EXPRP))
 (22 22 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (22 11 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (21 21 (:REWRITE SUBSETP-MEMBER . 2))
 (21 21 (:REWRITE SUBSETP-MEMBER . 1))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 10 (:REWRITE SUBSETP-MEMBER . 4))
 (10 10 (:REWRITE SUBSETP-MEMBER . 3))
 (10 10 (:REWRITE INTERSECTP-MEMBER . 3))
 (10 10 (:REWRITE INTERSECTP-MEMBER . 2))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 2 (:REWRITE C::UNOP-FIX-WHEN-UNOPP))
 (4 4 (:TYPE-PRESCRIPTION C::UNOPP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 1 (:REWRITE C::TYPE-OF-VALUE-OF-LOGNOT-VALUE))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-SCALARP))
 )
(C2C::EXPR-CAST-CONGRUENCE
 (96 12 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (64 8 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (60 12 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (48 8 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (40 8 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (36 36 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (25 25 (:REWRITE ZP-OPEN))
 (24 24 (:TYPE-PRESCRIPTION C::EXPRP))
 (24 24 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (24 12 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (24 8 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (16 16 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (16 16 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (16 16 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (16 8 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (15 5 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (12 12 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (10 10 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 )
(C2C::EXPR-BINARY-PURE-STRICT-CONGRUENCE
 (4592 574 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (3734 698 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (3651 466 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2870 574 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (2275 455 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (1722 1722 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (1640 698 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (1396 1396 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (1365 1365 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (1148 1148 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (1148 574 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (910 910 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (910 455 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (768 128 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (745 745 (:REWRITE ZP-OPEN))
 (503 503 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (384 128 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (256 256 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (256 256 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (160 160 (:REWRITE SUBSETP-MEMBER . 4))
 (160 160 (:REWRITE SUBSETP-MEMBER . 3))
 (160 160 (:REWRITE SUBSETP-MEMBER . 2))
 (160 160 (:REWRITE SUBSETP-MEMBER . 1))
 (160 160 (:REWRITE INTERSECTP-MEMBER . 3))
 (160 160 (:REWRITE INTERSECTP-MEMBER . 2))
 (36 36 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (6 2 (:REWRITE C::BINOP-FIX-WHEN-BINOPP))
 (4 4 (:TYPE-PRESCRIPTION C::BINOPP))
 )
(C2C::EXPR-BINARY-LOGAND-FIRST-CONGRUENCE
 (288 36 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (180 36 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (132 24 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (108 108 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (72 72 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (72 36 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (71 71 (:REWRITE ZP-OPEN))
 (60 24 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (48 48 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (25 25 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::EXPR-BINARY-LOGAND-SECOND-CONGRUENCE
 (600 75 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (375 75 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (225 225 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (150 150 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (150 75 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (132 24 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (67 67 (:REWRITE ZP-OPEN))
 (60 24 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (48 48 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::EXPR-BINARY-LOGOR-FIRST-CONGRUENCE
 (288 36 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (180 36 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (132 24 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (108 108 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (72 72 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (72 36 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (71 71 (:REWRITE ZP-OPEN))
 (60 24 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (48 48 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (25 25 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::EXPR-BINARY-LOGOR-SECOND-CONGRUENCE
 (600 75 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (375 75 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (225 225 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (150 150 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (150 75 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (132 24 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (67 67 (:REWRITE ZP-OPEN))
 (60 24 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (48 48 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (18 18 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::EXPR-BINARY-ASG-CONGRUENCE
 (53074 53074 (:TYPE-PRESCRIPTION C::EXPR-KIND$INLINE))
 (35843 7173 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (30438 3817 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (19015 3803 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (14342 7164 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (14328 14328 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (11409 11409 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (8920 8920 (:TYPE-PRESCRIPTION C::EXPR-PUREP))
 (7606 7606 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (7606 3803 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (6467 6467 (:REWRITE FOLD-CONSTS-IN-+))
 (6021 6021 (:TYPE-PRESCRIPTION C::TEST-VALUE))
 (4257 4257 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (2676 2676 (:TYPE-PRESCRIPTION C::BINOP-KIND$INLINE))
 (2676 2676 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (2007 2007 (:TYPE-PRESCRIPTION C::BINOP-PUREP))
 (1338 223 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (669 669 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (223 223 (:TYPE-PRESCRIPTION C::EXPR-LIST-PUREP))
 (223 223 (:TYPE-PRESCRIPTION C::BINOP-STRICTP))
 (223 223 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (223 223 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (112 14 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (70 14 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (42 42 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (40 4 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (28 28 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (28 14 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (10 10 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (8 8 (:TYPE-PRESCRIPTION C::IDENTP))
 (6 6 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C2C::EXPR-COND-TRUE-CONGRUENCE
 (576 72 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (360 72 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (216 216 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (198 36 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (144 144 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (144 72 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (90 36 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (83 83 (:REWRITE ZP-OPEN))
 (72 72 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (49 49 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::EXPR-COND-FALSE-CONGRUENCE
 (576 72 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (360 72 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (216 216 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (198 36 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (144 144 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (144 72 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (90 36 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (83 83 (:REWRITE ZP-OPEN))
 (72 72 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (49 49 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::INITER-SINGLE-CONGRUENCE
 (80 10 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (50 10 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (30 30 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (24 3 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (20 20 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (20 10 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (18 3 (:REWRITE C::INITERP-WHEN-INITER-OPTIONP))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (15 3 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (12 12 (:REWRITE ZP-OPEN))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::EXPRP))
 (9 3 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 (6 6 (:TYPE-PRESCRIPTION C::INITER-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 3 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::STMT-NULL-CONGRUENCE
 (34 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 3 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-EXPR-CONGRUENCE
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (16 2 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (12 2 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (10 2 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C::EXPRP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 2 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (4 4 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 4 (:REWRITE ZP-OPEN))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (4 2 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::STMT-RETURN-VALUE-CONGRUENCE
 (360 45 (:REWRITE C::EXPR-OPTION-FIX-WHEN-EXPR-OPTIONP))
 (225 45 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (106 15 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (88 11 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (85 85 (:REWRITE C::EXPR-OPTION-FIX-WHEN-NONE))
 (65 13 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (55 11 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (39 39 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (33 33 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (26 26 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (26 13 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (25 25 (:REWRITE ZP-OPEN))
 (24 4 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (22 22 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (22 11 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (12 12 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (12 6 (:REWRITE C::VALUE-OPTION-FIX-WHEN-NONE))
 (12 4 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (8 8 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (8 4 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (8 4 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (8 4 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (7 3 (:REWRITE SET::IN-TAIL))
 (5 1 (:REWRITE SET::INSERT-IDENTITY))
 (4 4 (:REWRITE-QUOTED-CONSTANT C::VALUE-OPTION-FIX-UNDER-VALUE-OPTION-EQUIV))
 (1 1 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 )
(C2C::STMT-RETURN-NOVALUE-CONGRUENCE
 (34 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 3 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::VALUE-OPTION-FIX-UNDER-VALUE-OPTION-EQUIV))
 )
(C2C::STMT-IF-TRUE-CONGRUENCE
 (144 18 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (96 24 (:REWRITE SET::IN-TAIL))
 (90 18 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (56 7 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (54 54 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (48 48 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (44 8 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (36 36 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (36 18 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (36 12 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (36 12 (:REWRITE SET::NEVER-IN-EMPTY))
 (35 7 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (25 25 (:REWRITE ZP-OPEN))
 (24 24 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (21 21 (:TYPE-PRESCRIPTION C::EXPRP))
 (20 8 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (16 16 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (16 8 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (16 8 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (16 8 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (14 14 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (14 7 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::STMT-IF-FALSE-CONGRUENCE
 (160 20 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (100 20 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (60 60 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (56 7 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (44 8 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (40 40 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (40 20 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (35 7 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (28 28 (:REWRITE ZP-OPEN))
 (24 24 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (21 21 (:TYPE-PRESCRIPTION C::EXPRP))
 (20 8 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (16 16 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (16 8 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (16 8 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (16 8 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (14 14 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (14 7 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (8 3 (:REWRITE SET::IN-TAIL))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (2 1 (:REWRITE SET::NEVER-IN-EMPTY))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 )
(C2C::STMT-IFELSE-TRUE-CONGRUENCE
 (176 22 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (110 22 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (96 24 (:REWRITE SET::IN-TAIL))
 (66 66 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (64 12 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (56 7 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (48 48 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (44 44 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (44 22 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (36 36 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (36 12 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (36 12 (:REWRITE SET::NEVER-IN-EMPTY))
 (35 7 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (28 28 (:REWRITE ZP-OPEN))
 (28 12 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (24 24 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (24 12 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (24 12 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (24 12 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (21 21 (:TYPE-PRESCRIPTION C::EXPRP))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (14 14 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (14 7 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::STMT-IFELSE-FALSE-CONGRUENCE
 (160 20 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (100 20 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (96 24 (:REWRITE SET::IN-TAIL))
 (64 12 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (60 60 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (56 7 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (48 48 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (40 40 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (40 20 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (36 36 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (36 12 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (36 12 (:REWRITE SET::NEVER-IN-EMPTY))
 (35 7 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (28 12 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (27 27 (:REWRITE ZP-OPEN))
 (24 24 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (24 12 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (24 12 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (24 12 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (21 21 (:TYPE-PRESCRIPTION C::EXPRP))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (14 14 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (14 7 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::STMT-COMPOUND-CONGRUENCE
 (24 6 (:REWRITE SET::IN-TAIL))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (12 12 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (12 2 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (12 2 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 3 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (9 3 (:REWRITE SET::NEVER-IN-EMPTY))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 2 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (6 2 (:REWRITE C::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (5 5 (:REWRITE ZP-OPEN))
 (4 4 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 )
(C2C::DECLON-DECLON-CONGRUENCE
 (16 2 (:REWRITE C::TYSPECSEQ-FIX-WHEN-TYSPECSEQP))
 (16 2 (:REWRITE C::INITER-OPTION-FIX-WHEN-INITER-OPTIONP))
 (10 10 (:TYPE-PRESCRIPTION C::TYSPECSEQ-KIND$INLINE))
 (10 2 (:REWRITE C::TYSPECSEQP-WHEN-TYSPECSEQ-OPTIONP))
 (10 2 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 (6 6 (:TYPE-PRESCRIPTION C::TYSPECSEQP))
 (6 6 (:TYPE-PRESCRIPTION C::INITER-OPTIONP))
 (5 5 (:REWRITE ZP-OPEN))
 (4 4 (:TYPE-PRESCRIPTION C::TYSPECSEQ-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::INITERP))
 (4 2 (:REWRITE C::TYSPECSEQ-OPTIONP-WHEN-TYSPECSEQP))
 (4 2 (:REWRITE C::TYSPECSEQ-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYSPECSEQ-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYSPECSEQ-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYSPECSEQ-FIX-WHEN-CHAR))
 (4 2 (:REWRITE C::TYSPECSEQ-FIX-WHEN-BOOL))
 (4 2 (:REWRITE C::INITERP-WHEN-INITER-OPTIONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::SCSPECSEQ-FIX-UNDER-SCSPECSEQ-EQUIV))
 (2 2 (:REWRITE C::INITER-OPTION-FIX-WHEN-NONE))
 )
(C2C::BLOCK-ITEM-STMT-CONGRUENCE
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (16 4 (:REWRITE SET::IN-TAIL))
 (16 2 (:REWRITE C::STMT-FIX-WHEN-STMTP))
 (10 2 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (6 6 (:TYPE-PRESCRIPTION C::STMTP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 2 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (6 2 (:REWRITE SET::NEVER-IN-EMPTY))
 (4 4 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 4 (:REWRITE ZP-OPEN))
 (4 2 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::BLOCK-ITEM-DECLON-CONGRUENCE
 (41 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (25 5 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (16 2 (:REWRITE C::OBJ-DECLON-FIX-WHEN-OBJ-DECLONP))
 (15 15 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (10 10 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (10 5 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::OBJ-DECLONP-WHEN-OBJ-DECLON-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::OBJ-DECLONP))
 (6 6 (:REWRITE ZP-OPEN))
 (4 4 (:TYPE-PRESCRIPTION C::OBJ-DECLON-OPTIONP))
 (4 2 (:REWRITE C::OBJ-DECLON-OPTIONP-WHEN-OBJ-DECLONP))
 )
(C2C::BLOCK-ITEM-LIST-EMPTY-CONGRUENCE
 (34 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 3 (:REWRITE ZP-OPEN))
 )
(C2C::BLOCK-ITEM-LIST-CONS-FIRST-CONGRUENCE
 (26 7 (:REWRITE SET::IN-TAIL))
 (18 18 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 4 (:REWRITE SET::NEVER-IN-EMPTY))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 3 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (8 8 (:REWRITE ZP-OPEN))
 (8 1 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 1 (:REWRITE SET::UNION-EMPTYP-X))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 1 (:REWRITE SET::UNION-EMPTYP-Y))
 (3 1 (:REWRITE SET::DELETE-PRESERVES-EMPTYP))
 )
(C2C::BLOCK-ITEM-LIST-CONS-REST-CONGRUENCE
 (66 17 (:REWRITE SET::IN-TAIL))
 (38 38 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (25 9 (:REWRITE SET::NEVER-IN-EMPTY))
 (24 8 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (17 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 9 (:REWRITE ZP-OPEN))
 (8 1 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 1 (:REWRITE SET::UNION-EMPTYP-X))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 1 (:REWRITE SET::UNION-EMPTYP-Y))
 (3 1 (:REWRITE SET::DELETE-PRESERVES-EMPTYP))
 )
(C2C::EXPR-UNARY-ERRORS
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::UNOP-KIND$INLINE))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 1 (:REWRITE C::UNOP-FIX-WHEN-UNOPP))
 (2 2 (:TYPE-PRESCRIPTION C::UNOPP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::UNOP-FIX-WHEN-PLUS))
 (2 1 (:REWRITE C::UNOP-FIX-WHEN-MINUS))
 (2 1 (:REWRITE C::UNOP-FIX-WHEN-LOGNOT))
 (2 1 (:REWRITE C::UNOP-FIX-WHEN-INDIR))
 (2 1 (:REWRITE C::UNOP-FIX-WHEN-BITNOT))
 (2 1 (:REWRITE C::UNOP-FIX-WHEN-ADDRESS))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-CAST-ERRORS
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 1 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-BINARY-PURE-STRICT-ERRORS
 (29 29 (:TYPE-PRESCRIPTION C::BINOP-KIND$INLINE))
 (24 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (22 4 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (15 3 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (10 4 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (9 9 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (8 8 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (6 3 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 1 (:REWRITE C::BINOP-FIX-WHEN-BINOPP))
 (2 2 (:TYPE-PRESCRIPTION C::BINOPP))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-SUB))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-SHR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-SHL))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-REM))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-NE))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-MUL))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-LT))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-LOGOR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-LOGAND))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-LE))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-GT))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-GE))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-EQ))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-DIV))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-BITXOR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-BITIOR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-BITAND))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-XOR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-SUB))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-SHR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-SHL))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-REM))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-MUL))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-IOR))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-DIV))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-AND))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG-ADD))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ASG))
 (2 1 (:REWRITE C::BINOP-FIX-WHEN-ADD))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-BINARY-LOGAND-FIRST-ERRORS
 (16 2 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (10 2 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPRP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (4 2 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-BINARY-LOGAND-SECOND-ERRORS
 (16 3 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (7 3 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-BINARY-LOGOR-FIRST-ERRORS
 (16 2 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (10 2 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPRP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (4 2 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-BINARY-LOGOR-SECOND-ERRORS
 (16 3 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (7 3 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-BINARY-ASG-ERRORS
 (714 714 (:TYPE-PRESCRIPTION C::EXPR-KIND$INLINE))
 (580 119 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (544 68 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (340 68 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (235 113 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (226 226 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (204 204 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (136 136 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (136 68 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (120 120 (:TYPE-PRESCRIPTION C::EXPR-PUREP))
 (87 87 (:REWRITE FOLD-CONSTS-IN-+))
 (81 81 (:TYPE-PRESCRIPTION C::TEST-VALUE))
 (60 60 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (36 36 (:TYPE-PRESCRIPTION C::BINOP-KIND$INLINE))
 (36 36 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (30 30 (:TYPE-PRESCRIPTION C::WRITE-OBJECT))
 (30 3 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (27 27 (:TYPE-PRESCRIPTION C::BINOP-PUREP))
 (18 3 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (9 9 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (9 9 (:TYPE-PRESCRIPTION C::EXPR-BINARY))
 (6 6 (:TYPE-PRESCRIPTION C::IDENTP))
 (6 6 (:REWRITE-QUOTED-CONSTANT C::BINOP-FIX-UNDER-BINOP-EQUIV))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-LIST-PUREP))
 (3 3 (:TYPE-PRESCRIPTION C::BINOP-STRICTP))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (3 3 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (1 1 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 )
(C2C::EXPR-COND-TEST-ERRORS
 (24 3 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (15 3 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (6 3 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-COND-THEN-ERRORS
 (21 4 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (9 4 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (8 8 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::EXPR-COND-ELSE-ERRORS
 (21 4 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (9 4 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (8 8 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::INITER-SINGLE-ERRORS
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-EXPR-ERRORS
 (1196 2 (:DEFINITION C::EXEC-EXPR))
 (520 65 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (325 65 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (296 37 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (195 195 (:TYPE-PRESCRIPTION C::EXPRP))
 (185 37 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (130 130 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (130 65 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (111 111 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (76 76 (:TYPE-PRESCRIPTION C::APCONVERT-EXPR-VALUE))
 (74 74 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (74 37 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (60 60 (:TYPE-PRESCRIPTION C::EXPR-KIND$INLINE))
 (58 58 (:REWRITE FOLD-CONSTS-IN-+))
 (54 54 (:TYPE-PRESCRIPTION C::TEST-VALUE))
 (38 38 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (24 24 (:TYPE-PRESCRIPTION C::BINOP-KIND$INLINE))
 (24 24 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 (16 16 (:TYPE-PRESCRIPTION C::WRITE-OBJECT))
 (16 16 (:TYPE-PRESCRIPTION C::EXPR-PUREP))
 (12 2 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (8 8 (:TYPE-PRESCRIPTION C::EXPR-VALUE->OBJECT$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (6 1 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (3 3 (:REWRITE ZP-OPEN))
 (3 1 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (2 2 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-LIST-PUREP))
 (2 2 (:TYPE-PRESCRIPTION C::BINOP-STRICTP))
 (2 2 (:TYPE-PRESCRIPTION C::BINOP-PUREP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 )
(C2C::STMT-RETURN-ERRORS
 (8 1 (:REWRITE C::EXPR-OPTION-FIX-WHEN-EXPR-OPTIONP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 1 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (5 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 1 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (2 2 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPRP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 2 (:REWRITE C::EXPR-OPTION-FIX-WHEN-NONE))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-IF-TEST-ERRORS
 (11 2 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (5 2 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-IF-THEN-ERRORS
 (11 2 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (5 2 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-IFELSE-TEST-ERRORS
 (16 3 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (7 3 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-IFELSE-THEN-ERRORS
 (16 3 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (7 3 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-IFELSE-ELSE-ERRORS
 (16 3 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (8 1 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (8 1 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (7 3 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (6 6 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (6 3 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (5 1 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (5 1 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPRP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (2 1 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::STMT-COMPOUND-ERRORS
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 1 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (6 1 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 1 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (3 1 (:REWRITE C::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (1 1 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 )
(C2C::DECLON-DECLON-ERRORS
 (8 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-TYSPECSEQP))
 (8 1 (:REWRITE C::INITER-OPTION-FIX-WHEN-INITER-OPTIONP))
 (5 5 (:TYPE-PRESCRIPTION C::TYSPECSEQ-KIND$INLINE))
 (5 1 (:REWRITE C::TYSPECSEQP-WHEN-TYSPECSEQ-OPTIONP))
 (5 1 (:REWRITE C::INITER-OPTIONP-WHEN-INITERP))
 (3 3 (:TYPE-PRESCRIPTION C::TYSPECSEQP))
 (3 3 (:TYPE-PRESCRIPTION C::INITER-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::TYSPECSEQ-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::INITERP))
 (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))
 (2 1 (:REWRITE C::INITERP-WHEN-INITER-OPTIONP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::SCSPECSEQ-FIX-UNDER-SCSPECSEQ-EQUIV))
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE C::INITER-OPTION-FIX-WHEN-NONE))
 )
(C2C::BLOCK-ITEM-STMT-ERRORS
 (8 1 (:REWRITE C::STMT-FIX-WHEN-STMTP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::STMTP))
 (3 3 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::BLOCK-ITEM-DECLON-ERRORS
 (16 2 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (10 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (8 1 (:REWRITE C::OBJ-DECLON-FIX-WHEN-OBJ-DECLONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (5 1 (:REWRITE C::OBJ-DECLONP-WHEN-OBJ-DECLON-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (4 2 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 3 (:TYPE-PRESCRIPTION C::OBJ-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C::OBJ-DECLON-OPTIONP))
 (2 1 (:REWRITE C::OBJ-DECLON-OPTIONP-WHEN-OBJ-DECLONP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::BLOCK-ITEM-LIST-CONS-FIRST-ERRORS
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::BLOCK-ITEM-LIST-CONS-REST-ERRORS
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::WHILE-INDUCT
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::WHILE-TEST-HYP)
(C2C::WHILE-TEST-HYP-NECC)
(C2C::WHILE-BODY-HYP)
(C2C::WHILE-BODY-HYP-NECC)
(C2C::STMT-WHILE-LOOP-THEOREM
 (2664 333 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (1880 235 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (1665 333 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (1175 235 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (1007 249 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (999 999 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (806 211 (:REWRITE SET::IN-TAIL))
 (705 705 (:TYPE-PRESCRIPTION C::EXPRP))
 (666 666 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (666 333 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (591 591 (:REWRITE FOLD-CONSTS-IN-+))
 (470 470 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (470 235 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (422 422 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (399 399 (:REWRITE ZP-OPEN))
 (353 353 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (288 96 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (288 96 (:REWRITE SET::NEVER-IN-EMPTY))
 (260 52 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (197 197 (:REWRITE C::RETURN-TYPE-OF-EXEC-STMT.NEW-COMPST))
 (104 104 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (104 52 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (95 19 (:REWRITE SET::INSERT-IDENTITY))
 (57 19 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 )
(C2C::STMT-WHILE-THEOREM
 (99 18 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (83 13 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (72 9 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (54 54 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (50 10 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (46 13 (:REWRITE SET::IN-TAIL))
 (45 18 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (45 9 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (36 36 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (36 18 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (36 18 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (36 18 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (30 30 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (27 27 (:TYPE-PRESCRIPTION C::EXPRP))
 (26 26 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (20 20 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (20 10 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (18 18 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (18 9 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (15 5 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (15 5 (:REWRITE SET::NEVER-IN-EMPTY))
 (15 3 (:REWRITE SET::INSERT-IDENTITY))
 (12 12 (:REWRITE ZP-OPEN))
 (9 3 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 )
(C2C::DOWHILE-INDUCT
 (1 1 (:REWRITE ZP-OPEN))
 )
(C2C::DOWHILE-BODY-HYP)
(C2C::DOWHILE-BODY-HYP-NECC)
(C2C::DOWHILE-TEST-HYP)
(C2C::DOWHILE-TEST-HYP-NECC)
(C2C::STMT-DOWHILE-LOOP-THEOREM
 (3288 411 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (3168 396 (:REWRITE C::EXPR-VALUE-FIX-WHEN-EXPR-VALUEP))
 (2758 761 (:REWRITE SET::IN-TAIL))
 (2055 411 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (1980 396 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (1522 1522 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1233 1233 (:TYPE-PRESCRIPTION C::EXPRP))
 (1188 1188 (:TYPE-PRESCRIPTION C::EXPR-VALUEP))
 (1167 289 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (927 309 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (927 309 (:REWRITE SET::NEVER-IN-EMPTY))
 (828 828 (:TYPE-PRESCRIPTION C::APCONVERT-EXPR-VALUE))
 (822 822 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (822 411 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (792 792 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (792 396 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (735 735 (:REWRITE ZP-OPEN))
 (715 143 (:REWRITE SET::INSERT-IDENTITY))
 (687 687 (:REWRITE FOLD-CONSTS-IN-+))
 (429 143 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (409 409 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (300 60 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (229 229 (:REWRITE C::RETURN-TYPE-OF-EXEC-EXPR.NEW-COMPST))
 (120 120 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (120 60 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C2C::STMT-DOWHILE-THEOREM
 (121 22 (:REWRITE C::STMTP-WHEN-STMT-OPTIONP))
 (101 17 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (88 11 (:REWRITE C::EXPR-FIX-WHEN-EXPRP))
 (66 66 (:TYPE-PRESCRIPTION C::STMT-KIND$INLINE))
 (66 19 (:REWRITE SET::IN-TAIL))
 (60 12 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (55 22 (:REWRITE C::STMT-OPTIONP-WHEN-STMTP))
 (55 11 (:REWRITE C::EXPRP-WHEN-EXPR-OPTIONP))
 (44 44 (:TYPE-PRESCRIPTION C::STMT-OPTIONP))
 (44 22 (:REWRITE C::STMT-FIX-WHEN-NULL))
 (44 22 (:REWRITE C::STMT-FIX-WHEN-CONTINUE))
 (44 22 (:REWRITE C::STMT-FIX-WHEN-BREAK))
 (38 38 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (36 36 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (33 33 (:TYPE-PRESCRIPTION C::EXPRP))
 (25 5 (:REWRITE SET::INSERT-IDENTITY))
 (24 24 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (24 12 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (22 22 (:TYPE-PRESCRIPTION C::EXPR-OPTIONP))
 (22 11 (:REWRITE C::EXPR-OPTIONP-WHEN-EXPRP))
 (21 7 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (21 7 (:REWRITE SET::NEVER-IN-EMPTY))
 (16 16 (:REWRITE ZP-OPEN))
 (15 5 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 )
