(SINT-MAX->=-200K)
(|checksum|
 (66 31 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-<))
 (66 31 (:REWRITE PREFER-POSITIVE-ADDENDS-<))
 (55 31 (:REWRITE SIMPLIFY-SUMS-<))
 (53 32 (:REWRITE DEFAULT-LESS-THAN-1))
 (46 32 (:REWRITE DEFAULT-LESS-THAN-2))
 (32 32 (:REWRITE THE-FLOOR-BELOW))
 (32 32 (:REWRITE THE-FLOOR-ABOVE))
 (32 32 (:REWRITE REMOVE-STRICT-INEQUALITIES))
 (32 32 (:REWRITE REDUCE-RATIONAL-MULTIPLICATIVE-CONSTANT-<))
 (32 32 (:REWRITE REDUCE-MULTIPLICATIVE-CONSTANT-<))
 (32 32 (:REWRITE REDUCE-ADDITIVE-CONSTANT-<))
 (32 32 (:REWRITE INTEGERP-<-CONSTANT))
 (32 32 (:REWRITE CONSTANT-<-INTEGERP))
 (32 32 (:REWRITE |(< c (/ x)) positive c --- present in goal|))
 (32 32 (:REWRITE |(< c (/ x)) positive c --- obj t or nil|))
 (32 32 (:REWRITE |(< c (/ x)) negative c --- present in goal|))
 (32 32 (:REWRITE |(< c (/ x)) negative c --- obj t or nil|))
 (32 32 (:REWRITE |(< c (- x))|))
 (32 32 (:REWRITE |(< (/ x) c) positive c --- present in goal|))
 (32 32 (:REWRITE |(< (/ x) c) positive c --- obj t or nil|))
 (32 32 (:REWRITE |(< (/ x) c) negative c --- present in goal|))
 (32 32 (:REWRITE |(< (/ x) c) negative c --- obj t or nil|))
 (32 32 (:REWRITE |(< (/ x) (/ y))|))
 (32 32 (:REWRITE |(< (- x) c)|))
 (32 32 (:REWRITE |(< (- x) (- y))|))
 (18 18 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (10 10 (:REWRITE |(< (/ x) 0)|))
 (10 10 (:REWRITE |(< (* x y) 0)|))
 (9 9 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-AX+BX-<-0-RATIONAL-REMAINDER))
 (9 9 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-AX+BX-<-0-RATIONAL-COMMON))
 (9 3 (:LINEAR C::SINT-MAX-BOUND))
 (6 6 (:REWRITE DEFAULT-TIMES-2))
 (6 6 (:REWRITE DEFAULT-TIMES-1))
 (5 5 (:REWRITE DEFAULT-PLUS-2))
 (5 5 (:REWRITE DEFAULT-PLUS-1))
 (3 3 (:REWRITE NORMALIZE-TERMS-SUCH-AS-A/A+B-+-B/A+B))
 (3 3 (:REWRITE NORMALIZE-FACTORS-GATHER-EXPONENTS))
 (3 3 (:REWRITE NORMALIZE-ADDENDS))
 (3 3 (:REWRITE |(< y (+ (- c) x))|))
 (3 3 (:REWRITE |(< x (+ c/d y))|))
 (3 3 (:REWRITE |(< (+ c/d x) y)|))
 (3 3 (:REWRITE |(< (+ (- c) x) y)|))
 (1 1 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (1 1 (:REWRITE FOLD-CONSTS-IN-+))
 (1 1 (:REWRITE |(+ c (+ d x))|))
 )
