(C::PEEL-FRAMES)
(C::COMPUSTATEP-OF-PEEL-FRAMES
 (16 2 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (9 9 (:REWRITE ZP-OPEN))
 )
(C::PEEL-FRAMES-OF-CREATE-VAR
 (100 10 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (56 4 (:REWRITE OMAP::ASSOC-WHEN-ASSOC-TAIL))
 (34 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (24 8 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (24 8 (:REWRITE C::REMOVE-FLEXIBLE-ARRAY-MEMBER-WHEN-ABSENT))
 (22 8 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (22 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (20 20 (:TYPE-PRESCRIPTION C::IDENTP))
 (16 16 (:TYPE-PRESCRIPTION C::FLEXIBLE-ARRAY-MEMBER-P))
 (16 6 (:REWRITE OMAP::ASSOC-WHEN-EMPTYP))
 (10 10 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (10 10 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (10 10 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (10 10 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (10 10 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (10 10 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (10 10 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (6 2 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (1 1 (:REWRITE C::COMPUSTATEP-OF-PUSH-FRAME))
 )
(C::PEEL-FRAMES-OF-EXIT-SCOPE
 (66 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (36 6 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (23 11 (:REWRITE C::FRAME-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C::FRAME-LISTP-WHEN-SUBSETP-EQUAL))
 (18 18 (:TYPE-PRESCRIPTION C::COMPUSTATE))
 (18 6 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (12 12 (:REWRITE C::FRAMEP-WHEN-MEMBER-EQUAL-OF-FRAME-LISTP))
 (7 1 (:REWRITE C::FRAMEP-OF-CAR-WHEN-FRAME-LISTP))
 (6 6 (:REWRITE C::COMPUSTATEP-OF-COMPUSTATE))
 (5 5 (:REWRITE ZP-OPEN))
 (3 3 (:REWRITE FOLD-CONSTS-IN-+))
 )
(C::PEEL-FRAMES-OF-POP-FRAME-FOLD
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-POP-FRAME))
 )
(C::PEEL-FRAMES-OF-WRITE-OBJECT
 (96 8 (:REWRITE C::COMPUSTATE-RESULTP-WHEN-ERRORP))
 (88 88 (:TYPE-PRESCRIPTION C::POP-FRAME))
 (64 8 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (40 8 (:REWRITE C::COMPUSTATE-RESULTP-WHEN-COMPUSTATEP))
 (40 8 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (16 16 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (15 15 (:REWRITE ZP-OPEN))
 (12 12 (:REWRITE SUBSETP-MEMBER . 4))
 (12 12 (:REWRITE SUBSETP-MEMBER . 3))
 (12 12 (:REWRITE SUBSETP-MEMBER . 2))
 (12 12 (:REWRITE SUBSETP-MEMBER . 1))
 (12 12 (:REWRITE INTERSECTP-MEMBER . 3))
 (12 12 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(C::NOT-ERRORP-OF-WRITE-OBJECT-OF-PEEL-FRAMES
 (30 30 (:REWRITE SUBSETP-MEMBER . 2))
 (30 30 (:REWRITE SUBSETP-MEMBER . 1))
 (21 21 (:REWRITE SUBSETP-MEMBER . 4))
 (21 21 (:REWRITE SUBSETP-MEMBER . 3))
 (21 21 (:REWRITE INTERSECTP-MEMBER . 3))
 (21 21 (:REWRITE INTERSECTP-MEMBER . 2))
 (10 10 (:REWRITE ZP-OPEN))
 )
(C::PEEL-FRAMES-OF-NFIX-N
 (42 6 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (14 14 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::POP-FRAME))
 (4 4 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE C::COMPUSTATEP-OF-POP-FRAME))
 (1 1 (:REWRITE FOLD-CONSTS-IN-+))
 (1 1 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-POP-FRAME))
 )
(C::PEEL-FRAMES-NAT-EQUIV-CONGRUENCE-ON-N)
(C::PEEL-FRAMES-OF-COMPUSTATE-FIX-COMPST
 (15 3 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (6 3 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (4 4 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE FOLD-CONSTS-IN-+))
 (1 1 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-POP-FRAME))
 )
(C::PEEL-FRAMES-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::PEEL-SCOPES
 (4 1 (:LINEAR C::CAR-OF-COMPUSTATE-SCOPES-NUMBERS-LOWER-BOUND))
 )
(C::COMPUSTATEP-OF-PEEL-SCOPES
 (24 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (12 12 (:REWRITE ZP-OPEN))
 )
(C::PEEL-SCOPES-OF-NOT-ZP-UNFOLD
 (20 4 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (8 8 (:TYPE-PRESCRIPTION C::EXIT-SCOPE))
 (6 2 (:REWRITE C::COMPUSTATE-SCOPES-NUMBERS-OF-EXIT-SCOPE))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:REWRITE C::COMPUSTATEP-OF-EXIT-SCOPE))
 (3 3 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE FOLD-CONSTS-IN-+))
 (2 2 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-EXIT-SCOPE))
 (2 2 (:REWRITE CAR-CONS))
 )
(C::PEEL-SCOPES-OF-CREATE-VAR
 (3 1 (:REWRITE C::COMPUSTATE-SCOPES-NUMBERS-OF-EXIT-SCOPE))
 (1 1 (:TYPE-PRESCRIPTION C::EXIT-SCOPE))
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-EXIT-SCOPE))
 (1 1 (:REWRITE CAR-CONS))
 )
(C::PEEL-SCOPES-ONE-SCOPE-UNFOLD
 (25 4 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (24 12 (:TYPE-PRESCRIPTION C::POSP-OF-CAR-OF-COMPUSTATE-SCOPES-NUMBERS))
 (24 12 (:TYPE-PRESCRIPTION C::CONSP-OF-COMPUSTATE-SCOPES-NUMBERS))
 (15 3 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (6 3 (:TYPE-PRESCRIPTION C::POSP-OF-COMPUSTATE-TOP-FRAME-SCOPES-NUMBER))
 (6 3 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (5 1 (:LINEAR C::CAR-OF-COMPUSTATE-SCOPES-NUMBERS-LOWER-BOUND))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C::PEEL-SCOPES-OF-EXIT-SCOPE-FOLD
 (6 2 (:REWRITE C::COMPUSTATE-SCOPES-NUMBERS-OF-EXIT-SCOPE))
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-EXIT-SCOPE))
 (2 2 (:REWRITE CAR-CONS))
 )
(C::PEEL-SCOPES-OF-WRITE-OBJECT
 (192 16 (:REWRITE C::COMPUSTATE-RESULTP-WHEN-ERRORP))
 (128 16 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (80 16 (:REWRITE C::COMPUSTATE-RESULTP-WHEN-COMPUSTATEP))
 (80 16 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (32 32 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (25 25 (:REWRITE ZP-OPEN))
 (16 16 (:REWRITE SUBSETP-MEMBER . 4))
 (16 16 (:REWRITE SUBSETP-MEMBER . 3))
 (16 16 (:REWRITE SUBSETP-MEMBER . 2))
 (16 16 (:REWRITE SUBSETP-MEMBER . 1))
 (16 16 (:REWRITE INTERSECTP-MEMBER . 3))
 (16 16 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(C::NOT-ERRORP-OF-WRITE-OBJECT-OF-PEEL-SCOPES
 (48 48 (:REWRITE SUBSETP-MEMBER . 2))
 (48 48 (:REWRITE SUBSETP-MEMBER . 1))
 (36 36 (:REWRITE SUBSETP-MEMBER . 4))
 (36 36 (:REWRITE SUBSETP-MEMBER . 3))
 (36 36 (:REWRITE INTERSECTP-MEMBER . 3))
 (36 36 (:REWRITE INTERSECTP-MEMBER . 2))
 (16 16 (:REWRITE ZP-OPEN))
 )
(C::PEEL-SCOPES-OF-NFIX-M
 (58 8 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (30 6 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (20 20 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (12 6 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (6 1 (:REWRITE C::COMPUSTATE-SCOPES-NUMBERS-OF-EXIT-SCOPE))
 (5 5 (:REWRITE ZP-OPEN))
 (4 4 (:TYPE-PRESCRIPTION C::EXIT-SCOPE))
 (2 2 (:REWRITE C::COMPUSTATEP-OF-EXIT-SCOPE))
 (1 1 (:REWRITE FOLD-CONSTS-IN-+))
 (1 1 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-EXIT-SCOPE))
 (1 1 (:REWRITE CAR-CONS))
 )
(C::PEEL-SCOPES-NAT-EQUIV-CONGRUENCE-ON-M)
(C::PEEL-SCOPES-OF-COMPUSTATE-FIX-COMPST
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (6 1 (:REWRITE C::COMPUSTATE-SCOPES-NUMBERS-OF-EXIT-SCOPE))
 (5 5 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE FOLD-CONSTS-IN-+))
 (1 1 (:REWRITE C::COMPUSTATE-FRAMES-NUMBER-OF-EXIT-SCOPE))
 (1 1 (:REWRITE CAR-CONS))
 )
(C::PEEL-SCOPES-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
