(C::SCOPEP)
(C::BOOLEANP-OFSCOPEP)
(C::MAPP-WHEN-SCOPEP
 (415 25 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (367 16 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (161 50 (:REWRITE <<-TRICHOTOMY))
 (143 29 (:REWRITE <<-ASYMMETRIC))
 (139 139 (:REWRITE DEFAULT-CAR))
 (77 77 (:REWRITE DEFAULT-CDR))
 (72 18 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (59 47 (:REWRITE <<-TRANSITIVE))
 (57 25 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (57 25 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (57 25 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (57 25 (:REWRITE C::VALUEP-WHEN-UINTP))
 (57 25 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (57 25 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (57 25 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (57 25 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (57 25 (:REWRITE C::VALUEP-WHEN-SINTP))
 (57 25 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (57 25 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (50 50 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (35 35 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (18 18 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (18 18 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (3 3 (:REWRITE <<-IRREFLEXIVE))
 )
(C::SCOPEP-OF-TAIL
 (129 6 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (120 3 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (56 56 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (27 27 (:REWRITE DEFAULT-CAR))
 (20 20 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (12 12 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-UINTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SINTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (12 6 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (12 3 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (9 9 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::USHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::ULONGP))
 (6 6 (:TYPE-PRESCRIPTION C::ULLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::UINTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::SSHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::SLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SLLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SINTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::POINTERP))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (3 1 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 )
(C::IDENTP-OF-HEAD-KEY-WHEN-SCOPEP
 (43 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (40 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (14 14 (:REWRITE DEFAULT-CAR))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (12 3 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (10 8 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (7 7 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (4 2 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (4 2 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (4 2 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (4 2 (:REWRITE C::VALUEP-WHEN-UINTP))
 (4 2 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (4 2 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (4 2 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (4 2 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (4 2 (:REWRITE C::VALUEP-WHEN-SINTP))
 (4 2 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (4 2 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (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::POINTERP))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 )
(C::VALUEP-OF-HEAD-VAL-WHEN-SCOPEP
 (90 5 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (81 3 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (15 15 (:REWRITE DEFAULT-CAR))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (11 5 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (11 5 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (11 5 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (11 5 (:REWRITE C::VALUEP-WHEN-UINTP))
 (11 5 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (11 5 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (11 5 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (11 5 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (11 5 (:REWRITE C::VALUEP-WHEN-SINTP))
 (11 5 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (11 5 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (10 10 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (8 8 (:REWRITE DEFAULT-CDR))
 (8 2 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::USHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::ULONGP))
 (6 6 (:TYPE-PRESCRIPTION C::ULLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::UINTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::SSHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::SLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SLLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SINTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::POINTERP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 )
(C::SCOPEP-OF-UPDATE
 (5359 250 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4962 137 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (803 703 (:REWRITE DEFAULT-CDR))
 (736 644 (:REWRITE <<-TRANSITIVE))
 (562 250 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (562 250 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (562 250 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (562 250 (:REWRITE C::VALUEP-WHEN-UINTP))
 (562 250 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (562 250 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (562 250 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (562 250 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (562 250 (:REWRITE C::VALUEP-WHEN-SINTP))
 (562 250 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (562 250 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (500 500 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (364 364 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (362 81 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (224 224 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (137 137 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (99 99 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (81 81 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (49 49 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (30 30 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (25 25 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (12 12 (:REWRITE-QUOTED-CONSTANT TRUE-LIST-LIST-FIX-UNDER-TRUE-LIST-LIST-EQUIV))
 (10 10 (:REWRITE <<-IRREFLEXIVE))
 )
(C::SCOPEP-OF-UPDATE*
 (582 24 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (546 12 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (228 60 (:REWRITE <<-TRICHOTOMY))
 (204 36 (:REWRITE <<-ASYMMETRIC))
 (108 108 (:REWRITE DEFAULT-CAR))
 (72 72 (:REWRITE DEFAULT-CDR))
 (60 60 (:REWRITE <<-TRANSITIVE))
 (54 24 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (54 24 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (54 24 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (54 24 (:REWRITE C::VALUEP-WHEN-UINTP))
 (54 24 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (54 24 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (54 24 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (54 24 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (54 24 (:REWRITE C::VALUEP-WHEN-SINTP))
 (54 24 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (54 24 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (54 12 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (48 48 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (36 36 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (24 24 (:TYPE-PRESCRIPTION C::USHORTP))
 (24 24 (:TYPE-PRESCRIPTION C::ULONGP))
 (24 24 (:TYPE-PRESCRIPTION C::ULLONGP))
 (24 24 (:TYPE-PRESCRIPTION C::UINTP))
 (24 24 (:TYPE-PRESCRIPTION C::UCHARP))
 (24 24 (:TYPE-PRESCRIPTION C::SSHORTP))
 (24 24 (:TYPE-PRESCRIPTION C::SLONGP))
 (24 24 (:TYPE-PRESCRIPTION C::SLLONGP))
 (24 24 (:TYPE-PRESCRIPTION C::SINTP))
 (24 24 (:TYPE-PRESCRIPTION C::SCHARP))
 (24 24 (:TYPE-PRESCRIPTION C::POINTERP))
 (24 24 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (18 6 (:REWRITE OMAP::UPDATE*-WHEN-RIGHT-EMPTY))
 (12 12 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (12 12 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (9 3 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (3 3 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (3 3 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 )
(C::SCOPEP-OF-DELETE
 (728 7 (:DEFINITION C::SCOPEP))
 (301 14 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (280 7 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (175 7 (:REWRITE FAST-<<-IS-<<))
 (133 35 (:REWRITE <<-TRICHOTOMY))
 (119 21 (:REWRITE <<-ASYMMETRIC))
 (84 84 (:TYPE-PRESCRIPTION <<))
 (63 63 (:REWRITE DEFAULT-CAR))
 (56 54 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (42 42 (:REWRITE DEFAULT-CDR))
 (35 35 (:REWRITE <<-TRANSITIVE))
 (28 28 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (28 14 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (28 14 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (28 14 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (28 14 (:REWRITE C::VALUEP-WHEN-UINTP))
 (28 14 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (28 14 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (28 14 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (28 14 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (28 14 (:REWRITE C::VALUEP-WHEN-SINTP))
 (28 14 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (28 14 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (28 7 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (21 21 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (14 14 (:TYPE-PRESCRIPTION C::USHORTP))
 (14 14 (:TYPE-PRESCRIPTION C::ULONGP))
 (14 14 (:TYPE-PRESCRIPTION C::ULLONGP))
 (14 14 (:TYPE-PRESCRIPTION C::UINTP))
 (14 14 (:TYPE-PRESCRIPTION C::UCHARP))
 (14 14 (:TYPE-PRESCRIPTION C::SSHORTP))
 (14 14 (:TYPE-PRESCRIPTION C::SLONGP))
 (14 14 (:TYPE-PRESCRIPTION C::SLLONGP))
 (14 14 (:TYPE-PRESCRIPTION C::SINTP))
 (14 14 (:TYPE-PRESCRIPTION C::SCHARP))
 (14 14 (:TYPE-PRESCRIPTION C::POINTERP))
 (14 14 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (14 6 (:REWRITE OMAP::DELETE-WHEN-EMPTY))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (7 7 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (7 7 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (6 6 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (5 5 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (4 4 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 )
(C::SCOPEP-OF-DELETE*
 (344 16 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (320 8 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (152 40 (:REWRITE <<-TRICHOTOMY))
 (136 24 (:REWRITE <<-ASYMMETRIC))
 (72 72 (:REWRITE DEFAULT-CAR))
 (48 48 (:REWRITE DEFAULT-CDR))
 (40 40 (:REWRITE <<-TRANSITIVE))
 (32 32 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (32 16 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (32 16 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (32 16 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (32 16 (:REWRITE C::VALUEP-WHEN-UINTP))
 (32 16 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (32 16 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (32 16 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (32 16 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (32 16 (:REWRITE C::VALUEP-WHEN-SINTP))
 (32 16 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (32 16 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (32 8 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (24 24 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (24 24 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (18 6 (:REWRITE OMAP::DELETE*-WHEN-RIGHT-EMPTY))
 (16 16 (:TYPE-PRESCRIPTION C::USHORTP))
 (16 16 (:TYPE-PRESCRIPTION C::ULONGP))
 (16 16 (:TYPE-PRESCRIPTION C::ULLONGP))
 (16 16 (:TYPE-PRESCRIPTION C::UINTP))
 (16 16 (:TYPE-PRESCRIPTION C::UCHARP))
 (16 16 (:TYPE-PRESCRIPTION C::SSHORTP))
 (16 16 (:TYPE-PRESCRIPTION C::SLONGP))
 (16 16 (:TYPE-PRESCRIPTION C::SLLONGP))
 (16 16 (:TYPE-PRESCRIPTION C::SINTP))
 (16 16 (:TYPE-PRESCRIPTION C::SCHARP))
 (16 16 (:TYPE-PRESCRIPTION C::POINTERP))
 (16 16 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (9 3 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (9 3 (:REWRITE OMAP::DELETE-WHEN-EMPTY))
 (8 8 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (8 8 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (3 3 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (2 2 (:REWRITE SET::TAIL-WHEN-EMPTY))
 )
(C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X
 (312 3 (:DEFINITION C::SCOPEP))
 (249 14 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (129 6 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (122 84 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (120 3 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (104 88 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (75 3 (:REWRITE FAST-<<-IS-<<))
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (36 36 (:TYPE-PRESCRIPTION <<))
 (27 27 (:REWRITE DEFAULT-CAR))
 (18 18 (:REWRITE DEFAULT-CDR))
 (18 10 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (13 5 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (12 12 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-UINTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SINTP))
 (12 6 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (12 6 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (12 3 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (9 9 (:TYPE-PRESCRIPTION C::VALUEP))
 (9 9 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (9 9 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (8 3 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 (6 6 (:TYPE-PRESCRIPTION C::USHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::ULONGP))
 (6 6 (:TYPE-PRESCRIPTION C::ULLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::UINTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::SSHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::SLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SLLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SINTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::POINTERP))
 (6 6 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (6 6 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C::IDENTP-OF-CAR-OF-IN-SCOPEP
 (525 5 (:DEFINITION C::SCOPEP))
 (258 15 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (215 10 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (200 5 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (166 126 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (130 114 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (125 5 (:REWRITE FAST-<<-IS-<<))
 (95 25 (:REWRITE <<-TRICHOTOMY))
 (85 15 (:REWRITE <<-ASYMMETRIC))
 (80 9 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (63 50 (:REWRITE DEFAULT-CAR))
 (60 60 (:TYPE-PRESCRIPTION <<))
 (30 30 (:REWRITE DEFAULT-CDR))
 (28 12 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (25 25 (:REWRITE <<-TRANSITIVE))
 (21 9 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (20 20 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (20 12 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (20 10 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (20 10 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (20 10 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (20 10 (:REWRITE C::VALUEP-WHEN-UINTP))
 (20 10 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (20 10 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (20 10 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (20 10 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (20 10 (:REWRITE C::VALUEP-WHEN-SINTP))
 (20 10 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (20 10 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (18 18 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (15 15 (:TYPE-PRESCRIPTION C::VALUEP))
 (15 15 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (15 15 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (11 11 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (10 10 (:TYPE-PRESCRIPTION C::USHORTP))
 (10 10 (:TYPE-PRESCRIPTION C::ULONGP))
 (10 10 (:TYPE-PRESCRIPTION C::ULLONGP))
 (10 10 (:TYPE-PRESCRIPTION C::UINTP))
 (10 10 (:TYPE-PRESCRIPTION C::UCHARP))
 (10 10 (:TYPE-PRESCRIPTION C::SSHORTP))
 (10 10 (:TYPE-PRESCRIPTION C::SLONGP))
 (10 10 (:TYPE-PRESCRIPTION C::SLLONGP))
 (10 10 (:TYPE-PRESCRIPTION C::SINTP))
 (10 10 (:TYPE-PRESCRIPTION C::SCHARP))
 (10 10 (:TYPE-PRESCRIPTION C::POINTERP))
 (10 10 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (9 9 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (9 4 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 )
(C::VALUEP-OF-CDR-OF-IN-SCOPEP
 (619 17 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (585 9 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (525 5 (:DEFINITION C::SCOPEP))
 (403 354 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (258 15 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (126 110 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (125 5 (:REWRITE FAST-<<-IS-<<))
 (95 25 (:REWRITE <<-TRICHOTOMY))
 (85 15 (:REWRITE <<-ASYMMETRIC))
 (67 17 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (67 17 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (67 17 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (67 17 (:REWRITE C::VALUEP-WHEN-UINTP))
 (67 17 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (67 17 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (67 17 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (67 17 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (67 17 (:REWRITE C::VALUEP-WHEN-SINTP))
 (67 17 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (67 17 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (60 60 (:TYPE-PRESCRIPTION <<))
 (48 35 (:REWRITE DEFAULT-CDR))
 (45 45 (:REWRITE DEFAULT-CAR))
 (34 34 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (28 12 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (25 25 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (25 25 (:REWRITE <<-TRANSITIVE))
 (20 12 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (20 5 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (15 15 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (11 11 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (9 4 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (5 5 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C::SCOPE-FIX
 (1 1 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 )
(C::SCOPEP-OF-SCOPE-FIX)
(C::SCOPE-FIX-WHEN-SCOPEP)
(C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY
 (28 7 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (14 14 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (10 2 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (33 33 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 )
(C::SCOPE-EQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 )
(C::SCOPE-EQUIV-IS-AN-EQUIVALENCE)
(C::SCOPE-EQUIV-IMPLIES-EQUAL-SCOPE-FIX-1)
(C::SCOPE-FIX-UNDER-SCOPE-EQUIV)
(C::EQUAL-OF-SCOPE-FIX-1-FORWARD-TO-SCOPE-EQUIV)
(C::EQUAL-OF-SCOPE-FIX-2-FORWARD-TO-SCOPE-EQUIV)
(C::SCOPE-EQUIV-OF-SCOPE-FIX-1-FORWARD)
(C::SCOPE-EQUIV-OF-SCOPE-FIX-2-FORWARD)
(C::SCOPE-LISTP)
(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(STD::DEFLIST-LOCAL-ELEMENTP-OF-NIL-THM)
(C::SCOPE-LISTP-OF-CONS)
(C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP)
(C::SCOPE-LISTP-WHEN-NOT-CONSP)
(C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP)
(C::TRUE-LISTP-WHEN-SCOPE-LISTP)
(C::SCOPE-LISTP-OF-LIST-FIX)
(C::SCOPE-LISTP-OF-SFIX)
(C::SCOPE-LISTP-OF-INSERT)
(C::SCOPE-LISTP-OF-DELETE)
(C::SCOPE-LISTP-OF-MERGESORT)
(C::SCOPE-LISTP-OF-UNION)
(C::SCOPE-LISTP-OF-INTERSECT-1)
(C::SCOPE-LISTP-OF-INTERSECT-2)
(C::SCOPE-LISTP-OF-DIFFERENCE)
(C::SCOPE-LISTP-OF-DUPLICATED-MEMBERS)
(C::SCOPE-LISTP-OF-REV)
(C::SCOPE-LISTP-OF-APPEND)
(C::SCOPE-LISTP-OF-RCONS)
(C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP)
(C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL)
(C::SCOPE-LISTP-OF-SET-DIFFERENCE-EQUAL)
(C::SCOPE-LISTP-OF-INTERSECTION-EQUAL-1)
(C::SCOPE-LISTP-OF-INTERSECTION-EQUAL-2)
(C::SCOPE-LISTP-OF-UNION-EQUAL)
(C::SCOPE-LISTP-OF-TAKE)
(C::SCOPE-LISTP-OF-REPEAT)
(C::SCOPEP-OF-NTH-WHEN-SCOPE-LISTP)
(C::SCOPE-LISTP-OF-UPDATE-NTH)
(C::SCOPE-LISTP-OF-BUTLAST)
(C::SCOPE-LISTP-OF-NTHCDR)
(C::SCOPE-LISTP-OF-LAST)
(C::SCOPE-LISTP-OF-REMOVE)
(C::SCOPE-LISTP-OF-REVAPPEND)
(C::SCOPE-LIST-FIX$INLINE
 (1 1 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 )
(C::SCOPE-LISTP-OF-SCOPE-LIST-FIX
 (30 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (22 2 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (18 10 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (15 1 (:DEFINITION C::SCOPE-LISTP))
 (12 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (9 5 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (8 8 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPEP))
 (4 4 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:REWRITE FTY::OPEN-MEMBER-EQUAL-ON-LIST-OF-TAGS))
 (2 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 )
(C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP
 (32 4 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (28 24 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (13 3 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (9 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE FTY::OPEN-MEMBER-EQUAL-ON-LIST-OF-TAGS))
 )
(C::SCOPE-LIST-FIX$INLINE
 (8 8 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (6 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::SCOPE-LIST-EQUIV$INLINE)
(C::SCOPE-LIST-EQUIV-IS-AN-EQUIVALENCE)
(C::SCOPE-LIST-EQUIV-IMPLIES-EQUAL-SCOPE-LIST-FIX-1)
(C::SCOPE-LIST-FIX-UNDER-SCOPE-LIST-EQUIV)
(C::EQUAL-OF-SCOPE-LIST-FIX-1-FORWARD-TO-SCOPE-LIST-EQUIV)
(C::EQUAL-OF-SCOPE-LIST-FIX-2-FORWARD-TO-SCOPE-LIST-EQUIV)
(C::SCOPE-LIST-EQUIV-OF-SCOPE-LIST-FIX-1-FORWARD)
(C::SCOPE-LIST-EQUIV-OF-SCOPE-LIST-FIX-2-FORWARD)
(C::CAR-OF-SCOPE-LIST-FIX-X-UNDER-SCOPE-EQUIV
 (33 3 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (18 3 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (18 2 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (12 12 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 6 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (6 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::SCOPE-LIST-FIX$INLINE))
 )
(C::CAR-SCOPE-LIST-EQUIV-CONGRUENCE-ON-X-UNDER-SCOPE-EQUIV)
(C::CDR-OF-SCOPE-LIST-FIX-X-UNDER-SCOPE-LIST-EQUIV
 (41 3 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (22 2 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (20 20 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (12 2 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPEP))
 (4 4 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::CDR-SCOPE-LIST-EQUIV-CONGRUENCE-ON-X-UNDER-SCOPE-LIST-EQUIV)
(C::CONS-OF-SCOPE-FIX-X-UNDER-SCOPE-LIST-EQUIV
 (34 4 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (17 2 (:REWRITE C::SCOPE-LISTP-OF-CONS))
 (10 10 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (5 5 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::CONS-SCOPE-EQUIV-CONGRUENCE-ON-X-UNDER-SCOPE-LIST-EQUIV)
(C::CONS-OF-SCOPE-LIST-FIX-Y-UNDER-SCOPE-LIST-EQUIV
 (20 2 (:REWRITE C::SCOPE-LISTP-OF-CONS))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (8 8 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (5 4 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::CONS-SCOPE-LIST-EQUIV-CONGRUENCE-ON-Y-UNDER-SCOPE-LIST-EQUIV)
(C::CONSP-OF-SCOPE-LIST-FIX
 (18 2 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (11 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (8 8 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (6 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::SCOPE-LIST-FIX-UNDER-IFF
 (18 2 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (11 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (8 8 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (6 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::SCOPE-LIST-FIX-OF-CONS
 (21 3 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (9 1 (:REWRITE C::SCOPE-LISTP-OF-CONS))
 (6 6 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPEP))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (3 3 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::LEN-OF-SCOPE-LIST-FIX
 (35 4 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (14 14 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (12 2 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (11 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (7 7 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (6 1 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:REWRITE FTY::EQUAL-OF-LEN))
 )
(C::SCOPE-LIST-FIX-OF-APPEND
 (114 10 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (58 2 (:REWRITE C::SCOPE-LISTP-OF-APPEND))
 (40 36 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (29 29 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (24 2 (:REWRITE C::SCOPE-LISTP-OF-LIST-FIX))
 (22 16 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (14 4 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LIST-FIX))
 (12 2 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (6 1 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::SCOPE-LIST-FIX-OF-REPEAT
 (20 2 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (16 4 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (12 2 (:REWRITE C::SCOPE-LISTP-OF-REPEAT))
 (10 10 (:TYPE-PRESCRIPTION C::SCOPEP))
 (10 10 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::SCOPE-LIST-FIX-UNDER-SCOPE-LIST-EQUIV))
 )
(C::LIST-EQUIV-REFINES-SCOPE-LIST-EQUIV
 (146 14 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (112 8 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (88 18 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (72 72 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (72 8 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (70 70 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (36 36 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (16 16 (:TYPE-PRESCRIPTION C::SCOPEP))
 (16 16 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::NTH-OF-SCOPE-LIST-FIX
 (279 279 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (255 19 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (216 21 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (142 27 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (124 124 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (112 11 (:REWRITE C::SCOPEP-OF-NTH-WHEN-SCOPE-LISTP))
 (62 62 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (48 8 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (38 38 (:TYPE-PRESCRIPTION C::SCOPEP))
 (38 38 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (29 20 (:REWRITE DEFAULT-CDR))
 (27 20 (:REWRITE DEFAULT-+-2))
 (23 8 (:REWRITE ZP-OPEN))
 (20 20 (:REWRITE DEFAULT-+-1))
 (20 20 (:REWRITE C::CONSP-OF-SCOPE-LIST-FIX))
 (19 15 (:REWRITE DEFAULT-<-2))
 (15 15 (:REWRITE DEFAULT-<-1))
 (15 6 (:REWRITE DEFAULT-CAR))
 (15 5 (:REWRITE FOLD-CONSTS-IN-+))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::SCOPE-FIX-UNDER-SCOPE-EQUIV))
 )
(C::SCOPE-LIST-EQUIV-IMPLIES-SCOPE-LIST-EQUIV-APPEND-1
 (269 32 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (205 17 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (128 128 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (126 126 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (120 17 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (117 22 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (64 64 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (34 34 (:TYPE-PRESCRIPTION C::SCOPEP))
 (34 34 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::SCOPE-LIST-EQUIV-IMPLIES-SCOPE-LIST-EQUIV-APPEND-2
 (393 46 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (322 26 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (204 39 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (192 26 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (190 190 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (189 189 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (95 95 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (52 52 (:TYPE-PRESCRIPTION C::SCOPEP))
 (52 52 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:REWRITE C::CONSP-OF-SCOPE-LIST-FIX))
 )
(C::SCOPE-LIST-EQUIV-IMPLIES-SCOPE-LIST-EQUIV-NTHCDR-2
 (298 20 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (208 39 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (198 198 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (198 20 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (40 40 (:TYPE-PRESCRIPTION C::SCOPEP))
 (40 40 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::SCOPE-LIST-EQUIV-IMPLIES-SCOPE-LIST-EQUIV-TAKE-2
 (553 38 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (432 28 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (304 51 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (296 26 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (236 236 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (236 236 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (229 24 (:REWRITE C::SCOPE-LISTP-OF-TAKE))
 (136 118 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (66 66 (:TYPE-PRESCRIPTION C::SCOPEP))
 (66 66 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (40 40 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (18 18 (:TYPE-PRESCRIPTION NFIX))
 (12 12 (:TYPE-PRESCRIPTION LEN))
 (6 6 (:REWRITE-QUOTED-CONSTANT C::SCOPE-LIST-FIX-UNDER-SCOPE-LIST-EQUIV))
 )
(C::SCOPE-RESULTP)
(C::CONSP-WHEN-SCOPE-RESULTP)
(C::SCOPE-RESULT-KIND$INLINE)
(C::SCOPE-RESULT-KIND-POSSIBILITIES)
(C::SCOPE-RESULT-FIX$INLINE
 (1 1 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 )
(C::SCOPE-RESULTP-OF-SCOPE-RESULT-FIX
 (17 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (13 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (13 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (11 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 3 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP)
(C::SCOPE-RESULT-FIX$INLINE
 (36 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (19 19 (:REWRITE DEFAULT-CDR))
 (18 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (15 15 (:REWRITE DEFAULT-CAR))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (24 24 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 )
(C::SCOPE-RESULT-EQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 )
(C::SCOPE-RESULT-EQUIV-IS-AN-EQUIVALENCE)
(C::SCOPE-RESULT-EQUIV-IMPLIES-EQUAL-SCOPE-RESULT-FIX-1)
(C::SCOPE-RESULT-FIX-UNDER-SCOPE-RESULT-EQUIV)
(C::EQUAL-OF-SCOPE-RESULT-FIX-1-FORWARD-TO-SCOPE-RESULT-EQUIV)
(C::EQUAL-OF-SCOPE-RESULT-FIX-2-FORWARD-TO-SCOPE-RESULT-EQUIV)
(C::SCOPE-RESULT-EQUIV-OF-SCOPE-RESULT-FIX-1-FORWARD)
(C::SCOPE-RESULT-EQUIV-OF-SCOPE-RESULT-FIX-2-FORWARD)
(C::SCOPE-RESULT-KIND$INLINE-OF-SCOPE-RESULT-FIX-X
 (286 13 (:REWRITE C::IDENTP-WHEN-WRONG-TAG))
 (13 13 (:REWRITE C::TAG-WHEN-USHORTP))
 (13 13 (:REWRITE C::TAG-WHEN-ULONGP))
 (13 13 (:REWRITE C::TAG-WHEN-ULLONGP))
 (13 13 (:REWRITE C::TAG-WHEN-UINTP))
 (13 13 (:REWRITE C::TAG-WHEN-UCHARP))
 (13 13 (:REWRITE C::TAG-WHEN-TYNAMEP))
 (13 13 (:REWRITE C::TAG-WHEN-TRANSUNITP))
 (13 13 (:REWRITE C::TAG-WHEN-SSHORTP))
 (13 13 (:REWRITE C::TAG-WHEN-SLONGP))
 (13 13 (:REWRITE C::TAG-WHEN-SLLONGP))
 (13 13 (:REWRITE C::TAG-WHEN-SINTP))
 (13 13 (:REWRITE C::TAG-WHEN-SCHARP))
 (13 13 (:REWRITE C::TAG-WHEN-POINTERP))
 (13 13 (:REWRITE C::TAG-WHEN-PARAM-DECLONP))
 (13 13 (:REWRITE C::TAG-WHEN-IDENTP))
 (13 13 (:REWRITE C::TAG-WHEN-ICONSTP))
 (13 13 (:REWRITE C::TAG-WHEN-FUNDEFP))
 (13 13 (:REWRITE C::TAG-WHEN-ERRORP))
 (13 13 (:REWRITE C::TAG-WHEN-DECLORP))
 (13 13 (:REWRITE C::TAG-WHEN-DECLONP))
 (13 13 (:REWRITE C::TAG-WHEN-ADDRESSP))
 (5 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (4 1 (:DEFINITION C::ERRORP))
 (2 2 (:DEFINITION STRIP-CARS))
 (2 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (1 1 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 )
(C::SCOPE-RESULT-KIND$INLINE-SCOPE-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::SCOPE-RESULT-OK->GET$INLINE
 (1 1 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 )
(C::SCOPEP-OF-SCOPE-RESULT-OK->GET
 (20 2 (:DEFINITION C::SCOPEP))
 (16 1 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (9 1 (:DEFINITION C::SCOPE-FIX))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (3 3 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 (3 3 (:TYPE-PRESCRIPTION C::IDENTP))
 (3 3 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::SCOPE-RESULT-OK->GET$INLINE-OF-SCOPE-RESULT-FIX-X
 (109 109 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (54 18 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (36 36 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 (26 16 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (24 16 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 )
(C::SCOPE-RESULT-OK->GET$INLINE-SCOPE-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::SCOPE-RESULT-OK->GET-WHEN-WRONG-KIND
 (12 12 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 )
(C::SCOPE-RESULT-OK
 (4 1 (:DEFINITION C::SCOPEP))
 (1 1 (:TYPE-PRESCRIPTION C::VALUEP))
 (1 1 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (1 1 (:TYPE-PRESCRIPTION C::IDENTP))
 (1 1 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::RETURN-TYPE-OF-SCOPE-RESULT-OK
 (26 2 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (15 15 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (10 10 (:TYPE-PRESCRIPTION C::VALUEP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 (10 10 (:TYPE-PRESCRIPTION FAST-<<))
 (3 3 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::SCOPE-RESULT-OK->GET-OF-SCOPE-RESULT-OK
 (68 68 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (27 27 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (16 8 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 )
(C::SCOPE-RESULT-OK-OF-FIELDS
 (52 7 (:DEFINITION C::SCOPEP))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (10 10 (:TYPE-PRESCRIPTION C::VALUEP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 (10 10 (:TYPE-PRESCRIPTION FAST-<<))
 (6 3 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (3 1 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 )
(C::SCOPE-RESULT-FIX-WHEN-OK
 (42 6 (:DEFINITION C::SCOPEP))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION C::VALUEP))
 (8 8 (:TYPE-PRESCRIPTION C::IDENTP))
 (8 8 (:TYPE-PRESCRIPTION FAST-<<))
 (6 3 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (3 1 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 )
(C::EQUAL-OF-SCOPE-RESULT-OK)
(C::SCOPE-RESULT-OK-OF-SCOPE-FIX-GET
 (42 6 (:DEFINITION C::SCOPEP))
 (9 6 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (8 8 (:TYPE-PRESCRIPTION C::VALUEP))
 (8 8 (:TYPE-PRESCRIPTION C::IDENTP))
 (8 8 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::SCOPE-RESULT-OK-SCOPE-EQUIV-CONGRUENCE-ON-GET)
(C::SCOPE-RESULT-ERR->GET$INLINE
 (36 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (19 19 (:REWRITE DEFAULT-CDR))
 (18 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (15 15 (:REWRITE DEFAULT-CAR))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (8 8 (:TYPE-PRESCRIPTION IDENTITY))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::ERRORP-OF-SCOPE-RESULT-ERR->GET
 (63 3 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (17 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (15 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (11 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (7 1 (:DEFINITION C::SCOPEP))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION C::SCOPEP))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::SCOPE-RESULT-ERR->GET$INLINE-OF-SCOPE-RESULT-FIX-X
 (131 10 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (111 10 (:DEFINITION C::ERRORP))
 (48 48 (:TYPE-PRESCRIPTION STRIP-CARS))
 (35 8 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (33 11 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (22 22 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 (16 16 (:DEFINITION STRIP-CARS))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (10 10 (:TYPE-PRESCRIPTION C::ERRORP))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::SCOPE-RESULT-ERR->GET$INLINE-SCOPE-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::SCOPE-RESULT-ERR->GET-WHEN-WRONG-KIND
 (3 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:DEFINITION C::ERRORP))
 )
(C::SCOPE-RESULT-ERR
 (36 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (19 19 (:REWRITE DEFAULT-CDR))
 (18 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (15 15 (:REWRITE DEFAULT-CAR))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 3 (:DEFINITION C::SCOPEP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (3 3 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::RETURN-TYPE-OF-SCOPE-RESULT-ERR
 (17 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (11 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::SCOPE-RESULT-ERR->GET-OF-SCOPE-RESULT-ERR
 (30 24 (:TYPE-PRESCRIPTION IDENTITY))
 (23 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (21 1 (:DEFINITION C::ERRORP))
 (16 16 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-ERR))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::SCOPE-RESULT-ERR-OF-FIELDS
 (26 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (22 2 (:DEFINITION C::ERRORP))
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:DEFINITION STRIP-CARS))
 (3 1 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::SCOPE-RESULT-FIX-WHEN-ERR
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (14 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (11 1 (:DEFINITION C::ERRORP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::EQUAL-OF-SCOPE-RESULT-ERR
 (558 6 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (550 6 (:DEFINITION C::ERRORP))
 (452 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (428 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (408 4 (:DEFINITION C::SCOPEP))
 (246 2 (:DEFINITION ALISTP))
 (172 8 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (160 4 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (60 4 (:REWRITE FAST-<<-IS-<<))
 (59 59 (:REWRITE DEFAULT-CAR))
 (48 12 (:REWRITE <<-TRICHOTOMY))
 (46 46 (:REWRITE DEFAULT-CDR))
 (32 32 (:TYPE-PRESCRIPTION <<))
 (30 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (24 12 (:DEFINITION STRIP-CARS))
 (24 4 (:REWRITE <<-ASYMMETRIC))
 (20 20 (:TYPE-PRESCRIPTION C::SCOPEP))
 (16 16 (:TYPE-PRESCRIPTION C::VALUEP))
 (16 16 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (16 16 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (16 8 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (16 8 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (16 8 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (16 8 (:REWRITE C::VALUEP-WHEN-UINTP))
 (16 8 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (16 8 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (16 8 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (16 8 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (16 8 (:REWRITE C::VALUEP-WHEN-SINTP))
 (16 8 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (16 8 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (16 4 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (16 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (12 12 (:REWRITE <<-TRANSITIVE))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (8 8 (:TYPE-PRESCRIPTION C::USHORTP))
 (8 8 (:TYPE-PRESCRIPTION C::ULONGP))
 (8 8 (:TYPE-PRESCRIPTION C::ULLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::UINTP))
 (8 8 (:TYPE-PRESCRIPTION C::UCHARP))
 (8 8 (:TYPE-PRESCRIPTION C::SSHORTP))
 (8 8 (:TYPE-PRESCRIPTION C::SLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::SLLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::SINTP))
 (8 8 (:TYPE-PRESCRIPTION C::SCHARP))
 (8 8 (:TYPE-PRESCRIPTION C::POINTERP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 )
(C::SCOPE-RESULT-ERR-OF-ERROR-FIX-GET
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C::SCOPE-RESULT-ERR-ERROR-EQUIV-CONGRUENCE-ON-GET)
(C::SCOPE-RESULT-FIX-REDEF
 (22 11 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK))
 (15 15 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-FIX$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPE-RESULT-OK->GET$INLINE))
 (9 3 (:REWRITE C::SCOPE-RESULT-FIX-WHEN-SCOPE-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPE-RESULTP))
 )
(C::SCOPE-RESULTP-WHEN-SCOPEP)
(C::SCOPE-RESULTP-WHEN-ERRORP)
(C::SCOPEP-WHEN-SCOPE-RESULTP-AND-NOT-ERRORP)
(C::SCOPE-LIST-RESULTP)
(C::CONSP-WHEN-SCOPE-LIST-RESULTP)
(C::SCOPE-LIST-RESULT-KIND$INLINE)
(C::SCOPE-LIST-RESULT-KIND-POSSIBILITIES)
(C::SCOPE-LIST-RESULT-FIX$INLINE)
(C::SCOPE-LIST-RESULTP-OF-SCOPE-LIST-RESULT-FIX
 (72 8 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (40 40 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (40 4 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (22 2 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (16 2 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (13 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (12 2 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (10 10 (:REWRITE DEFAULT-CDR))
 (10 2 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 2 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (6 2 (:DEFINITION NATP))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 )
(C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP
 (66 6 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (40 40 (:REWRITE DEFAULT-CDR))
 (30 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (28 6 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (27 27 (:REWRITE DEFAULT-CAR))
 (27 3 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (18 18 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (14 6 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (10 1 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (7 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::SCOPE-LIST-RESULT-FIX$INLINE
 (66 6 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (40 40 (:REWRITE DEFAULT-CDR))
 (30 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (28 6 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (27 27 (:REWRITE DEFAULT-CAR))
 (27 3 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (18 18 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (14 6 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (10 1 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (7 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C::SCOPE-LIST-RESULT-EQUIV$INLINE)
(C::SCOPE-LIST-RESULT-EQUIV-IS-AN-EQUIVALENCE)
(C::SCOPE-LIST-RESULT-EQUIV-IMPLIES-EQUAL-SCOPE-LIST-RESULT-FIX-1)
(C::SCOPE-LIST-RESULT-FIX-UNDER-SCOPE-LIST-RESULT-EQUIV)
(C::EQUAL-OF-SCOPE-LIST-RESULT-FIX-1-FORWARD-TO-SCOPE-LIST-RESULT-EQUIV)
(C::EQUAL-OF-SCOPE-LIST-RESULT-FIX-2-FORWARD-TO-SCOPE-LIST-RESULT-EQUIV)
(C::SCOPE-LIST-RESULT-EQUIV-OF-SCOPE-LIST-RESULT-FIX-1-FORWARD)
(C::SCOPE-LIST-RESULT-EQUIV-OF-SCOPE-LIST-RESULT-FIX-2-FORWARD)
(C::SCOPE-LIST-RESULT-KIND$INLINE-OF-SCOPE-LIST-RESULT-FIX-X
 (5 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (4 1 (:DEFINITION C::ERRORP))
 (3 1 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (2 2 (:DEFINITION STRIP-CARS))
 (2 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (1 1 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 )
(C::SCOPE-LIST-RESULT-KIND$INLINE-SCOPE-LIST-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::SCOPE-LIST-RESULT-OK->GET$INLINE)
(C::SCOPE-LISTP-OF-SCOPE-LIST-RESULT-OK->GET
 (20 2 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (14 2 (:DEFINITION C::SCOPE-LISTP))
 (12 1 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPEP))
 )
(C::SCOPE-LIST-RESULT-OK->GET$INLINE-OF-SCOPE-LIST-RESULT-FIX-X
 (70 6 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULT-FIX$INLINE))
 (12 4 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 )
(C::SCOPE-LIST-RESULT-OK->GET$INLINE-SCOPE-LIST-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::SCOPE-LIST-RESULT-OK->GET-WHEN-WRONG-KIND)
(C::SCOPE-LIST-RESULT-OK
 (2 1 (:DEFINITION C::SCOPE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION C::SCOPEP))
 )
(C::RETURN-TYPE-OF-SCOPE-LIST-RESULT-OK
 (36 4 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (24 4 (:DEFINITION C::SCOPE-LISTP))
 (20 2 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 )
(C::SCOPE-LIST-RESULT-OK->GET-OF-SCOPE-LIST-RESULT-OK
 (96 15 (:DEFINITION C::SCOPE-LISTP))
 (86 8 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (30 30 (:TYPE-PRESCRIPTION C::SCOPEP))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULT-OK))
 )
(C::SCOPE-LIST-RESULT-OK-OF-FIELDS
 (24 4 (:DEFINITION C::SCOPE-LISTP))
 (20 2 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (3 1 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 )
(C::SCOPE-LIST-RESULT-FIX-WHEN-OK
 (20 2 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (18 3 (:DEFINITION C::SCOPE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (3 1 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 )
(C::EQUAL-OF-SCOPE-LIST-RESULT-OK
 (48 16 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (29 29 (:DEFINITION C::SCOPE-LISTP))
 )
(C::SCOPE-LIST-RESULT-OK-OF-SCOPE-LIST-FIX-GET
 (20 2 (:DEFINITION C::SCOPE-LIST-FIX$INLINE))
 (18 3 (:DEFINITION C::SCOPE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 )
(C::SCOPE-LIST-RESULT-OK-SCOPE-LIST-EQUIV-CONGRUENCE-ON-GET)
(C::SCOPE-LIST-RESULT-ERR->GET$INLINE
 (66 6 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (40 40 (:REWRITE DEFAULT-CDR))
 (30 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (28 6 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (27 27 (:REWRITE DEFAULT-CAR))
 (27 3 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (18 18 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (14 14 (:TYPE-PRESCRIPTION IDENTITY))
 (14 6 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (7 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::ERRORP-OF-SCOPE-LIST-RESULT-ERR->GET
 (63 3 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (15 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (11 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::SCOPE-LIST-RESULT-ERR->GET$INLINE-OF-SCOPE-LIST-RESULT-FIX-X
 (78 5 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (68 5 (:DEFINITION C::ERRORP))
 (26 26 (:TYPE-PRESCRIPTION STRIP-CARS))
 (19 4 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (18 6 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (13 13 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULT-FIX$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 (8 8 (:DEFINITION STRIP-CARS))
 (5 5 (:TYPE-PRESCRIPTION C::ERRORP))
 (4 4 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::SCOPE-LIST-RESULT-ERR->GET$INLINE-SCOPE-LIST-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::SCOPE-LIST-RESULT-ERR->GET-WHEN-WRONG-KIND
 (3 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:DEFINITION C::ERRORP))
 )
(C::SCOPE-LIST-RESULT-ERR
 (33 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (19 19 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::RETURN-TYPE-OF-SCOPE-LIST-RESULT-ERR
 (22 2 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (16 2 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 2 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (10 10 (:REWRITE DEFAULT-CDR))
 (10 2 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 2 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (6 2 (:DEFINITION NATP))
 (5 5 (:REWRITE DEFAULT-CAR))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::SCOPE-LIST-RESULT-ERR->GET-OF-SCOPE-LIST-RESULT-ERR
 (30 24 (:TYPE-PRESCRIPTION IDENTITY))
 (23 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (21 1 (:DEFINITION C::ERRORP))
 (16 16 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULT-ERR))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::SCOPE-LIST-RESULT-ERR-OF-FIELDS
 (26 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (22 2 (:DEFINITION C::ERRORP))
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:DEFINITION STRIP-CARS))
 (3 1 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::SCOPE-LIST-RESULT-FIX-WHEN-ERR
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (14 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (11 1 (:DEFINITION C::ERRORP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::EQUAL-OF-SCOPE-LIST-RESULT-ERR
 (150 6 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (142 6 (:DEFINITION C::ERRORP))
 (44 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (42 2 (:DEFINITION ALISTP))
 (30 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (24 12 (:DEFINITION STRIP-CARS))
 (23 23 (:REWRITE DEFAULT-CAR))
 (22 22 (:REWRITE DEFAULT-CDR))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (16 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 )
(C::SCOPE-LIST-RESULT-ERR-OF-ERROR-FIX-GET
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C::SCOPE-LIST-RESULT-ERR-ERROR-EQUIV-CONGRUENCE-ON-GET)
(C::SCOPE-LIST-RESULT-FIX-REDEF
 (9 3 (:REWRITE C::SCOPE-LIST-RESULT-FIX-WHEN-SCOPE-LIST-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPE-LIST-RESULTP))
 )
(C::SCOPE-LIST-RESULTP-WHEN-SCOPE-LISTP)
(C::SCOPE-LIST-RESULTP-WHEN-ERRORP)
(C::SCOPE-LISTP-WHEN-SCOPE-LIST-RESULTP-AND-NOT-ERRORP)
(C::ERRORP-WHEN-SCOPE-LIST-RESULTP
 (87 6 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (51 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (33 12 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (24 6 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (14 14 (:REWRITE DEFAULT-CDR))
 (14 14 (:REWRITE DEFAULT-CAR))
 (14 2 (:DEFINITION MEMBER-EQUAL))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPEP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (6 6 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE MEMBER-SELF))
 )
(C::FRAMEP
 (6 6 (:DEFINITION STRIP-CARS))
 )
(C::CONSP-WHEN-FRAMEP)
(C::FRAME-FIX$INLINE)
(C::FRAMEP-OF-FRAME-FIX
 (72 21 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (44 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (43 13 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (32 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (26 26 (:TYPE-PRESCRIPTION C::IDENTP))
 (24 4 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (22 18 (:REWRITE DEFAULT-CDR))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (10 10 (:REWRITE DEFAULT-CAR))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (8 1 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C::FRAME-FIX-WHEN-FRAMEP
 (3 3 (:DEFINITION STRIP-CARS))
 )
(C::FRAME-FIX$INLINE
 (3 3 (:DEFINITION STRIP-CARS))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C::FRAME-EQUIV$INLINE)
(C::FRAME-EQUIV-IS-AN-EQUIVALENCE)
(C::FRAME-EQUIV-IMPLIES-EQUAL-FRAME-FIX-1)
(C::FRAME-FIX-UNDER-FRAME-EQUIV)
(C::EQUAL-OF-FRAME-FIX-1-FORWARD-TO-FRAME-EQUIV)
(C::EQUAL-OF-FRAME-FIX-2-FORWARD-TO-FRAME-EQUIV)
(C::FRAME-EQUIV-OF-FRAME-FIX-1-FORWARD)
(C::FRAME-EQUIV-OF-FRAME-FIX-2-FORWARD)
(C::FRAME->FUNCTION$INLINE
 (3 3 (:DEFINITION STRIP-CARS))
 )
(C::IDENTP-OF-FRAME->FUNCTION)
(C::FRAME->FUNCTION$INLINE-OF-FRAME-FIX-X
 (9 3 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (6 6 (:TYPE-PRESCRIPTION C::FRAMEP))
 (3 1 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 )
(C::FRAME->FUNCTION$INLINE-FRAME-EQUIV-CONGRUENCE-ON-X)
(C::FRAME->SCOPES$INLINE
 (3 3 (:DEFINITION STRIP-CARS))
 )
(C::SCOPE-LISTP-OF-FRAME->SCOPES
 (9 3 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 )
(C::FRAME->SCOPES$INLINE-OF-FRAME-FIX-X
 (48 16 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (32 32 (:TYPE-PRESCRIPTION C::FRAMEP))
 (15 5 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 )
(C::FRAME->SCOPES$INLINE-FRAME-EQUIV-CONGRUENCE-ON-X)
(C::FRAME)
(C::FRAMEP-OF-FRAME
 (50 17 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (44 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (37 11 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (32 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (24 4 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (11 7 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::FRAME->FUNCTION-OF-FRAME
 (3 1 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 )
(C::FRAME->SCOPES-OF-FRAME
 (15 5 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 )
(C::FRAME-REQUIREMENTS)
(C::FRAME-OF-FIELDS
 (3 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 )
(C::FRAME-FIX-WHEN-FRAME
 (3 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 )
(C::EQUAL-OF-FRAME)
(C::FRAME-OF-IDENT-FIX-FUNCTION
 (4 2 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 )
(C::FRAME-IDENT-EQUIV-CONGRUENCE-ON-FUNCTION)
(C::FRAME-OF-SCOPE-LIST-FIX-SCOPES
 (4 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENTP))
 )
(C::FRAME-SCOPE-LIST-EQUIV-CONGRUENCE-ON-SCOPES)
(C::FRAME-FIX-REDEF)
(C::LEN-OF-FRAME->SCOPES-LOWER-BOUND
 (7 1 (:DEFINITION LEN))
 (2 1 (:REWRITE DEFAULT-CDR))
 (2 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(C::FRAME-LISTP)
(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(STD::DEFLIST-LOCAL-ELEMENTP-OF-NIL-THM)
(C::FRAME-LISTP-OF-CONS)
(C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP)
(C::FRAME-LISTP-WHEN-NOT-CONSP)
(C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP)
(C::TRUE-LISTP-WHEN-FRAME-LISTP)
(C::FRAME-LISTP-OF-LIST-FIX)
(C::FRAME-LISTP-OF-SFIX)
(C::FRAME-LISTP-OF-INSERT)
(C::FRAME-LISTP-OF-DELETE)
(C::FRAME-LISTP-OF-MERGESORT)
(C::FRAME-LISTP-OF-UNION)
(C::FRAME-LISTP-OF-INTERSECT-1)
(C::FRAME-LISTP-OF-INTERSECT-2)
(C::FRAME-LISTP-OF-DIFFERENCE)
(C::FRAME-LISTP-OF-DUPLICATED-MEMBERS)
(C::FRAME-LISTP-OF-REV)
(C::FRAME-LISTP-OF-APPEND)
(C::FRAME-LISTP-OF-RCONS)
(C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP)
(C::FRAME-LISTP-WHEN-SUBSETP-EQUAL)
(C::FRAME-LISTP-OF-SET-DIFFERENCE-EQUAL)
(C::FRAME-LISTP-OF-INTERSECTION-EQUAL-1)
(C::FRAME-LISTP-OF-INTERSECTION-EQUAL-2)
(C::FRAME-LISTP-OF-UNION-EQUAL)
(C::FRAME-LISTP-OF-TAKE)
(C::FRAME-LISTP-OF-REPEAT)
(C::FRAMEP-OF-NTH-WHEN-FRAME-LISTP)
(C::FRAME-LISTP-OF-UPDATE-NTH)
(C::FRAME-LISTP-OF-BUTLAST)
(C::FRAME-LISTP-OF-NTHCDR)
(C::FRAME-LISTP-OF-LAST)
(C::FRAME-LISTP-OF-REMOVE)
(C::FRAME-LISTP-OF-REVAPPEND)
(C::FRAME-LIST-FIX$INLINE)
(C::FRAME-LISTP-OF-FRAME-LIST-FIX
 (30 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (22 2 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (18 10 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (15 1 (:DEFINITION C::FRAME-LISTP))
 (12 6 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (9 5 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (8 8 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION C::FRAMEP))
 (2 2 (:REWRITE FTY::OPEN-MEMBER-EQUAL-ON-LIST-OF-TAGS))
 (2 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 )
(C::FRAME-LIST-FIX-WHEN-FRAME-LISTP
 (32 4 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (28 24 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (13 3 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (9 6 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1 1 (:REWRITE FTY::OPEN-MEMBER-EQUAL-ON-LIST-OF-TAGS))
 )
(C::FRAME-LIST-FIX$INLINE
 (8 8 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (6 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::FRAME-LIST-EQUIV$INLINE)
(C::FRAME-LIST-EQUIV-IS-AN-EQUIVALENCE)
(C::FRAME-LIST-EQUIV-IMPLIES-EQUAL-FRAME-LIST-FIX-1)
(C::FRAME-LIST-FIX-UNDER-FRAME-LIST-EQUIV)
(C::EQUAL-OF-FRAME-LIST-FIX-1-FORWARD-TO-FRAME-LIST-EQUIV)
(C::EQUAL-OF-FRAME-LIST-FIX-2-FORWARD-TO-FRAME-LIST-EQUIV)
(C::FRAME-LIST-EQUIV-OF-FRAME-LIST-FIX-1-FORWARD)
(C::FRAME-LIST-EQUIV-OF-FRAME-LIST-FIX-2-FORWARD)
(C::CAR-OF-FRAME-LIST-FIX-X-UNDER-FRAME-EQUIV
 (33 3 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (18 3 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (18 2 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (12 12 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (12 12 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:TYPE-PRESCRIPTION C::FRAMEP))
 (6 6 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (6 6 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (6 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::FRAME-LIST-FIX$INLINE))
 )
(C::CAR-FRAME-LIST-EQUIV-CONGRUENCE-ON-X-UNDER-FRAME-EQUIV)
(C::CDR-OF-FRAME-LIST-FIX-X-UNDER-FRAME-LIST-EQUIV
 (41 3 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (22 2 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (20 20 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (12 2 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (4 4 (:TYPE-PRESCRIPTION C::FRAMEP))
 (4 4 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::CDR-FRAME-LIST-EQUIV-CONGRUENCE-ON-X-UNDER-FRAME-LIST-EQUIV)
(C::CONS-OF-FRAME-FIX-X-UNDER-FRAME-LIST-EQUIV
 (34 4 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (17 2 (:REWRITE C::FRAME-LISTP-OF-CONS))
 (10 10 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (5 5 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::CONS-FRAME-EQUIV-CONGRUENCE-ON-X-UNDER-FRAME-LIST-EQUIV)
(C::CONS-OF-FRAME-LIST-FIX-Y-UNDER-FRAME-LIST-EQUIV
 (20 2 (:REWRITE C::FRAME-LISTP-OF-CONS))
 (8 8 (:TYPE-PRESCRIPTION C::FRAMEP))
 (8 8 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (8 8 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (5 4 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::CONS-FRAME-LIST-EQUIV-CONGRUENCE-ON-Y-UNDER-FRAME-LIST-EQUIV)
(C::CONSP-OF-FRAME-LIST-FIX
 (18 2 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (11 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (8 8 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (8 8 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (6 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::FRAME-LIST-FIX-UNDER-IFF
 (18 2 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (11 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (8 8 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (8 8 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (6 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::FRAME-LIST-FIX-OF-CONS
 (21 3 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (9 1 (:REWRITE C::FRAME-LISTP-OF-CONS))
 (6 6 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (4 4 (:TYPE-PRESCRIPTION C::FRAMEP))
 (4 4 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (4 4 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (3 3 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::LEN-OF-FRAME-LIST-FIX
 (35 4 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (14 14 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (13 13 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (12 2 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (11 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (7 7 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (6 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (1 1 (:REWRITE FTY::EQUAL-OF-LEN))
 )
(C::FRAME-LIST-FIX-OF-APPEND
 (114 10 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (58 2 (:REWRITE C::FRAME-LISTP-OF-APPEND))
 (40 36 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (29 29 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (24 2 (:REWRITE C::FRAME-LISTP-OF-LIST-FIX))
 (22 16 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (14 4 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LIST-FIX))
 (12 2 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (6 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::FRAME-LIST-FIX-OF-REPEAT
 (20 2 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (16 4 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (12 2 (:REWRITE C::FRAME-LISTP-OF-REPEAT))
 (10 10 (:TYPE-PRESCRIPTION C::FRAMEP))
 (10 10 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::FRAME-LIST-FIX-UNDER-FRAME-LIST-EQUIV))
 )
(C::LIST-EQUIV-REFINES-FRAME-LIST-EQUIV
 (146 14 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (112 8 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (88 18 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (72 72 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (72 8 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (70 70 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (36 36 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (16 16 (:TYPE-PRESCRIPTION C::FRAMEP))
 (16 16 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::NTH-OF-FRAME-LIST-FIX
 (239 17 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (167 16 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (124 24 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (124 12 (:REWRITE C::FRAMEP-OF-NTH-WHEN-FRAME-LISTP))
 (106 106 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (53 53 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (34 34 (:TYPE-PRESCRIPTION C::FRAMEP))
 (34 34 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (30 5 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (25 18 (:REWRITE DEFAULT-+-2))
 (24 18 (:REWRITE DEFAULT-CDR))
 (19 7 (:REWRITE ZP-OPEN))
 (18 18 (:REWRITE DEFAULT-+-1))
 (18 14 (:REWRITE DEFAULT-<-2))
 (14 14 (:REWRITE DEFAULT-<-1))
 (13 13 (:REWRITE C::CONSP-OF-FRAME-LIST-FIX))
 (12 4 (:REWRITE FOLD-CONSTS-IN-+))
 (10 4 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::FRAME-FIX-UNDER-FRAME-EQUIV))
 )
(C::FRAME-LIST-EQUIV-IMPLIES-FRAME-LIST-EQUIV-APPEND-1
 (269 32 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (205 17 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (128 128 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (126 126 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (120 17 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (117 22 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (64 64 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (34 34 (:TYPE-PRESCRIPTION C::FRAMEP))
 (34 34 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::FRAME-LIST-EQUIV-IMPLIES-FRAME-LIST-EQUIV-APPEND-2
 (393 46 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (322 26 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (204 39 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (192 26 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (190 190 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (189 189 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (95 95 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (52 52 (:TYPE-PRESCRIPTION C::FRAMEP))
 (52 52 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (4 4 (:REWRITE C::CONSP-OF-FRAME-LIST-FIX))
 )
(C::FRAME-LIST-EQUIV-IMPLIES-FRAME-LIST-EQUIV-NTHCDR-2
 (298 20 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (208 39 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (198 198 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (198 20 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (40 40 (:TYPE-PRESCRIPTION C::FRAMEP))
 (40 40 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::FRAME-LIST-EQUIV-IMPLIES-FRAME-LIST-EQUIV-TAKE-2
 (553 38 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (432 28 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (304 51 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (296 26 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (236 236 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (236 236 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (229 24 (:REWRITE C::FRAME-LISTP-OF-TAKE))
 (136 118 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (66 66 (:TYPE-PRESCRIPTION C::FRAMEP))
 (66 66 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (18 18 (:TYPE-PRESCRIPTION NFIX))
 (12 12 (:TYPE-PRESCRIPTION LEN))
 (6 6 (:REWRITE-QUOTED-CONSTANT C::FRAME-LIST-FIX-UNDER-FRAME-LIST-EQUIV))
 )
(C::HEAPP)
(C::BOOLEANP-OFHEAPP)
(C::MAPP-WHEN-HEAPP
 (161 50 (:REWRITE <<-TRICHOTOMY))
 (143 29 (:REWRITE <<-ASYMMETRIC))
 (133 133 (:REWRITE DEFAULT-CAR))
 (77 77 (:REWRITE DEFAULT-CDR))
 (59 47 (:REWRITE <<-TRANSITIVE))
 (30 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPEP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (12 12 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (3 3 (:REWRITE <<-IRREFLEXIVE))
 )
(C::HEAPP-OF-TAIL
 (60 60 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (27 27 (:REWRITE DEFAULT-CAR))
 (24 6 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (20 20 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (15 3 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (9 9 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::ADDRESSP))
 (3 1 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 )
(C::ADDRESSP-OF-HEAD-KEY-WHEN-HEAPP
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (20 5 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (14 14 (:REWRITE DEFAULT-CAR))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (11 3 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (10 8 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (8 8 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (7 7 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 )
(C::UCHAR-ARRAYP-OF-HEAD-VAL-WHEN-HEAPP
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (16 4 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (15 15 (:REWRITE DEFAULT-CAR))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (10 8 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 (10 2 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (4 4 (:TYPE-PRESCRIPTION C::ADDRESSP))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 )
(C::HEAPP-OF-UPDATE
 (803 703 (:REWRITE DEFAULT-CDR))
 (736 644 (:REWRITE <<-TRANSITIVE))
 (240 240 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (150 30 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (99 99 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (60 60 (:TYPE-PRESCRIPTION C::SCOPEP))
 (60 60 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (49 49 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (30 30 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (25 25 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (12 12 (:REWRITE-QUOTED-CONSTANT TRUE-LIST-LIST-FIX-UNDER-TRUE-LIST-LIST-EQUIV))
 (10 10 (:REWRITE <<-IRREFLEXIVE))
 )
(C::HEAPP-OF-UPDATE*
 (228 60 (:REWRITE <<-TRICHOTOMY))
 (204 36 (:REWRITE <<-ASYMMETRIC))
 (108 108 (:REWRITE DEFAULT-CAR))
 (102 24 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (72 72 (:REWRITE DEFAULT-CDR))
 (66 12 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (60 60 (:REWRITE <<-TRANSITIVE))
 (36 36 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (18 6 (:REWRITE OMAP::UPDATE*-WHEN-RIGHT-EMPTY))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (9 3 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (3 3 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (3 3 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 )
(C::HEAPP-OF-DELETE
 (350 7 (:DEFINITION C::HEAPP))
 (175 7 (:REWRITE FAST-<<-IS-<<))
 (133 35 (:REWRITE <<-TRICHOTOMY))
 (119 21 (:REWRITE <<-ASYMMETRIC))
 (84 84 (:TYPE-PRESCRIPTION <<))
 (63 63 (:REWRITE DEFAULT-CAR))
 (56 54 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (56 14 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (42 42 (:REWRITE DEFAULT-CDR))
 (35 35 (:REWRITE <<-TRANSITIVE))
 (35 7 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (21 21 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (14 6 (:REWRITE OMAP::DELETE-WHEN-EMPTY))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (6 6 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (5 5 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (4 4 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 )
(C::HEAPP-OF-DELETE*
 (152 40 (:REWRITE <<-TRICHOTOMY))
 (136 24 (:REWRITE <<-ASYMMETRIC))
 (72 72 (:REWRITE DEFAULT-CAR))
 (64 16 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (48 48 (:REWRITE DEFAULT-CDR))
 (40 40 (:REWRITE <<-TRANSITIVE))
 (40 8 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (24 24 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (24 24 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (18 6 (:REWRITE OMAP::DELETE*-WHEN-RIGHT-EMPTY))
 (16 16 (:TYPE-PRESCRIPTION C::ADDRESSP))
 (9 3 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (9 3 (:REWRITE OMAP::DELETE-WHEN-EMPTY))
 (3 3 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (3 3 (:REWRITE SET::HEAD-WHEN-EMPTY))
 (2 2 (:REWRITE SET::TAIL-WHEN-EMPTY))
 )
(C::ADDRESSP-WHEN-IN-HEAPP-BINDS-FREE-X
 (249 14 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (150 3 (:DEFINITION C::HEAPP))
 (122 84 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (104 88 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (75 3 (:REWRITE FAST-<<-IS-<<))
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (40 10 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (36 36 (:TYPE-PRESCRIPTION <<))
 (27 27 (:REWRITE DEFAULT-CAR))
 (25 5 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (18 18 (:REWRITE DEFAULT-CDR))
 (18 10 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (15 15 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (13 5 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (9 9 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (8 3 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 (6 6 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 )
(C::ADDRESSP-OF-CAR-OF-IN-HEAPP
 (260 5 (:DEFINITION C::HEAPP))
 (258 15 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (161 121 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (130 114 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (125 5 (:REWRITE FAST-<<-IS-<<))
 (95 25 (:REWRITE <<-TRICHOTOMY))
 (85 15 (:REWRITE <<-ASYMMETRIC))
 (63 50 (:REWRITE DEFAULT-CAR))
 (60 60 (:TYPE-PRESCRIPTION <<))
 (30 30 (:REWRITE DEFAULT-CDR))
 (28 12 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (25 25 (:REWRITE <<-TRANSITIVE))
 (20 12 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (18 18 (:REWRITE C::ADDRESSP-WHEN-IN-HEAPP-BINDS-FREE-X))
 (15 15 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (11 11 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (9 4 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 )
(C::UCHAR-ARRAYP-OF-CDR-OF-IN-HEAPP
 (260 5 (:DEFINITION C::HEAPP))
 (258 15 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (188 148 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (129 113 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTY))
 (125 5 (:REWRITE FAST-<<-IS-<<))
 (95 25 (:REWRITE <<-TRICHOTOMY))
 (85 15 (:REWRITE <<-ASYMMETRIC))
 (60 60 (:TYPE-PRESCRIPTION <<))
 (48 35 (:REWRITE DEFAULT-CDR))
 (45 45 (:REWRITE DEFAULT-CAR))
 (45 10 (:REWRITE C::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (30 5 (:REWRITE C::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (28 12 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (25 25 (:REWRITE <<-TRANSITIVE))
 (20 12 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (15 15 (:TYPE-PRESCRIPTION C::ADDRESS-OPTIONP))
 (15 15 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTY))
 (11 11 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTY))
 (10 10 (:TYPE-PRESCRIPTION C::ADDRESSP))
 (10 10 (:REWRITE C::ADDRESSP-WHEN-IN-HEAPP-BINDS-FREE-X))
 (10 5 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTY))
 )
(C::HEAP-FIX
 (1 1 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 )
(C::HEAPP-OF-HEAP-FIX)
(C::HEAP-FIX-WHEN-HEAPP)
(C::EMPTY-OF-HEAP-FIX-TO-NOT-HEAPP-OR-EMPTY
 (33 7 (:REWRITE OMAP::MFIX-WHEN-EMPTY))
 (14 14 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (10 2 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (6 2 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (3 1 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (33 33 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 )
(C::HEAP-EQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 )
(C::HEAP-EQUIV-IS-AN-EQUIVALENCE)
(C::HEAP-EQUIV-IMPLIES-EQUAL-HEAP-FIX-1)
(C::HEAP-FIX-UNDER-HEAP-EQUIV)
(C::EQUAL-OF-HEAP-FIX-1-FORWARD-TO-HEAP-EQUIV)
(C::EQUAL-OF-HEAP-FIX-2-FORWARD-TO-HEAP-EQUIV)
(C::HEAP-EQUIV-OF-HEAP-FIX-1-FORWARD)
(C::HEAP-EQUIV-OF-HEAP-FIX-2-FORWARD)
(C::UCHAR-ARRAY-RESULTP)
(C::CONSP-WHEN-UCHAR-ARRAY-RESULTP)
(C::UCHAR-ARRAY-RESULT-KIND$INLINE)
(C::UCHAR-ARRAY-RESULT-KIND-POSSIBILITIES)
(C::UCHAR-ARRAY-RESULT-FIX$INLINE)
(C::UCHAR-ARRAY-RESULTP-OF-UCHAR-ARRAY-RESULT-FIX
 (28 2 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (16 2 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (14 1 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (13 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (12 2 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (11 11 (:TYPE-PRESCRIPTION STRIP-CARS))
 (10 2 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (9 8 (:REWRITE DEFAULT-CDR))
 (9 1 (:REWRITE C::UCHAR-LIST-FIX-WHEN-UCHAR-LISTP))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (6 2 (:REWRITE C::MAPP-WHEN-HEAPP))
 (5 1 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPEP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (4 4 (:TYPE-PRESCRIPTION C::HEAPP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (4 4 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP)
(C::UCHAR-ARRAY-RESULT-FIX$INLINE
 (84 6 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (31 31 (:REWRITE DEFAULT-CDR))
 (30 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (28 6 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (24 24 (:REWRITE DEFAULT-CAR))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (18 6 (:REWRITE C::MAPP-WHEN-HEAPP))
 (14 6 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPEP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION C::HEAPP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (12 12 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (5 1 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C::UCHAR-ARRAY-RESULT-EQUIV$INLINE)
(C::UCHAR-ARRAY-RESULT-EQUIV-IS-AN-EQUIVALENCE)
(C::UCHAR-ARRAY-RESULT-EQUIV-IMPLIES-EQUAL-UCHAR-ARRAY-RESULT-FIX-1)
(C::UCHAR-ARRAY-RESULT-FIX-UNDER-UCHAR-ARRAY-RESULT-EQUIV)
(C::EQUAL-OF-UCHAR-ARRAY-RESULT-FIX-1-FORWARD-TO-UCHAR-ARRAY-RESULT-EQUIV)
(C::EQUAL-OF-UCHAR-ARRAY-RESULT-FIX-2-FORWARD-TO-UCHAR-ARRAY-RESULT-EQUIV)
(C::UCHAR-ARRAY-RESULT-EQUIV-OF-UCHAR-ARRAY-RESULT-FIX-1-FORWARD)
(C::UCHAR-ARRAY-RESULT-EQUIV-OF-UCHAR-ARRAY-RESULT-FIX-2-FORWARD)
(C::UCHAR-ARRAY-RESULT-KIND$INLINE-OF-UCHAR-ARRAY-RESULT-FIX-X
 (56 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (19 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 4 (:REWRITE C::MAPP-WHEN-HEAPP))
 (10 10 (:REWRITE DEFAULT-CDR))
 (9 9 (:REWRITE DEFAULT-CAR))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION C::HEAPP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (5 5 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (5 1 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (5 1 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (5 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (4 1 (:DEFINITION C::ERRORP))
 (3 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 )
(C::UCHAR-ARRAY-RESULT-KIND$INLINE-UCHAR-ARRAY-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::CONSP-OF-UCHAR-ARRAY-RESULT-FIX)
(C::UCHAR-ARRAY-RESULT-OK->GET$INLINE
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION C::HEAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (5 1 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 )
(C::UCHAR-ARRAYP-OF-UCHAR-ARRAY-RESULT-OK->GET
 (92 4 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (13 10 (:DEFINITION STRIP-CARS))
 (9 1 (:REWRITE C::UCHAR-LIST-FIX-WHEN-UCHAR-LISTP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 4 (:REWRITE DEFAULT-CDR))
 (5 1 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 )
(C::UCHAR-ARRAY-RESULT-OK->GET$INLINE-OF-UCHAR-ARRAY-RESULT-FIX-X
 (48 16 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (32 32 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULT-FIX$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C::CONSP-OF-UCHAR-ARRAY-RESULT-FIX))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::UCHAR-ARRAY-RESULT-OK->GET$INLINE-UCHAR-ARRAY-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-ARRAY-RESULT-OK->GET-WHEN-WRONG-KIND
 (5 1 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (3 1 (:DEFINITION C::UCHAR-ARRAYP))
 (1 1 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 (1 1 (:DEFINITION STRIP-CARS))
 )
(C::UCHAR-ARRAY-RESULT-OK
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION C::HEAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (5 1 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::RETURN-TYPE-OF-UCHAR-ARRAY-RESULT-OK
 (28 2 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (18 2 (:REWRITE C::UCHAR-LIST-FIX-WHEN-UCHAR-LISTP))
 (16 2 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 2 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (10 8 (:REWRITE DEFAULT-CDR))
 (10 2 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (10 2 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (8 8 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (6 2 (:REWRITE C::MAPP-WHEN-HEAPP))
 (4 4 (:TYPE-PRESCRIPTION C::SCOPEP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (4 4 (:TYPE-PRESCRIPTION C::HEAPP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (4 4 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 )
(C::UCHAR-ARRAY-RESULT-OK->GET-OF-UCHAR-ARRAY-RESULT-OK
 (18 1 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (16 1 (:DEFINITION C::UCHAR-ARRAYP))
 (5 5 (:TYPE-PRESCRIPTION STRIP-CARS))
 (5 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULT-OK))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-LISTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::UCHAR-ARRAY-RESULT-OK-OF-FIELDS
 (28 2 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (24 2 (:DEFINITION C::UCHAR-ARRAYP))
 (10 10 (:TYPE-PRESCRIPTION STRIP-CARS))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:TYPE-PRESCRIPTION C::UCHAR-LISTP))
 (4 4 (:DEFINITION STRIP-CARS))
 (3 1 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::UCHAR-ARRAY-RESULT-FIX-WHEN-OK
 (15 2 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (12 1 (:DEFINITION C::UCHAR-ARRAYP))
 (5 5 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::EQUAL-OF-UCHAR-ARRAY-RESULT-OK
 (331 11 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (316 11 (:DEFINITION C::UCHAR-ARRAYP))
 (112 8 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (96 4 (:DEFINITION ALISTP))
 (54 9 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (52 22 (:DEFINITION STRIP-CARS))
 (48 48 (:REWRITE DEFAULT-CAR))
 (40 8 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (32 31 (:REWRITE DEFAULT-CDR))
 (32 8 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (24 8 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (24 8 (:REWRITE C::MAPP-WHEN-HEAPP))
 (20 20 (:TYPE-PRESCRIPTION STRIP-CARS))
 (18 6 (:REWRITE C::UCHAR-LISTP-OF-CDR-WHEN-UCHAR-LISTP))
 (16 16 (:TYPE-PRESCRIPTION C::SCOPEP))
 (16 16 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (16 16 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (16 16 (:TYPE-PRESCRIPTION C::HEAPP))
 (16 16 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (16 16 (:TYPE-PRESCRIPTION ALISTP))
 (16 16 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (15 11 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (8 8 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (4 4 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 (3 3 (:REWRITE-QUOTED-CONSTANT TRUE-LIST-LIST-FIX-UNDER-TRUE-LIST-LIST-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::UCHAR-INTEGER-FIX-UNDER-UCHAR-INTEGER-EQUIV))
 )
(C::UCHAR-ARRAY-RESULT-OK-OF-UCHAR-ARRAY-FIX-GET)
(C::UCHAR-ARRAY-RESULT-OK-UCHAR-ARRAY-EQUIV-CONGRUENCE-ON-GET)
(C::UCHAR-ARRAY-RESULT-ERR->GET$INLINE
 (224 16 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (95 95 (:REWRITE DEFAULT-CDR))
 (80 16 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (74 16 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (61 61 (:REWRITE DEFAULT-CAR))
 (48 16 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (48 16 (:REWRITE C::MAPP-WHEN-HEAPP))
 (42 42 (:TYPE-PRESCRIPTION IDENTITY))
 (36 16 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (32 32 (:TYPE-PRESCRIPTION C::SCOPEP))
 (32 32 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (32 32 (:TYPE-PRESCRIPTION C::HEAPP))
 (32 32 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (32 32 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (22 22 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 )
(C::ERRORP-OF-UCHAR-ARRAY-RESULT-ERR->GET
 (63 3 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (15 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::UCHAR-ARRAY-RESULT-ERR->GET$INLINE-OF-UCHAR-ARRAY-RESULT-FIX-X
 (111 7 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (97 7 (:DEFINITION C::ERRORP))
 (28 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (22 8 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (14 14 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 (13 13 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULT-FIX$INLINE))
 (13 13 (:TYPE-PRESCRIPTION C::CONSP-OF-UCHAR-ARRAY-RESULT-FIX))
 (12 1 (:REWRITE C::UCHAR-ARRAY-FIX-WHEN-UCHAR-ARRAYP))
 (7 7 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-FIX$INLINE))
 (2 2 (:TYPE-PRESCRIPTION C::ERROR-FIX$INLINE))
 (1 1 (:TYPE-PRESCRIPTION C::UCHAR-ARRAYP))
 )
(C::UCHAR-ARRAY-RESULT-ERR->GET$INLINE-UCHAR-ARRAY-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-ARRAY-RESULT-ERR->GET-WHEN-WRONG-KIND
 (3 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:DEFINITION C::ERRORP))
 )
(C::UCHAR-ARRAY-RESULT-ERR
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (19 19 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION C::HEAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::RETURN-TYPE-OF-UCHAR-ARRAY-RESULT-ERR
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::UCHAR-ARRAY-RESULT-ERR->GET-OF-UCHAR-ARRAY-RESULT-ERR
 (30 24 (:TYPE-PRESCRIPTION IDENTITY))
 (23 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (21 1 (:DEFINITION C::ERRORP))
 (16 16 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULT-ERR))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::UCHAR-ARRAY-RESULT-ERR-OF-FIELDS
 (26 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (22 2 (:DEFINITION C::ERRORP))
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:DEFINITION STRIP-CARS))
 (3 1 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::UCHAR-ARRAY-RESULT-FIX-WHEN-ERR
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (14 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (11 1 (:DEFINITION C::ERRORP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::EQUAL-OF-UCHAR-ARRAY-RESULT-ERR
 (162 6 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (154 6 (:DEFINITION C::ERRORP))
 (56 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (48 2 (:DEFINITION ALISTP))
 (30 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (25 25 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE DEFAULT-CDR))
 (24 12 (:DEFINITION STRIP-CARS))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (16 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 4 (:REWRITE C::MAPP-WHEN-HEAPP))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (8 8 (:TYPE-PRESCRIPTION C::HEAPP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 )
(C::UCHAR-ARRAY-RESULT-ERR-OF-ERROR-FIX-GET
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C::UCHAR-ARRAY-RESULT-ERR-ERROR-EQUIV-CONGRUENCE-ON-GET)
(C::UCHAR-ARRAY-RESULT-FIX-REDEF
 (9 3 (:REWRITE C::UCHAR-ARRAY-RESULT-FIX-WHEN-UCHAR-ARRAY-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHAR-ARRAY-RESULTP))
 )
(C::UCHAR-ARRAY-RESULTP-WHEN-UCHAR-ARRAYP)
(C::UCHAR-ARRAY-RESULTP-WHEN-ERRORP)
(C::UCHAR-ARRAYP-WHEN-UCHAR-ARRAY-RESULTP-AND-NOT-ERRORP)
(C::DEREF
 (11 11 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 3 (:REWRITE DEFAULT-CDR))
 (6 3 (:REWRITE DEFAULT-CAR))
 (3 1 (:REWRITE OMAP::IN-WHEN-EMPTY))
 )
(C::UCHAR-ARRAY-RESULTP-OF-DEREF
 (102 102 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (38 2 (:REWRITE C::UCHAR-ARRAY-RESULTP-WHEN-ERRORP))
 (30 2 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (24 4 (:REWRITE C::EMPTY-OF-HEAP-FIX-TO-NOT-HEAPP-OR-EMPTY))
 (24 3 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (12 4 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (11 4 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (8 1 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (6 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:TYPE-PRESCRIPTION C::ERRORP))
 (4 2 (:REWRITE DEFAULT-CAR))
 )
(C::DEREF-OF-POINTER-FIX-PTR
 (150 150 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (16 2 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (14 14 (:TYPE-PRESCRIPTION C::HEAPP))
 (12 4 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (12 2 (:REWRITE C::EMPTY-OF-HEAP-FIX-TO-NOT-HEAPP-OR-EMPTY))
 (6 4 (:REWRITE DEFAULT-CDR))
 (6 2 (:DEFINITION NOT))
 (4 2 (:REWRITE DEFAULT-CAR))
 (3 1 (:REWRITE C::POINTER-FIX-WHEN-POINTERP))
 (2 2 (:TYPE-PRESCRIPTION C::POINTERP))
 )
(C::DEREF-POINTER-EQUIV-CONGRUENCE-ON-PTR)
(C::DEREF-OF-HEAP-FIX-HEAP
 (224 224 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (16 2 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (12 2 (:REWRITE C::EMPTY-OF-HEAP-FIX-TO-NOT-HEAPP-OR-EMPTY))
 (6 4 (:REWRITE DEFAULT-CDR))
 (6 2 (:DEFINITION NOT))
 (4 2 (:REWRITE DEFAULT-CAR))
 )
(C::DEREF-HEAP-EQUIV-CONGRUENCE-ON-HEAP)
(C::COMPUSTATEP
 (6 6 (:DEFINITION STRIP-CARS))
 )
(C::CONSP-WHEN-COMPUSTATEP)
(C::COMPUSTATE-FIX$INLINE
 (6 6 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 )
(C::COMPUSTATEP-OF-COMPUSTATE-FIX
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (42 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (36 3 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (31 7 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (25 9 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (22 22 (:TYPE-PRESCRIPTION C::HEAPP))
 (19 19 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (16 16 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 2 (:DEFINITION NATP))
 (13 10 (:REWRITE DEFAULT-CDR))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (7 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (3 3 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-FIX-WHEN-COMPUSTATEP
 (3 3 (:DEFINITION STRIP-CARS))
 )
(C::COMPUSTATE-FIX$INLINE
 (6 6 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (3 3 (:DEFINITION STRIP-CARS))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C::COMPUSTATE-EQUIV$INLINE)
(C::COMPUSTATE-EQUIV-IS-AN-EQUIVALENCE)
(C::COMPUSTATE-EQUIV-IMPLIES-EQUAL-COMPUSTATE-FIX-1)
(C::COMPUSTATE-FIX-UNDER-COMPUSTATE-EQUIV)
(C::EQUAL-OF-COMPUSTATE-FIX-1-FORWARD-TO-COMPUSTATE-EQUIV)
(C::EQUAL-OF-COMPUSTATE-FIX-2-FORWARD-TO-COMPUSTATE-EQUIV)
(C::COMPUSTATE-EQUIV-OF-COMPUSTATE-FIX-1-FORWARD)
(C::COMPUSTATE-EQUIV-OF-COMPUSTATE-FIX-2-FORWARD)
(C::COMPUSTATE->FRAMES$INLINE
 (3 3 (:DEFINITION STRIP-CARS))
 )
(C::FRAME-LISTP-OF-COMPUSTATE->FRAMES)
(C::COMPUSTATE->FRAMES$INLINE-OF-COMPUSTATE-FIX-X
 (9 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 1 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 )
(C::COMPUSTATE->FRAMES$INLINE-COMPUSTATE-EQUIV-CONGRUENCE-ON-X)
(C::COMPUSTATE->HEAP$INLINE
 (20 20 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (3 3 (:DEFINITION STRIP-CARS))
 )
(C::HEAPP-OF-COMPUSTATE->HEAP)
(C::COMPUSTATE->HEAP$INLINE-OF-COMPUSTATE-FIX-X
 (69 46 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (23 23 (:TYPE-PRESCRIPTION C::COMPUSTATE-FIX$INLINE))
 (9 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 1 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 )
(C::COMPUSTATE->HEAP$INLINE-COMPUSTATE-EQUIV-CONGRUENCE-ON-X)
(C::COMPUSTATE)
(C::COMPUSTATEP-OF-COMPUSTATE
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (42 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (36 3 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (19 19 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (15 4 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 14 (:TYPE-PRESCRIPTION C::HEAPP))
 (14 6 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (14 2 (:DEFINITION NATP))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (8 8 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (8 5 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::COMPUSTATE->FRAMES-OF-COMPUSTATE)
(C::COMPUSTATE->HEAP-OF-COMPUSTATE
 (81 63 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (18 18 (:TYPE-PRESCRIPTION C::COMPUSTATE))
 )
(C::COMPUSTATE-OF-FIELDS
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::COMPUSTATE-FIX-WHEN-COMPUSTATE
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::EQUAL-OF-COMPUSTATE)
(C::COMPUSTATE-OF-FRAME-LIST-FIX-FRAMES
 (4 2 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 )
(C::COMPUSTATE-FRAME-LIST-EQUIV-CONGRUENCE-ON-FRAMES)
(C::COMPUSTATE-OF-HEAP-FIX-HEAP
 (4 2 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 )
(C::COMPUSTATE-HEAP-EQUIV-CONGRUENCE-ON-HEAP)
(C::COMPUSTATE-FIX-REDEF)
(C::COMPUSTATE-RESULTP)
(C::CONSP-WHEN-COMPUSTATE-RESULTP)
(C::COMPUSTATE-RESULT-KIND$INLINE)
(C::COMPUSTATE-RESULT-KIND-POSSIBILITIES)
(C::COMPUSTATE-RESULT-FIX$INLINE)
(C::COMPUSTATE-RESULTP-OF-COMPUSTATE-RESULT-FIX
 (56 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (50 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (42 4 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (20 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (19 19 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (17 14 (:REWRITE DEFAULT-CDR))
 (17 3 (:DEFINITION NATP))
 (14 14 (:TYPE-PRESCRIPTION STRIP-CARS))
 (13 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (13 1 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (13 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 4 (:REWRITE C::MAPP-WHEN-HEAPP))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (8 8 (:REWRITE DEFAULT-CAR))
 (7 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP)
(C::COMPUSTATE-RESULT-FIX$INLINE
 (98 7 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (38 38 (:REWRITE DEFAULT-CDR))
 (35 7 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (32 7 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (25 25 (:REWRITE DEFAULT-CAR))
 (21 7 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (21 7 (:REWRITE C::MAPP-WHEN-HEAPP))
 (15 7 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (14 14 (:TYPE-PRESCRIPTION C::SCOPEP))
 (14 14 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (14 14 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (14 14 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 (10 10 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C::COMPUSTATE-RESULT-EQUIV$INLINE)
(C::COMPUSTATE-RESULT-EQUIV-IS-AN-EQUIVALENCE)
(C::COMPUSTATE-RESULT-EQUIV-IMPLIES-EQUAL-COMPUSTATE-RESULT-FIX-1)
(C::COMPUSTATE-RESULT-FIX-UNDER-COMPUSTATE-RESULT-EQUIV)
(C::EQUAL-OF-COMPUSTATE-RESULT-FIX-1-FORWARD-TO-COMPUSTATE-RESULT-EQUIV)
(C::EQUAL-OF-COMPUSTATE-RESULT-FIX-2-FORWARD-TO-COMPUSTATE-RESULT-EQUIV)
(C::COMPUSTATE-RESULT-EQUIV-OF-COMPUSTATE-RESULT-FIX-1-FORWARD)
(C::COMPUSTATE-RESULT-EQUIV-OF-COMPUSTATE-RESULT-FIX-2-FORWARD)
(C::COMPUSTATE-RESULT-KIND$INLINE-OF-COMPUSTATE-RESULT-FIX-X
 (5 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (4 1 (:DEFINITION C::ERRORP))
 (1 1 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 )
(C::COMPUSTATE-RESULT-KIND$INLINE-COMPUSTATE-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::CONSP-OF-COMPUSTATE-RESULT-FIX)
(C::COMPUSTATE-RESULT-OK->GET$INLINE)
(C::COMPUSTATEP-OF-COMPUSTATE-RESULT-OK->GET
 (253 22 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (42 39 (:DEFINITION STRIP-CARS))
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (42 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (36 3 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 2 (:DEFINITION NATP))
 (13 10 (:REWRITE DEFAULT-CDR))
 (13 1 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (7 1 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (3 3 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-RESULT-OK->GET$INLINE-OF-COMPUSTATE-RESULT-FIX-X
 (24 12 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (22 4 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (18 8 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (12 12 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-RESULT-FIX))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULT-FIX$INLINE))
 (10 10 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::COMPUSTATE-RESULT-OK->GET$INLINE-COMPUSTATE-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::COMPUSTATE-RESULT-OK->GET-WHEN-WRONG-KIND
 (10 2 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 2 (:DEFINITION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::COMPUSTATE-RESULT-OK)
(C::RETURN-TYPE-OF-COMPUSTATE-RESULT-OK
 (84 6 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (84 6 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (72 6 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (40 2 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (38 38 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (30 6 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (28 4 (:DEFINITION NATP))
 (26 20 (:REWRITE DEFAULT-CDR))
 (26 2 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (18 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (18 6 (:REWRITE C::MAPP-WHEN-HEAPP))
 (18 4 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (14 2 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (12 12 (:TYPE-PRESCRIPTION C::SCOPEP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (12 12 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (12 12 (:REWRITE DEFAULT-CAR))
 (8 8 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE C::HEAP-FIX-WHEN-HEAPP))
 (6 6 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (4 4 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::COMPUSTATE-RESULT-OK->GET-OF-COMPUSTATE-RESULT-OK
 (59 4 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (52 3 (:DEFINITION C::COMPUSTATEP))
 (36 30 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (20 20 (:TYPE-PRESCRIPTION STRIP-CARS))
 (20 4 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (11 11 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULT-OK))
 (8 8 (:DEFINITION STRIP-CARS))
 (6 6 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::HEAPP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 3 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::COMPUSTATE-RESULT-OK-OF-FIELDS
 (61 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (55 3 (:DEFINITION C::COMPUSTATEP))
 (18 18 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (18 4 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (16 16 (:TYPE-PRESCRIPTION STRIP-CARS))
 (15 9 (:DEFINITION STRIP-CARS))
 (6 6 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::HEAPP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (3 3 (:TYPE-PRESCRIPTION ALISTP))
 (3 1 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 )
(C::COMPUSTATE-RESULT-FIX-WHEN-OK
 (42 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (37 2 (:DEFINITION C::COMPUSTATEP))
 (18 18 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (12 6 (:DEFINITION STRIP-CARS))
 (9 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (8 8 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 4 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (3 1 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::EQUAL-OF-COMPUSTATE-RESULT-OK
 (27 6 (:DEFINITION C::COMPUSTATEP))
 (15 15 (:DEFINITION STRIP-CARS))
 (12 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 )
(C::COMPUSTATE-RESULT-OK-OF-COMPUSTATE-FIX-GET
 (42 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (37 2 (:DEFINITION C::COMPUSTATEP))
 (18 18 (:TYPE-PRESCRIPTION C::HEAP-FIX))
 (12 6 (:DEFINITION STRIP-CARS))
 (9 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (8 8 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 4 (:TYPE-PRESCRIPTION C::FRAME-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::COMPUSTATE-RESULT-OK-COMPUSTATE-EQUIV-CONGRUENCE-ON-GET)
(C::COMPUSTATE-RESULT-ERR->GET$INLINE
 (182 13 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (78 78 (:REWRITE DEFAULT-CDR))
 (65 13 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (60 13 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (50 50 (:REWRITE DEFAULT-CAR))
 (39 13 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (39 13 (:REWRITE C::MAPP-WHEN-HEAPP))
 (34 34 (:TYPE-PRESCRIPTION IDENTITY))
 (29 13 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (26 26 (:TYPE-PRESCRIPTION C::SCOPEP))
 (26 26 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (26 26 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (26 26 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (18 18 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 )
(C::ERRORP-OF-COMPUSTATE-RESULT-ERR->GET
 (63 3 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (15 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-RESULT-ERR->GET$INLINE-OF-COMPUSTATE-RESULT-FIX-X
 (111 7 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (97 7 (:DEFINITION C::ERRORP))
 (28 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (22 8 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (14 14 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 (13 13 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-RESULT-FIX))
 (13 13 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULT-FIX$INLINE))
 (13 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (7 7 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION C::ERROR-FIX$INLINE))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-FIX$INLINE))
 (1 1 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::COMPUSTATE-RESULT-ERR->GET$INLINE-COMPUSTATE-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::COMPUSTATE-RESULT-ERR->GET-WHEN-WRONG-KIND
 (3 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:DEFINITION C::ERRORP))
 )
(C::COMPUSTATE-RESULT-ERR
 (42 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (19 19 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (14 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (9 3 (:REWRITE C::MAPP-WHEN-HEAPP))
 (7 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C::SCOPEP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION C::HEAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 6 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::RETURN-TYPE-OF-COMPUSTATE-RESULT-ERR
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (8 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (3 1 (:DEFINITION NATP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-RESULT-ERR->GET-OF-COMPUSTATE-RESULT-ERR
 (30 24 (:TYPE-PRESCRIPTION IDENTITY))
 (23 1 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (21 1 (:DEFINITION C::ERRORP))
 (16 16 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULT-ERR))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::COMPUSTATE-RESULT-ERR-OF-FIELDS
 (26 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (22 2 (:DEFINITION C::ERRORP))
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:DEFINITION STRIP-CARS))
 (3 1 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::COMPUSTATE-RESULT-FIX-WHEN-ERR
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (14 2 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (11 1 (:DEFINITION C::ERRORP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION C::ERRORP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(C::EQUAL-OF-COMPUSTATE-RESULT-ERR
 (162 6 (:REWRITE C::ERROR-FIX-WHEN-ERRORP))
 (154 6 (:DEFINITION C::ERRORP))
 (56 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (48 2 (:DEFINITION ALISTP))
 (30 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (25 25 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE DEFAULT-CDR))
 (24 12 (:DEFINITION STRIP-CARS))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (16 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (12 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 4 (:REWRITE C::MAPP-WHEN-HEAPP))
 (8 8 (:TYPE-PRESCRIPTION C::SCOPEP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (8 8 (:TYPE-PRESCRIPTION C::HEAPP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 8 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION C::ERRORP))
 )
(C::COMPUSTATE-RESULT-ERR-OF-ERROR-FIX-GET
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C::COMPUSTATE-RESULT-ERR-ERROR-EQUIV-CONGRUENCE-ON-GET)
(C::COMPUSTATE-RESULT-FIX-REDEF
 (9 3 (:REWRITE C::COMPUSTATE-RESULT-FIX-WHEN-COMPUSTATE-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATE-RESULTP))
 )
(C::COMPUSTATE-RESULTP-WHEN-COMPUSTATEP)
(C::COMPUSTATE-RESULTP-WHEN-ERRORP)
(C::COMPUSTATEP-WHEN-COMPUSTATE-RESULTP-AND-NOT-ERRORP)
(C::NOT-COMPUSTATEP-OF-ERROR
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (3 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (1 1 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(C::NOT-ERRORP-WHEN-COMPUSTATEP
 (14 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (5 1 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (4 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (3 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (2 2 (:TYPE-PRESCRIPTION C::SCOPEP))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (1 1 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(C::COMPUSTATE-FRAMES-NUMBER)
(C::NATP-OF-COMPUSTATE-FRAMES-NUMBER)
(C::COMPUSTATE-FRAMES-NUMBER-OF-COMPUSTATE-FIX-COMPST)
(C::COMPUSTATE-FRAMES-NUMBER-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::PUSH-FRAME
 (6 6 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::COMPUSTATEP-OF-PUSH-FRAME)
(C::COMPUSTATE-FRAMES-NUMBER-OF-PUSH-FRAME
 (10 5 (:REWRITE DEFAULT-+-2))
 (5 5 (:REWRITE DEFAULT-+-1))
 (5 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (4 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION C::FRAMEP))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 )
(C::PUSH-FRAME-OF-FRAME-FIX-FRAME)
(C::PUSH-FRAME-FRAME-EQUIV-CONGRUENCE-ON-FRAME)
(C::PUSH-FRAME-OF-COMPUSTATE-FIX-COMPST)
(C::PUSH-FRAME-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::TOP-FRAME
 (7 1 (:DEFINITION LEN))
 (4 1 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (2 1 (:REWRITE DEFAULT-<-2))
 (2 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(C::FRAMEP-OF-TOP-FRAME)
(C::TOP-FRAME-OF-PUSH-FRAME)
(C::TOP-FRAME-OF-COMPUSTATE-FIX-COMPST)
(C::TOP-FRAME-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::POP-FRAME
 (4 1 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATEP-OF-POP-FRAME)
(C::COMPUSTATE-FRAMES-NUMBER-OF-POP-FRAME
 (16 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE DEFAULT-+-1))
 (3 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::POP-FRAME-OF-PUSH-FRAME)
(C::POP-FRAME-OF-COMPUSTATE-FIX-COMPST)
(C::POP-FRAME-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::COMPUSTATE-SCOPES-NUMBERS-AUX
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(C::POS-LISTP-OF-COMPUSTATE-SCOPES-NUMBERS-AUX
 (147 14 (:REWRITE INTEGERP-OF-CAR-WHEN-INTEGER-LISTP))
 (105 7 (:DEFINITION INTEGER-LISTP))
 (21 18 (:REWRITE DEFAULT-CDR))
 (17 16 (:REWRITE DEFAULT-CAR))
 (14 14 (:REWRITE INTEGER-LISTP-WHEN-NOT-CONSP))
 (14 7 (:REWRITE INTEGER-LISTP-OF-CDR-WHEN-INTEGER-LISTP))
 (11 9 (:REWRITE DEFAULT-<-2))
 (9 9 (:REWRITE DEFAULT-<-1))
 (4 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 )
(C::LEN-OF-COMPUSTATE-SCOPES-NUMBERS-AUX
 (20 10 (:REWRITE DEFAULT-+-2))
 (15 11 (:REWRITE DEFAULT-CDR))
 (10 10 (:REWRITE DEFAULT-+-1))
 (6 6 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS-AUX
 (21 3 (:DEFINITION LEN))
 (9 6 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (6 3 (:REWRITE DEFAULT-+-2))
 (3 3 (:TYPE-PRESCRIPTION LEN))
 (3 3 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-+-1))
 )
(C::CAR-OF-COMPUSTATE-SCOPES-NUMBERS-AUX
 (38 19 (:REWRITE DEFAULT-+-2))
 (36 22 (:REWRITE DEFAULT-CDR))
 (28 28 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (19 19 (:REWRITE DEFAULT-+-1))
 (16 9 (:REWRITE DEFAULT-CAR))
 (6 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS-AUX))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-AUX-OF-FRAME-LIST-FIX-FRAMES
 (196 28 (:DEFINITION LEN))
 (141 72 (:REWRITE DEFAULT-CDR))
 (114 13 (:REWRITE C::FRAME-LIST-FIX-WHEN-FRAME-LISTP))
 (56 56 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (56 28 (:REWRITE DEFAULT-+-2))
 (38 38 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (36 6 (:REWRITE C::FRAME-LISTP-OF-CDR-WHEN-FRAME-LISTP))
 (32 30 (:REWRITE DEFAULT-CAR))
 (28 28 (:TYPE-PRESCRIPTION LEN))
 (28 28 (:REWRITE DEFAULT-+-1))
 (20 19 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-AUX-FRAME-LIST-EQUIV-CONGRUENCE-ON-FRAMES)
(C::COMPUSTATE-SCOPES-NUMBERS)
(C::POS-LISTP-OF-COMPUSTATE-SCOPES-NUMBERS)
(C::LEN-OF-COMPUSTATE-SCOPES-NUMBERS)
(C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS)
(C::POSP-OF-CAR-OF-COMPUSTATE-SCOPES-NUMBERS
 (6 3 (:REWRITE DEFAULT-+-2))
 (5 5 (:TYPE-PRESCRIPTION C::COMPUSTATE->FRAMES$INLINE))
 (5 3 (:REWRITE DEFAULT-CDR))
 (4 2 (:REWRITE DEFAULT-<-2))
 (4 1 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::CAR-OF-COMPUSTATE-SCOPES-NUMBERS-LOWER-BOUND
 (6 3 (:REWRITE DEFAULT-+-2))
 (5 5 (:TYPE-PRESCRIPTION C::COMPUSTATE->FRAMES$INLINE))
 (5 3 (:REWRITE DEFAULT-CDR))
 (4 2 (:TYPE-PRESCRIPTION C::POSP-OF-CAR-OF-COMPUSTATE-SCOPES-NUMBERS))
 (4 2 (:REWRITE DEFAULT-<-2))
 (4 1 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::CAR-OF-COMPUSTATE-SCOPES-NUMBERS
 (35 5 (:DEFINITION LEN))
 (10 5 (:REWRITE DEFAULT-+-2))
 (9 5 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (6 3 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS))
 (5 5 (:TYPE-PRESCRIPTION C::COMPUSTATE->FRAMES$INLINE))
 (5 5 (:REWRITE DEFAULT-+-1))
 (5 2 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-PUSH-FRAME
 (35 5 (:DEFINITION LEN))
 (14 8 (:REWRITE DEFAULT-CDR))
 (10 10 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (10 5 (:REWRITE DEFAULT-+-2))
 (5 5 (:TYPE-PRESCRIPTION LEN))
 (5 5 (:REWRITE DEFAULT-+-1))
 (4 3 (:REWRITE DEFAULT-CAR))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-POP-FRAME
 (28 4 (:DEFINITION LEN))
 (23 10 (:REWRITE DEFAULT-CDR))
 (8 8 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (8 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:TYPE-PRESCRIPTION LEN))
 (4 4 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-+-1))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-COMPUSTATE-FIX-COMPST)
(C::COMPUSTATE-SCOPES-NUMBERS-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::COMPUSTATE-TOP-FRAME-SCOPES-NUMBER
 (16 12 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS))
 (10 5 (:TYPE-PRESCRIPTION C::POSP-OF-CAR-OF-COMPUSTATE-SCOPES-NUMBERS))
 )
(C::POSP-OF-COMPUSTATE-TOP-FRAME-SCOPES-NUMBER)
(C::COMPUSTATE-TOP-FRAME-SCOPES-NUMBER-OF-COMPUSTATE-FIX-COMPST)
(C::COMPUSTATE-TOP-FRAME-SCOPES-NUMBER-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::ENTER-SCOPE
 (4 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (2 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::COMPUSTATEP-OF-ENTER-SCOPE)
(C::COMPUSTATE-FRAMES-NUMBER-OF-ENTER-SCOPE
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::SCOPE-FIX-UNDER-SCOPE-EQUIV))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-ENTER-SCOPE
 (13 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (12 5 (:REWRITE DEFAULT-CDR))
 (10 5 (:REWRITE DEFAULT-+-2))
 (9 9 (:TYPE-PRESCRIPTION C::COMPUSTATE->FRAMES$INLINE))
 (7 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (6 3 (:REWRITE DEFAULT-CAR))
 (5 5 (:TYPE-PRESCRIPTION LEN))
 (5 5 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:TYPE-PRESCRIPTION C::FRAMEP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::SCOPE-FIX-UNDER-SCOPE-EQUIV))
 (1 1 (:REWRITE C::FRAME-LISTP-OF-COMPUSTATE->FRAMES))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::ENTER-SCOPE-OF-COMPUSTATE-FIX-COMPST
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::SCOPE-FIX-UNDER-SCOPE-EQUIV))
 )
(C::ENTER-SCOPE-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::EXIT-SCOPE
 (21 21 (:TYPE-PRESCRIPTION C::COMPUSTATE->FRAMES$INLINE))
 (20 5 (:REWRITE DEFAULT-CAR))
 (13 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (12 6 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (7 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (6 4 (:REWRITE DEFAULT-<-2))
 (6 3 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (3 3 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::FRAME-LISTP-OF-COMPUSTATE->FRAMES))
 )
(C::COMPUSTATEP-OF-EXIT-SCOPE)
(C::COMPUSTATE-FRAMES-NUMBER-OF-EXIT-SCOPE
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 1 (:REWRITE DEFAULT-CDR))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-EXIT-SCOPE
 (48 24 (:REWRITE DEFAULT-CDR))
 (43 15 (:REWRITE DEFAULT-CAR))
 (33 17 (:REWRITE DEFAULT-+-2))
 (30 30 (:TYPE-PRESCRIPTION C::COMPUSTATE->FRAMES$INLINE))
 (17 17 (:REWRITE DEFAULT-+-1))
 (13 1 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (10 5 (:REWRITE DEFAULT-<-2))
 (7 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (5 5 (:REWRITE DEFAULT-<-1))
 (4 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (1 1 (:TYPE-PRESCRIPTION C::FRAMEP))
 (1 1 (:REWRITE C::FRAME-LISTP-OF-COMPUSTATE->FRAMES))
 )
(C::EXIT-SCOPE-OF-COMPUSTATE-FIX-COMPST
 (4 2 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::EXIT-SCOPE-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::CREATE-VAR
 (46 3 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (41 2 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (10 10 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (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))
 (7 3 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (6 6 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (6 2 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C::MAPP-WHEN-HEAPP))
 (4 4 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::HEAPP))
 (4 4 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (4 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE DEFAULT-<-1))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (3 1 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (2 2 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (2 1 (:REWRITE DEFAULT-CDR))
 (2 1 (:REWRITE DEFAULT-CAR))
 )
(C::COMPUSTATE-RESULTP-OF-CREATE-VAR)
(C::COMPUSTATE-FRAMES-NUMBER-OF-CREATE-VAR
 (86 2 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (27 7 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 (10 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (9 3 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (6 6 (:TYPE-PRESCRIPTION C::VALUEP))
 (6 3 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-UINTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SINTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (6 2 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (6 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::USHORTP))
 (4 4 (:TYPE-PRESCRIPTION C::ULONGP))
 (4 4 (:TYPE-PRESCRIPTION C::ULLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::UINTP))
 (4 4 (:TYPE-PRESCRIPTION C::UCHARP))
 (4 4 (:TYPE-PRESCRIPTION C::SSHORTP))
 (4 4 (:TYPE-PRESCRIPTION C::SLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::SLLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::SINTP))
 (4 4 (:TYPE-PRESCRIPTION C::SCHARP))
 (4 4 (:TYPE-PRESCRIPTION C::POINTERP))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (4 2 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (4 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-CREATE-VAR
 (86 2 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (59 37 (:REWRITE DEFAULT-CDR))
 (44 22 (:REWRITE DEFAULT-+-2))
 (39 3 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (36 22 (:REWRITE DEFAULT-CAR))
 (33 33 (:TYPE-PRESCRIPTION C::VALUE-FIX$INLINE))
 (22 22 (:REWRITE DEFAULT-+-1))
 (21 3 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (15 3 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (12 4 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (12 3 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-UINTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SINTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (12 3 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (7 7 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (7 7 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (6 6 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::USHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::ULONGP))
 (6 6 (:TYPE-PRESCRIPTION C::ULLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::UINTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::SSHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::SLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SLLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SINTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::POINTERP))
 (6 6 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS))
 (6 6 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (6 6 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (6 3 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (6 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (5 2 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (4 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C::FRAMEP))
 (3 3 (:REWRITE C::FRAME-LISTP-OF-COMPUSTATE->FRAMES))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::CREATE-VAR-OF-IDENT-FIX-VAR
 (86 2 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (10 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::VALUEP))
 (6 2 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-UINTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SINTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (6 2 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (6 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::USHORTP))
 (4 4 (:TYPE-PRESCRIPTION C::ULONGP))
 (4 4 (:TYPE-PRESCRIPTION C::ULLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::UINTP))
 (4 4 (:TYPE-PRESCRIPTION C::UCHARP))
 (4 4 (:TYPE-PRESCRIPTION C::SSHORTP))
 (4 4 (:TYPE-PRESCRIPTION C::SLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::SLLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::SINTP))
 (4 4 (:TYPE-PRESCRIPTION C::SCHARP))
 (4 4 (:TYPE-PRESCRIPTION C::POINTERP))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (4 2 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (4 2 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (4 2 (:REWRITE DEFAULT-CDR))
 (4 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 )
(C::CREATE-VAR-IDENT-EQUIV-CONGRUENCE-ON-VAR)
(C::CREATE-VAR-OF-VALUE-FIX-VAL
 (26 6 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (15 3 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (12 3 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-UINTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SINTP))
 (12 3 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (12 3 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 (6 6 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::USHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::ULONGP))
 (6 6 (:TYPE-PRESCRIPTION C::ULLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::UINTP))
 (6 6 (:TYPE-PRESCRIPTION C::UCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::SSHORTP))
 (6 6 (:TYPE-PRESCRIPTION C::SLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SLLONGP))
 (6 6 (:TYPE-PRESCRIPTION C::SINTP))
 (6 6 (:TYPE-PRESCRIPTION C::SCHARP))
 (6 6 (:TYPE-PRESCRIPTION C::POINTERP))
 (6 6 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (6 3 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (6 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 2 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (4 2 (:REWRITE DEFAULT-CDR))
 (4 2 (:REWRITE DEFAULT-CAR))
 )
(C::CREATE-VAR-VALUE-EQUIV-CONGRUENCE-ON-VAL)
(C::CREATE-VAR-OF-COMPUSTATE-FIX-COMPST
 (86 2 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (26 6 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 (10 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::VALUEP))
 (6 2 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-UINTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SINTP))
 (6 2 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (6 2 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (6 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (5 5 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::USHORTP))
 (4 4 (:TYPE-PRESCRIPTION C::ULONGP))
 (4 4 (:TYPE-PRESCRIPTION C::ULLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::UINTP))
 (4 4 (:TYPE-PRESCRIPTION C::UCHARP))
 (4 4 (:TYPE-PRESCRIPTION C::SSHORTP))
 (4 4 (:TYPE-PRESCRIPTION C::SLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::SLLONGP))
 (4 4 (:TYPE-PRESCRIPTION C::SINTP))
 (4 4 (:TYPE-PRESCRIPTION C::SCHARP))
 (4 4 (:TYPE-PRESCRIPTION C::POINTERP))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (4 2 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (4 2 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (4 2 (:REWRITE DEFAULT-CDR))
 (4 2 (:REWRITE DEFAULT-CAR))
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 )
(C::CREATE-VAR-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::READ-VAR-AUX
 (30 30 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (4 4 (:REWRITE SUBSETP-TRANS2))
 (4 4 (:REWRITE SUBSETP-TRANS))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 1 (:REWRITE C::MAPP-WHEN-HEAPP))
 (3 1 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (2 2 (:TYPE-PRESCRIPTION C::HEAPP))
 (1 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(C::VALUE-RESULTP-OF-READ-VAR-AUX
 (282 12 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (280 14 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (176 8 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (160 50 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (132 6 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (113 113 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (102 102 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (88 8 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (66 24 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (50 10 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (45 9 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (44 44 (:TYPE-PRESCRIPTION C::SCOPE-LISTP))
 (44 44 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (30 10 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (30 10 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (30 10 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (30 10 (:REWRITE C::VALUEP-WHEN-UINTP))
 (30 10 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (30 10 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (30 10 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (30 10 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (30 10 (:REWRITE C::VALUEP-WHEN-SINTP))
 (30 10 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (30 10 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (22 22 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (20 20 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (20 20 (:TYPE-PRESCRIPTION C::USHORTP))
 (20 20 (:TYPE-PRESCRIPTION C::ULONGP))
 (20 20 (:TYPE-PRESCRIPTION C::ULLONGP))
 (20 20 (:TYPE-PRESCRIPTION C::UINTP))
 (20 20 (:TYPE-PRESCRIPTION C::UCHARP))
 (20 20 (:TYPE-PRESCRIPTION C::SSHORTP))
 (20 20 (:TYPE-PRESCRIPTION C::SLONGP))
 (20 20 (:TYPE-PRESCRIPTION C::SLLONGP))
 (20 20 (:TYPE-PRESCRIPTION C::SINTP))
 (20 20 (:TYPE-PRESCRIPTION C::SCHARP))
 (20 20 (:TYPE-PRESCRIPTION C::POINTERP))
 (20 20 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (20 10 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (18 18 (:TYPE-PRESCRIPTION C::IDENTP))
 (9 9 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (9 9 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (8 8 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(C::READ-VAR-AUX-OF-IDENT-FIX-VAR
 (186 9 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (160 7 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (126 34 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (94 4 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (83 7 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (70 70 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (45 45 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (44 2 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (36 36 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (22 8 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (18 18 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (12 2 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (10 10 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (7 7 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE DEFAULT-CDR))
 )
(C::READ-VAR-AUX-IDENT-EQUIV-CONGRUENCE-ON-VAR)
(C::READ-VAR-AUX-OF-SCOPE-LIST-FIX-SCOPES
 (2678 132 (:REWRITE OMAP::IN-WHEN-IN-TAIL))
 (2592 116 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (2117 157 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (1033 217 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (1028 66 (:REWRITE OMAP::TAIL-WHEN-EMPTY))
 (950 950 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (938 938 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (818 123 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (810 810 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (726 264 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTY))
 (722 102 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (424 405 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (408 408 (:TYPE-PRESCRIPTION C::IDENTP))
 (403 274 (:REWRITE DEFAULT-CDR))
 (356 155 (:REWRITE DEFAULT-CAR))
 (204 204 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (204 204 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C::READ-VAR-AUX-SCOPE-LIST-EQUIV-CONGRUENCE-ON-SCOPES)
(C::READ-VAR)
(C::VALUE-RESULTP-OF-READ-VAR)
(C::READ-VAR-OF-IDENT-FIX-VAR
 (4 2 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::READ-VAR-IDENT-EQUIV-CONGRUENCE-ON-VAR)
(C::READ-VAR-OF-COMPUSTATE-FIX-COMPST
 (10 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 2 (:REWRITE DEFAULT-<-2))
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::READ-VAR-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::WRITE-VAR-AUX
 (1713 1713 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (55 6 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (44 28 (:REWRITE DEFAULT-CDR))
 (44 5 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (34 18 (:REWRITE DEFAULT-CAR))
 (16 6 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (16 6 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (16 6 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (16 6 (:REWRITE C::VALUEP-WHEN-UINTP))
 (16 6 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (16 6 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (16 6 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (16 6 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (16 6 (:REWRITE C::VALUEP-WHEN-SINTP))
 (16 6 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (16 6 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (12 12 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (8 8 (:REWRITE SUBSETP-TRANS2))
 (8 8 (:REWRITE SUBSETP-TRANS))
 (7 7 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (6 2 (:REWRITE C::MAPP-WHEN-HEAPP))
 (4 4 (:TYPE-PRESCRIPTION C::HEAPP))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 1 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (1 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 )
(C::SCOPE-LIST-RESULTP-OF-WRITE-VAR-AUX
 (446 15 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (434 57 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (360 12 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (228 12 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (129 3 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (122 122 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (116 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (97 21 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (92 92 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (80 80 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (63 3 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (43 40 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (33 33 (:TYPE-PRESCRIPTION C::VALUE-FIX$INLINE))
 (30 22 (:REWRITE DEFAULT-CDR))
 (28 20 (:REWRITE DEFAULT-CAR))
 (21 3 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (20 4 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (19 19 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (15 4 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (15 4 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (15 4 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (15 4 (:REWRITE C::VALUEP-WHEN-UINTP))
 (15 4 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (15 4 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (15 4 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (15 4 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (15 4 (:REWRITE C::VALUEP-WHEN-SINTP))
 (15 4 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (15 4 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (8 8 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION C::USHORTP))
 (8 8 (:TYPE-PRESCRIPTION C::ULONGP))
 (8 8 (:TYPE-PRESCRIPTION C::ULLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::UINTP))
 (8 8 (:TYPE-PRESCRIPTION C::UCHARP))
 (8 8 (:TYPE-PRESCRIPTION C::SSHORTP))
 (8 8 (:TYPE-PRESCRIPTION C::SLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::SLLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::SINTP))
 (8 8 (:TYPE-PRESCRIPTION C::SCHARP))
 (8 8 (:TYPE-PRESCRIPTION C::POINTERP))
 (8 8 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (8 4 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::CONSP-OF-WRITE-VAR-AUX
 (5 1 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENTP))
 (2 2 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C::LEN-OF-WRITE-VAR-AUX
 (12291 1178 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (10298 126 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (8135 278 (:DEFINITION MEMBER-EQUAL))
 (6036 78 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (5522 78 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (4680 58 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (3921 425 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (3541 924 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (3446 354 (:REWRITE SUBSETP-CAR-MEMBER))
 (3148 140 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (2494 58 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (1888 140 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (1770 1770 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (1593 1136 (:REWRITE DEFAULT-CDR))
 (1592 60 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (1350 161 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (1337 1337 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (1320 246 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (1231 251 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (1145 801 (:REWRITE DEFAULT-CAR))
 (953 891 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (891 891 (:REWRITE SUBSETP-TRANS2))
 (891 891 (:REWRITE SUBSETP-TRANS))
 (884 42 (:REWRITE MEMBER-OF-CONS))
 (880 879 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (725 140 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (590 590 (:REWRITE SUBSETP-MEMBER . 2))
 (590 590 (:REWRITE SUBSETP-MEMBER . 1))
 (495 462 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (490 490 (:TYPE-PRESCRIPTION C::IDENTP))
 (420 140 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (420 140 (:REWRITE C::MAPP-WHEN-HEAPP))
 (399 399 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (330 78 (:REWRITE SUBSETP-CONS-2))
 (305 140 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (290 58 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (280 280 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (280 280 (:TYPE-PRESCRIPTION C::HEAPP))
 (245 245 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (245 245 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (174 174 (:TYPE-PRESCRIPTION C::VALUEP))
 (174 58 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (174 58 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (174 58 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (174 58 (:REWRITE C::VALUEP-WHEN-UINTP))
 (174 58 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (174 58 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (174 58 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (174 58 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (174 58 (:REWRITE C::VALUEP-WHEN-SINTP))
 (174 58 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (174 58 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (153 79 (:REWRITE DEFAULT-+-2))
 (116 116 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (116 116 (:TYPE-PRESCRIPTION C::USHORTP))
 (116 116 (:TYPE-PRESCRIPTION C::ULONGP))
 (116 116 (:TYPE-PRESCRIPTION C::ULLONGP))
 (116 116 (:TYPE-PRESCRIPTION C::UINTP))
 (116 116 (:TYPE-PRESCRIPTION C::UCHARP))
 (116 116 (:TYPE-PRESCRIPTION C::SSHORTP))
 (116 116 (:TYPE-PRESCRIPTION C::SLONGP))
 (116 116 (:TYPE-PRESCRIPTION C::SLLONGP))
 (116 116 (:TYPE-PRESCRIPTION C::SINTP))
 (116 116 (:TYPE-PRESCRIPTION C::SCHARP))
 (116 116 (:TYPE-PRESCRIPTION C::POINTERP))
 (116 116 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (116 58 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (79 79 (:REWRITE DEFAULT-+-1))
 (32 32 (:REWRITE C::CONSP-OF-SCOPE-LIST-FIX))
 (14 14 (:REWRITE MEMBER-SELF))
 (12 12 (:TYPE-PRESCRIPTION OMAP::UPDATE))
 (6 6 (:REWRITE C::SCOPE-LIST-FIX-UNDER-IFF))
 )
(C::WRITE-VAR-AUX-OF-IDENT-FIX-VAR
 (446 20 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (364 16 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (314 76 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (188 16 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (172 4 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (168 168 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (122 4 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (108 108 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (92 92 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (76 14 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (54 54 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (52 4 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (46 36 (:REWRITE DEFAULT-CDR))
 (38 28 (:REWRITE DEFAULT-CAR))
 (20 20 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (20 4 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C::VALUEP))
 (12 4 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (12 4 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (12 4 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (12 4 (:REWRITE C::VALUEP-WHEN-UINTP))
 (12 4 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (12 4 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (12 4 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (12 4 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (12 4 (:REWRITE C::VALUEP-WHEN-SINTP))
 (12 4 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (12 4 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (8 8 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION C::USHORTP))
 (8 8 (:TYPE-PRESCRIPTION C::ULONGP))
 (8 8 (:TYPE-PRESCRIPTION C::ULLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::UINTP))
 (8 8 (:TYPE-PRESCRIPTION C::UCHARP))
 (8 8 (:TYPE-PRESCRIPTION C::SSHORTP))
 (8 8 (:TYPE-PRESCRIPTION C::SLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::SLLONGP))
 (8 8 (:TYPE-PRESCRIPTION C::SINTP))
 (8 8 (:TYPE-PRESCRIPTION C::SCHARP))
 (8 8 (:TYPE-PRESCRIPTION C::POINTERP))
 (8 8 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (8 4 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::WRITE-VAR-AUX-IDENT-EQUIV-CONGRUENCE-ON-VAR)
(C::WRITE-VAR-AUX-OF-VALUE-FIX-VAL
 (446 20 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (364 16 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (314 76 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (188 16 (:REWRITE C::SCOPE-FIX-WHEN-SCOPEP))
 (152 152 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (124 28 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (122 4 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (108 108 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (99 99 (:TYPE-PRESCRIPTION C::VALUE-FIX$INLINE))
 (92 92 (:TYPE-PRESCRIPTION C::SCOPEP))
 (92 92 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (76 14 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (54 54 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (52 4 (:REWRITE C::SCOPE-LIST-FIX-WHEN-SCOPE-LISTP))
 (50 10 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (48 48 (:TYPE-PRESCRIPTION C::IDENTP))
 (46 36 (:REWRITE DEFAULT-CDR))
 (39 10 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (39 10 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (39 10 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (39 10 (:REWRITE C::VALUEP-WHEN-UINTP))
 (39 10 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (39 10 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (39 10 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (39 10 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (39 10 (:REWRITE C::VALUEP-WHEN-SINTP))
 (39 10 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (39 10 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (38 28 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (24 24 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (20 20 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (20 20 (:TYPE-PRESCRIPTION C::USHORTP))
 (20 20 (:TYPE-PRESCRIPTION C::ULONGP))
 (20 20 (:TYPE-PRESCRIPTION C::ULLONGP))
 (20 20 (:TYPE-PRESCRIPTION C::UINTP))
 (20 20 (:TYPE-PRESCRIPTION C::UCHARP))
 (20 20 (:TYPE-PRESCRIPTION C::SSHORTP))
 (20 20 (:TYPE-PRESCRIPTION C::SLONGP))
 (20 20 (:TYPE-PRESCRIPTION C::SLLONGP))
 (20 20 (:TYPE-PRESCRIPTION C::SINTP))
 (20 20 (:TYPE-PRESCRIPTION C::SCHARP))
 (20 20 (:TYPE-PRESCRIPTION C::POINTERP))
 (20 20 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (20 10 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::WRITE-VAR-AUX-VALUE-EQUIV-CONGRUENCE-ON-VAL)
(C::WRITE-VAR-AUX-OF-SCOPE-LIST-FIX-SCOPES
 (12349 448 (:REWRITE C::EMPTY-OF-SCOPE-FIX-TO-NOT-SCOPEP-OR-EMPTY))
 (11594 1597 (:REWRITE C::SCOPEP-OF-CAR-WHEN-SCOPE-LISTP))
 (9288 216 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (8192 394 (:REWRITE OMAP::IN-WHEN-EMPTY))
 (8187 1280 (:REWRITE C::SCOPE-LISTP-OF-CDR-WHEN-SCOPE-LISTP))
 (5539 216 (:REWRITE OMAP::UPDATE-WHEN-EMPTY))
 (4972 1020 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (4822 4822 (:REWRITE C::SCOPE-LISTP-WHEN-SUBSETP-EQUAL))
 (3608 3608 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (3137 2238 (:REWRITE DEFAULT-CDR))
 (2504 2504 (:TYPE-PRESCRIPTION C::SCOPE-FIX))
 (2418 2411 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (1976 1976 (:TYPE-PRESCRIPTION C::IDENTP))
 (1456 976 (:REWRITE DEFAULT-CAR))
 (1080 216 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (988 988 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (988 988 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (648 648 (:TYPE-PRESCRIPTION C::VALUEP))
 (648 216 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (648 216 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (648 216 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (648 216 (:REWRITE C::VALUEP-WHEN-UINTP))
 (648 216 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (648 216 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (648 216 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (648 216 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (648 216 (:REWRITE C::VALUEP-WHEN-SINTP))
 (648 216 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (648 216 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (432 432 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (432 432 (:TYPE-PRESCRIPTION C::USHORTP))
 (432 432 (:TYPE-PRESCRIPTION C::ULONGP))
 (432 432 (:TYPE-PRESCRIPTION C::ULLONGP))
 (432 432 (:TYPE-PRESCRIPTION C::UINTP))
 (432 432 (:TYPE-PRESCRIPTION C::UCHARP))
 (432 432 (:TYPE-PRESCRIPTION C::SSHORTP))
 (432 432 (:TYPE-PRESCRIPTION C::SLONGP))
 (432 432 (:TYPE-PRESCRIPTION C::SLLONGP))
 (432 432 (:TYPE-PRESCRIPTION C::SINTP))
 (432 432 (:TYPE-PRESCRIPTION C::SCHARP))
 (432 432 (:TYPE-PRESCRIPTION C::POINTERP))
 (432 432 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (432 216 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::WRITE-VAR-AUX-SCOPE-LIST-EQUIV-CONGRUENCE-ON-SCOPES)
(C::WRITE-VAR)
(C::COMPUSTATE-RESULTP-OF-WRITE-VAR)
(C::COMPUSTATE-FRAMES-NUMBER-OF-WRITE-VAR
 (10 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (4 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C::COMPUSTATE-SCOPES-NUMBERS-OF-WRITE-VAR
 (55 35 (:REWRITE DEFAULT-CDR))
 (40 20 (:REWRITE DEFAULT-+-2))
 (39 3 (:REWRITE C::FRAME-FIX-WHEN-FRAMEP))
 (27 17 (:REWRITE DEFAULT-CAR))
 (26 26 (:TYPE-PRESCRIPTION C::FRAME->SCOPES$INLINE))
 (21 3 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (20 20 (:REWRITE DEFAULT-+-1))
 (7 4 (:REWRITE DEFAULT-<-2))
 (6 6 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS))
 (6 6 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (5 3 (:REWRITE C::SCOPE-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE DEFAULT-<-1))
 (3 3 (:TYPE-PRESCRIPTION C::FRAMEP))
 (3 3 (:REWRITE C::FRAME-LISTP-OF-COMPUSTATE->FRAMES))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C::WRITE-VAR-OF-IDENT-FIX-VAR
 (4 2 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::WRITE-VAR-IDENT-EQUIV-CONGRUENCE-ON-VAR)
(C::WRITE-VAR-OF-VALUE-FIX-VAL
 (43 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (10 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 2 (:REWRITE DEFAULT-<-2))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (3 1 (:REWRITE C::VALUEP-WHEN-USHORTP))
 (3 1 (:REWRITE C::VALUEP-WHEN-ULONGP))
 (3 1 (:REWRITE C::VALUEP-WHEN-ULLONGP))
 (3 1 (:REWRITE C::VALUEP-WHEN-UINTP))
 (3 1 (:REWRITE C::VALUEP-WHEN-UCHARP))
 (3 1 (:REWRITE C::VALUEP-WHEN-SSHORTP))
 (3 1 (:REWRITE C::VALUEP-WHEN-SLONGP))
 (3 1 (:REWRITE C::VALUEP-WHEN-SLLONGP))
 (3 1 (:REWRITE C::VALUEP-WHEN-SINTP))
 (3 1 (:REWRITE C::VALUEP-WHEN-SCHARP))
 (3 1 (:REWRITE C::VALUEP-WHEN-POINTERP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (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::POINTERP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE DEFAULT-<-1))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::WRITE-VAR-VALUE-EQUIV-CONGRUENCE-ON-VAL)
(C::WRITE-VAR-OF-COMPUSTATE-FIX-COMPST
 (10 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 2 (:REWRITE DEFAULT-<-2))
 (3 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(C::WRITE-VAR-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
