(ALL-ALL-UNSIGNED-BYTE-P)
(ALL-ALL-UNSIGNED-BYTE-P-OF-CONS)
(USE-ALL-ALL-UNSIGNED-BYTE-P-FOR-CAR)
(USE-ALL-ALL-UNSIGNED-BYTE-P-FOR-CAR-OF-LAST)
(ALL-ALL-UNSIGNED-BYTE-P-OF-APPEND)
(ALL-ALL-UNSIGNED-BYTE-P-OF-UNION-EQUAL)
(ALL-ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP)
(ALL-ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP-CHEAP)
(ALL-ALL-UNSIGNED-BYTE-P-OF-REVAPPEND)
(ALL-ALL-UNSIGNED-BYTE-P-OF-CDR)
(ALL-ALL-UNSIGNED-BYTE-P-OF-NTHCDR)
(ALL-ALL-UNSIGNED-BYTE-P-OF-FIRSTN)
(ALL-ALL-UNSIGNED-BYTE-P-OF-REMOVE1-EQUAL)
(ALL-ALL-UNSIGNED-BYTE-P-OF-REMOVE-EQUAL)
(ALL-ALL-UNSIGNED-BYTE-P-OF-LAST)
(ALL-ALL-UNSIGNED-BYTE-P-OF-TAKE)
(ALL-ALL-UNSIGNED-BYTE-P-WHEN-PERM)
(ALL-ALL-UNSIGNED-BYTE-P-OF-TRUE-LIST-FIX)
(PERM-IMPLIES-EQUAL-ALL-ALL-UNSIGNED-BYTE-P-2)
(USE-ALL-ALL-UNSIGNED-BYTE-P)
(USE-ALL-ALL-UNSIGNED-BYTE-P-2)
(ALL-ALL-UNSIGNED-BYTE-P-OF-ADD-TO-SET-EQUAL)
(ALL-ALL-UNSIGNED-BYTE-P)
(ALL-UNSIGNED-BYTE-P-OF-CAR-2
 (6 1 (:REWRITE USE-ALL-ALL-UNSIGNED-BYTE-P-FOR-CAR))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE ALL-ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP-CHEAP))
 (2 2 (:REWRITE ALL-ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (2 1 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE USE-ALL-ALL-UNSIGNED-BYTE-P-2))
 (1 1 (:REWRITE USE-ALL-ALL-UNSIGNED-BYTE-P))
 (1 1 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-INTEGERP-WIDTH))
 (1 1 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NEGATIVE-WIDTH))
 (1 1 (:REWRITE ALL-UNSIGNED-BYTE-P-FROM-ALL-UNSIGNED-BYTE-P-NARROWER))
 )
(BOOLEANP-OF-ALL-ALL-UNSIGNED-BYTE-P)
(ALL-ALL-UNSIGNED-BYTE-P-OF-NIL)
(ALL-UNSIGNED-BYTE-P-WHEN-ALL-ALL-UNSIGNED-BYTE-P
 (121 18 (:REWRITE USE-ALL-ALL-UNSIGNED-BYTE-P-FOR-CAR))
 (44 22 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (33 33 (:REWRITE DEFAULT-CAR))
 (32 22 (:REWRITE USE-ALL-ALL-UNSIGNED-BYTE-P))
 (30 22 (:REWRITE ALL-UNSIGNED-BYTE-P-FROM-ALL-UNSIGNED-BYTE-P-NARROWER))
 (27 25 (:REWRITE ALL-ALL-UNSIGNED-BYTE-P-WHEN-NOT-CONSP))
 (22 22 (:REWRITE USE-ALL-ALL-UNSIGNED-BYTE-P-2))
 (22 22 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NOT-INTEGERP-WIDTH))
 (22 22 (:REWRITE ALL-UNSIGNED-BYTE-P-WHEN-NEGATIVE-WIDTH))
 (21 13 (:REWRITE DEFAULT-+-2))
 (18 12 (:REWRITE DEFAULT-<-2))
 (13 13 (:REWRITE DEFAULT-+-1))
 (12 12 (:REWRITE DEFAULT-<-1))
 (12 2 (:REWRITE ALL-ALL-UNSIGNED-BYTE-P-OF-CDR))
 (10 10 (:TYPE-PRESCRIPTION MEMBERP))
 (10 10 (:REWRITE DEFAULT-CDR))
 (7 7 (:REWRITE ZP-OPEN))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 )
