(ALEOVM::BOOLEAN-AND-NOTLEFT-GADGET
 (12 12 (:REWRITE DEFAULT-CDR))
 (9 5 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-CAR))
 (5 5 (:REWRITE DEFAULT-+-1))
 (4 4 (:TYPE-PRESCRIPTION LEN))
 (1 1 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 )
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-BOOLEAN-AND-NOTLEFT-GADGET
 (13 13 (:REWRITE DEFAULT-CDR))
 (9 9 (:REWRITE DEFAULT-CAR))
 (9 5 (:REWRITE DEFAULT-+-2))
 (5 5 (:REWRITE DEFAULT-+-1))
 (4 4 (:TYPE-PRESCRIPTION LEN))
 (1 1 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 )
(ALEOVM::BOOLEAN-AND-NOTLEFT-GADGET-TO-BOOLAND-BOOLNOT
 (36 36 (:REWRITE R1CS::VALUATION-BINDSP-WHEN-VALUATION-BINDS-ALLP))
 (18 10 (:REWRITE PFIELD::ADD-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (15 15 (:REWRITE PFIELD::ADD-SUBST-CONSTANT-ARG2))
 (15 15 (:REWRITE PFIELD::ADD-SUBST-CONSTANT-ARG1))
 (13 10 (:REWRITE PFIELD::ADD-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (12 12 (:REWRITE DEFAULT-CAR))
 (11 8 (:REWRITE IFIX-WHEN-NOT-INTEGERP-UNLIMITED))
 (10 10 (:REWRITE PFIELD::ADD-COMMUTATIVE))
 (9 9 (:REWRITE R1CS::R1CS-VALUATIONP-WHEN-NOT-CONSP))
 (9 9 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 (9 9 (:REWRITE PFIELD::MUL-OF--1-BECOMES-NEG-ALT))
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE PFIELD::MUL-WHEN-EQUAL-OF-MOD-SUBST-ARG2))
 (6 6 (:REWRITE PFIELD::MUL-WHEN-EQUAL-OF-MOD-SUBST-ARG1))
 (6 6 (:REWRITE PFIELD::MUL-WHEN-CONSTANT-REDUCE-ARG1))
 (6 5 (:REWRITE PFIELD::MUL-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (5 5 (:REWRITE PFIELD::MUL-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (5 5 (:REWRITE PFIELD::MUL-COMMUTATIVE))
 (4 4 (:TYPE-PRESCRIPTION R1CS::DOT-PRODUCT))
 (4 3 (:REWRITE PFIELD::NEG-WHEN-NOT-INTEGERP-CHEAP))
 (3 3 (:TYPE-PRESCRIPTION PFIELD::NATP-OF-NEG))
 (3 3 (:REWRITE PFIELD::NEG-WHEN-NOT-POSP-ARG2-CHEAP))
 (3 3 (:REWRITE PFIELD::NEG-WHEN-CONSTANT-ARG1))
 (2 2 (:TYPE-PRESCRIPTION PFIELD::NATP-OF-MUL))
 (2 2 (:REWRITE PFIELD::EQUAL-OF-ADD-COMBINE-CONSTANTS))
 (1 1 (:REWRITE PFIELD::NEG-OF-MUL-WHEN-CONSTANT))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
