(C::EXEC-BLOCK-ITEM-WHEN-DECLON
 (21 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (16 2 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (12 3 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (7 7 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C::EXEC-BLOCK-ITEM-WHEN-STMT
 (1 1 (:REWRITE ZP-OPEN))
 )
(C::EXEC-BLOCK-ITEM-LIST-OF-NIL
 (8 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (5 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::BLOCK-ITEM-LIST-FIX-UNDER-BLOCK-ITEM-LIST-EQUIV))
 (1 1 (:REWRITE ZP-OPEN))
 )
(C::EXEC-BLOCK-ITEM-LIST-WHEN-CONSP
 (12 4 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (4 4 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (4 4 (:REWRITE C::RETURN-TYPE-OF-EXEC-BLOCK-ITEM.NEW-COMPST))
 (4 4 (:REWRITE FOLD-CONSTS-IN-+))
 (3 3 (:REWRITE ZP-OPEN))
 )
(C::IND)
(C::EXEC-BLOCK-ITEM-LIST-OF-APPEND
 (25 5 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (20 10 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (18 18 (:REWRITE C::RETURN-TYPE-OF-EXEC-BLOCK-ITEM.NEW-COMPST))
 (13 13 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (10 10 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (10 10 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (10 5 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C::APPEND-OF-TAKE-AND-NTHCDR
 (213 71 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (25 3 (:REWRITE TAKE-OF-LEN-FREE))
 (6 6 (:REWRITE ZP-OPEN))
 (5 3 (:REWRITE CONSP-OF-TAKE))
 (3 3 (:REWRITE TAKE-WHEN-ATOM))
 (3 3 (:REWRITE FOLD-CONSTS-IN-+))
 )
(C::LEN-OF-TAKE)