(C::*PROGRAM*-WELL-FORMED)
(|checksum-RETURNS-VALUE|)
(C::|*PROGRAM*-checksum-CORRECT|
 (3562 1 (:REWRITE C::EXEC-BLOCK-ITEM-LIST-UNROLL))
 (271 253 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (271 253 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (271 253 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (271 253 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (253 253 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-USHORTP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-ULONGP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-ULLONGP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-UINTP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-UCHARP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-SSHORTP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-SLONGP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-SLLONGP))
 (138 120 (:REWRITE C::NOT-SINTP-WHEN-SCHARP))
 (120 120 (:REWRITE C::NOT-SINTP-WHEN-POINTERP))
 (107 89 (:REWRITE C::NOT-SSHORTP-WHEN-ULONGP))
 (107 89 (:REWRITE C::NOT-SSHORTP-WHEN-ULLONGP))
 (107 89 (:REWRITE C::NOT-SSHORTP-WHEN-SLONGP))
 (107 89 (:REWRITE C::NOT-SSHORTP-WHEN-SLLONGP))
 (107 89 (:REWRITE C::NOT-SCHARP-WHEN-ULONGP))
 (107 89 (:REWRITE C::NOT-SCHARP-WHEN-ULLONGP))
 (107 89 (:REWRITE C::NOT-SCHARP-WHEN-SLONGP))
 (107 89 (:REWRITE C::NOT-SCHARP-WHEN-SLLONGP))
 (89 89 (:REWRITE C::NOT-SSHORTP-WHEN-POINTERP))
 (89 89 (:REWRITE C::NOT-SCHARP-WHEN-POINTERP))
 (67 49 (:REWRITE C::NOT-USHORTP-WHEN-ULONGP))
 (67 49 (:REWRITE C::NOT-USHORTP-WHEN-ULLONGP))
 (67 49 (:REWRITE C::NOT-USHORTP-WHEN-SLONGP))
 (67 49 (:REWRITE C::NOT-USHORTP-WHEN-SLLONGP))
 (67 49 (:REWRITE C::NOT-UCHARP-WHEN-ULONGP))
 (67 49 (:REWRITE C::NOT-UCHARP-WHEN-ULLONGP))
 (67 49 (:REWRITE C::NOT-UCHARP-WHEN-SLONGP))
 (67 49 (:REWRITE C::NOT-UCHARP-WHEN-SLLONGP))
 (49 49 (:REWRITE C::NOT-USHORTP-WHEN-POINTERP))
 (49 49 (:REWRITE C::NOT-UCHARP-WHEN-POINTERP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-USHORT-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-ULONG-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-ULLONG-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-UINT-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-UCHAR-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-SSHORT-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-SLONG-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-SLLONG-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-SINT-ARRAYP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-SCOPE-LISTP))
 (46 46 (:REWRITE C::NOT-ERRORP-WHEN-SCHAR-ARRAYP))
 (45 45 (:REWRITE C::EXEC-EXPR-PURE-UNROLL-5))
 (43 43 (:REWRITE C::NOT-ERRORP-WHEN-VALUE-LISTP))
 (42 30 (:REWRITE C::NOT-SLONGP-WHEN-ULONGP))
 (42 30 (:REWRITE C::NOT-SLONGP-WHEN-ULLONGP))
 (42 30 (:REWRITE C::NOT-SLONGP-WHEN-SLLONGP))
 (42 30 (:REWRITE C::NOT-SLLONGP-WHEN-ULONGP))
 (42 30 (:REWRITE C::NOT-SLLONGP-WHEN-ULLONGP))
 (42 30 (:REWRITE C::NOT-SLLONGP-WHEN-SLONGP))
 (41 29 (:REWRITE C::NOT-UINTP-WHEN-ULONGP))
 (41 29 (:REWRITE C::NOT-UINTP-WHEN-ULLONGP))
 (41 29 (:REWRITE C::NOT-UINTP-WHEN-SLONGP))
 (41 29 (:REWRITE C::NOT-UINTP-WHEN-SLLONGP))
 (30 30 (:REWRITE C::NOT-SLONGP-WHEN-POINTERP))
 (30 30 (:REWRITE C::NOT-SLLONGP-WHEN-POINTERP))
 (29 29 (:REWRITE C::NOT-UINTP-WHEN-POINTERP))
 (25 25 (:REWRITE C::EXEC-EXPR-PURE-UNROLL-3))
 (25 25 (:REWRITE C::EXEC-EXPR-PURE-UNROLL-2))
 (25 25 (:REWRITE C::EXEC-EXPR-PURE-UNROLL-1))
 (25 25 (:REWRITE C::EXEC-EXPR-PURE-BASE-5))
 (25 25 (:REWRITE C::EXEC-EXPR-PURE-BASE-4))
 (25 25 (:REWRITE C::EXEC-EXPR-PURE-BASE-3))
 (8 6 (:REWRITE C::EXEC-STMT-UNROLL-2))
 (8 6 (:REWRITE C::EXEC-STMT-UNROLL-1))
 (6 4 (:REWRITE OMAP::IN-UNROLL))
 (3 3 (:REWRITE OMAP::IN-BASE-1))
 (2 1 (:REWRITE C::EXEC-STMT-BASE-7))
 (2 1 (:REWRITE C::EXEC-STMT-BASE-5))
 (2 1 (:REWRITE C::EXEC-STMT-BASE-4))
 (1 1 (:REWRITE C::EXEC-FUN-OF-CONST-IDENTIFIER))
 (1 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-RESULTP-AND-NOT-ERRORP))
 )
