(C::NOT-ERRORP-WHEN-SCHAR-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SCHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::SCHAR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-UCHAR-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::UCHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::UCHAR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-SSHORT-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SSHORT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::SSHORT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-USHORT-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::USHORT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::USHORT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-SINT-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SINT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::SINT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-UINT-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::UINT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::UINT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-SLONG-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SLONG-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::SLONG-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-ULONG-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::ULONG-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::ULONG-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-SLLONG-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::SLLONG-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::SLLONG-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-ULLONG-ARRAYP
 (26 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (14 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (12 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (9 2 (:REWRITE C::TYPEP-OF-CAR-WHEN-TYPE-LISTP))
 (8 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-OPTION-LISTP-OF-CDR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-LISTP-OF-CDR-WHEN-TYPE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE C::ULLONG-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C::ULLONG-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C::NOT-ERRORP-WHEN-BOOLEANP)
