(C::ATC-INTEGER-OPS-1-RETURN-NAMES-LOOP-TYPES
 (55 11 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (46 46 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (32 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (28 12 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (24 4 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (23 23 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 (17 9 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (16 4 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (11 11 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (8 8 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (5 5 (:REWRITE SUBSETP-MEMBER . 4))
 (5 5 (:REWRITE SUBSETP-MEMBER . 3))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (5 5 (:REWRITE INTERSECTP-MEMBER . 3))
 (5 5 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:TYPE-PRESCRIPTION C::TYPEP))
 (4 4 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-OPS-1-RETURN-NAMES-LOOP-TYPES
 (44 8 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (38 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (20 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (9 9 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-OPS-1-RETURN-NAMES-LOOP-OPS
 (113 13 (:REWRITE SUBSETP-CONS-2))
 (28 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 16 (:REWRITE SUBSETP-TRANS))
 (20 12 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (18 16 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (16 16 (:REWRITE SUBSETP-TRANS2))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (10 2 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (10 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (7 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE SUBSETP-MEMBER . 2))
 (3 3 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION ATOM))
 (2 2 (:REWRITE SYMBOLP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LISTP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE MEMBER-SELF))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-OPS-1-RETURN-NAMES-LOOP-OPS
 (64 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (54 1 (:REWRITE SUBSETP-APPEND1))
 (45 5 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (42 7 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (33 5 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (30 7 (:REWRITE SUBSETP-TRANS2))
 (12 12 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (11 8 (:REWRITE SUBSETP-MEMBER . 2))
 (10 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-OPS-2-RETURN-NAMES-LOOP-RIGHT-TYPES
 (244 244 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (128 128 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (122 122 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 (112 48 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (72 72 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (65 33 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (64 16 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (17 17 (:REWRITE SUBSETP-MEMBER . 4))
 (17 17 (:REWRITE SUBSETP-MEMBER . 3))
 (17 17 (:REWRITE SUBSETP-MEMBER . 2))
 (17 17 (:REWRITE SUBSETP-MEMBER . 1))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 3))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 2))
 (16 16 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-OPS-2-RETURN-NAMES-LOOP-RIGHT-TYPES
 (44 8 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (38 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 2 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (20 2 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (15 15 (:REWRITE SUBSETP-MEMBER . 2))
 (15 15 (:REWRITE SUBSETP-MEMBER . 1))
 (10 10 (:REWRITE SUBSETP-MEMBER . 4))
 (10 10 (:REWRITE SUBSETP-MEMBER . 3))
 (10 10 (:REWRITE INTERSECTP-MEMBER . 3))
 (10 10 (:REWRITE INTERSECTP-MEMBER . 2))
 (9 9 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE SUBSETP-TRANS2))
 (5 5 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-OPS-2-RETURN-NAMES-LOOP-LEFT-TYPES
 (228 228 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (208 80 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (208 32 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (118 50 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (96 16 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (64 16 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (32 32 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (32 32 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (17 17 (:REWRITE SUBSETP-MEMBER . 4))
 (17 17 (:REWRITE SUBSETP-MEMBER . 3))
 (17 17 (:REWRITE SUBSETP-MEMBER . 2))
 (17 17 (:REWRITE SUBSETP-MEMBER . 1))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 3))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 2))
 (16 16 (:TYPE-PRESCRIPTION C::TYPEP))
 (16 16 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (16 16 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-OPS-2-RETURN-NAMES-LOOP-LEFT-TYPES
 (64 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (54 1 (:REWRITE SUBSETP-APPEND1))
 (45 5 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (42 7 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (33 5 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (30 7 (:REWRITE SUBSETP-TRANS2))
 (12 12 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (11 8 (:REWRITE SUBSETP-MEMBER . 2))
 (10 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-OPS-2-RETURN-NAMES-LOOP-OPS
 (473 61 (:REWRITE SUBSETP-CONS-2))
 (80 64 (:REWRITE SUBSETP-TRANS))
 (68 60 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (66 64 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (64 64 (:REWRITE SUBSETP-TRANS2))
 (44 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 4 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (20 4 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (7 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION ATOM))
 (2 2 (:REWRITE SYMBOLP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LISTP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE MEMBER-SELF))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-OPS-2-RETURN-NAMES-LOOP-OPS
 (64 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (54 1 (:REWRITE SUBSETP-APPEND1))
 (45 5 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (42 7 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (33 5 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (30 7 (:REWRITE SUBSETP-TRANS2))
 (12 12 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (11 8 (:REWRITE SUBSETP-MEMBER . 2))
 (10 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-CONVS-RETURN-NAMES-LOOP-DST-TYPES
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 12 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (11 5 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (11 5 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (6 6 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 (5 5 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (4 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (1 1 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-CONVS-RETURN-NAMES-LOOP-DST-TYPES
 (88 48 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (86 15 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (50 5 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (50 5 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (18 18 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (11 11 (:REWRITE SUBSETP-MEMBER . 2))
 (11 11 (:REWRITE SUBSETP-MEMBER . 1))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRITE SUBSETP-TRANS))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (5 5 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-CONVS-RETURN-NAMES-LOOP-SRC-TYPES
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (13 5 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (13 5 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (13 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (6 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (1 1 (:TYPE-PRESCRIPTION C::TYPEP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::SYMBOL-LISTP-OF-ATC-INTEGER-CONVS-RETURN-NAMES-LOOP-SRC-TYPES
 (64 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (54 1 (:REWRITE SUBSETP-APPEND1))
 (45 5 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (42 7 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (33 5 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (30 7 (:REWRITE SUBSETP-TRANS2))
 (12 12 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (11 8 (:REWRITE SUBSETP-MEMBER . 2))
 (10 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE MEMBER-SELF))
 )
(C::ATC-INTEGER-OPS-1-TYPE-PRESC-RULES-LOOP-TYPES
 (52 8 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (32 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (28 12 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (24 24 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (24 4 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (17 9 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (16 4 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (12 12 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 (8 8 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (8 8 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (5 5 (:REWRITE SUBSETP-MEMBER . 4))
 (5 5 (:REWRITE SUBSETP-MEMBER . 3))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (5 5 (:REWRITE INTERSECTP-MEMBER . 3))
 (5 5 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 4 (:TYPE-PRESCRIPTION C::TYPEP))
 (4 4 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-OPS-1-TYPE-PRESC-RULES-LOOP-TYPES
 (50 9 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 )
(C::ATC-INTEGER-OPS-1-TYPE-PRESC-RULES-LOOP-OPS
 (113 13 (:REWRITE SUBSETP-CONS-2))
 (28 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 16 (:REWRITE SUBSETP-TRANS))
 (20 12 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (18 16 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (16 16 (:REWRITE SUBSETP-TRANS2))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (10 2 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (10 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (7 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE SUBSETP-MEMBER . 2))
 (3 3 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION ATOM))
 (2 2 (:REWRITE SYMBOLP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LISTP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE MEMBER-SELF))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-OPS-1-TYPE-PRESC-RULES-LOOP-OPS
 (48 8 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 )
(C::ATC-INTEGER-OPS-2-TYPE-PRESC-RULES-LOOP-RIGHT-TYPES
 (160 160 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (128 128 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (112 48 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (80 80 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 (65 33 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (64 64 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (64 64 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (64 16 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (17 17 (:REWRITE SUBSETP-MEMBER . 4))
 (17 17 (:REWRITE SUBSETP-MEMBER . 3))
 (17 17 (:REWRITE SUBSETP-MEMBER . 2))
 (17 17 (:REWRITE SUBSETP-MEMBER . 1))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 3))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 2))
 (16 16 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-OPS-2-TYPE-PRESC-RULES-LOOP-RIGHT-TYPES
 (50 9 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (16 16 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 )
(C::ATC-INTEGER-OPS-2-TYPE-PRESC-RULES-LOOP-LEFT-TYPES
 (228 228 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (208 80 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (208 32 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (118 50 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (96 16 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (64 16 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (32 32 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (32 32 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (17 17 (:REWRITE SUBSETP-MEMBER . 4))
 (17 17 (:REWRITE SUBSETP-MEMBER . 3))
 (17 17 (:REWRITE SUBSETP-MEMBER . 2))
 (17 17 (:REWRITE SUBSETP-MEMBER . 1))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 3))
 (17 17 (:REWRITE INTERSECTP-MEMBER . 2))
 (16 16 (:TYPE-PRESCRIPTION C::TYPEP))
 (16 16 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (16 16 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-OPS-2-TYPE-PRESC-RULES-LOOP-LEFT-TYPES
 (48 8 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 )
(C::ATC-INTEGER-OPS-2-TYPE-PRESC-RULES-LOOP-OPS
 (473 61 (:REWRITE SUBSETP-CONS-2))
 (80 64 (:REWRITE SUBSETP-TRANS))
 (68 60 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (66 64 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (64 64 (:REWRITE SUBSETP-TRANS2))
 (44 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 4 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (20 4 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (7 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (5 5 (:REWRITE SUBSETP-MEMBER . 2))
 (5 5 (:REWRITE SUBSETP-MEMBER . 1))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION ATOM))
 (2 2 (:REWRITE SYMBOLP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LISTP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE MEMBER-SELF))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-OPS-2-TYPE-PRESC-RULES-LOOP-OPS
 (48 8 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 )
(C::ATC-INTEGER-CONVS-TYPE-PRESC-RULES-LOOP-DST-TYPES
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (11 5 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (11 5 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (6 6 (:REWRITE ATOM-LISTP-WHEN-SUBSETP-EQUAL))
 (5 5 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (4 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (3 3 (:REWRITE ATOM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-CONVS-TYPE-PRESC-RULES-LOOP-DST-TYPES
 (98 17 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (32 32 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 )
(C::ATC-INTEGER-CONVS-TYPE-PRESC-RULES-LOOP-SRC-TYPES
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (13 5 (:REWRITE C::TYPE-NONCHAR-INTEGER-LISTP-WHEN-NOT-CONSP))
 (13 5 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (13 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (6 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (1 1 (:TYPE-PRESCRIPTION C::TYPEP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 )
(C::TRUE-LIST-LISTP-OF-ATC-INTEGER-CONVS-TYPE-PRESC-RULES-LOOP-SRC-TYPES
 (48 8 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 )
