(NEGATED-ELEMS-LISTP)
(NEGATED-ELEMS-LISTP-REWRITE
 (136 17 (:REWRITE ZP-OPEN))
 (118 112 (:REWRITE DEFAULT-CDR))
 (111 103 (:REWRITE DEFAULT-CAR))
 (77 47 (:REWRITE DEFAULT-+-2))
 (47 47 (:REWRITE DEFAULT-+-1))
 (37 20 (:REWRITE DEFAULT-<-2))
 (32 32 (:REWRITE EQUAL-CONSTANT-WHEN-BVCHOP-EQUAL-CONSTANT-FALSE))
 (26 26 (:REWRITE ALL-UNSIGNED-BYTE-P-IMPLIES-ALL-INTEGERP))
 (26 26 (:REWRITE ALL-INTEGERP-WHEN-UNSIGNED-BYTE-LISTP))
 (26 26 (:REWRITE ALL-INTEGERP-WHEN-NOT-CONSP-CHEAP))
 (23 20 (:REWRITE DEFAULT-<-1))
 (16 6 (:REWRITE ALL-INTEGERP-OF-CDR))
 )
