(CRYPTO::DEFINTERFACE-HASH-INFOP
 (2 2 (:TYPE-PRESCRIPTION CONSP-ASSOC-EQUAL))
 )
(CRYPTO::DEFINTERFACE-HASH-INFO)
(CRYPTO::HONSED-DEFINTERFACE-HASH-INFO)
(CRYPTO::DEFINTERFACE-HASH-INFO->INPUT-SIZE-LIMIT$INLINE
 (2 2 (:DEFINITION ASSOC-EQUAL))
 )
(CRYPTO::DEFINTERFACE-HASH-INFO->OUTPUT-SIZE$INLINE
 (2 2 (:DEFINITION ASSOC-EQUAL))
 )
(CRYPTO::CONSP-OF-DEFINTERFACE-HASH-INFO)
(CRYPTO::BOOLEANP-OF-DEFINTERFACE-HASH-INFOP)
(CRYPTO::DEFINTERFACE-HASH-INFOP-OF-DEFINTERFACE-HASH-INFO)
(CRYPTO::CONSP-WHEN-DEFINTERFACE-HASH-INFOP)
(CRYPTO::DEFINTERFACE-HASH-INFO->INPUT-SIZE-LIMIT-OF-DEFINTERFACE-HASH-INFO)
(CRYPTO::DEFINTERFACE-HASH-INFO->OUTPUT-SIZE-OF-DEFINTERFACE-HASH-INFO)
(CRYPTO::RETURN-TYPE-OF-DEFINTERFACE-HASH-INFO->INPUT-SIZE-LIMIT)
(CRYPTO::RETURN-TYPE-OF-DEFINTERFACE-HASH-INFO->OUTPUT-SIZE)
(CRYPTO::DEFINTERFACE-HASH-FN
 (672 40 (:DEFINITION BINARY-APPEND))
 (400 400 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (360 80 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (240 160 (:REWRITE STR::CONSP-OF-EXPLODE))
 (220 40 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (192 72 (:REWRITE DEFAULT-CDR))
 (192 72 (:REWRITE DEFAULT-CAR))
 (80 80 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (80 40 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (64 64 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (42 42 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (40 40 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (40 40 (:REWRITE DEFAULT-SYMBOL-NAME))
 (40 20 (:REWRITE DEFAULT-PKG-IMPORTS))
 (10 10 (:REWRITE DEFAULT-*-2))
 (10 10 (:REWRITE DEFAULT-*-1))
 (7 7 (:REWRITE DEFAULT-<-2))
 (7 7 (:REWRITE DEFAULT-<-1))
 )
