(ALEOVM::BOOLEAN-NOR-SPEC)
(ALEOVM::BOOLEANP-OF-BOOLEAN-NOR-SPEC)
(ALEOVM::BITP-Z-WHEN-BOOLEAN-NOR-SPEC)
(ALEOVM::BOOLEAN-NOR-CIRCUIT)
(ALEOVM::DEFINITIONP-OF-BOOLEAN-NOR-CIRCUIT)
(ALEOVM::SR1CS-DEFINITIONP-OF-BOOLEAN-NOR-CIRCUIT)
(ALEOVM::BOOLEAN-NOR-PRED)
(ALEOVM::DEFINITION-SATP-OF-BOOLEAN-NOR-PRED)
(ALEOVM::CONSTRAINT-SATP-OF-BOOLEAN-NOR-PRED)
(ALEOVM::DEFINITION-SATP-TO-BOOLEAN-NOR-PRED)
(ALEOVM::BOOLEAN-NOR-PRED-TO-SPEC
 (25 25 (:REWRITE PFIELD::MUL-WHEN-EQUAL-OF-MOD-SUBST-ARG2))
 (25 25 (:REWRITE PFIELD::MUL-WHEN-EQUAL-OF-MOD-SUBST-ARG1))
 (25 25 (:REWRITE PFIELD::MUL-WHEN-CONSTANT-REDUCE-ARG1))
 (22 22 (:REWRITE PFIELD::FEP-WHEN-FE-LISTP-AND-MEMBER-EQUAL))
 (17 10 (:REWRITE PFIELD::MUL-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (16 8 (:REWRITE PFIELD::ADD-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (14 14 (:REWRITE PFIELD::NEG-WHEN-NOT-POSP-ARG2-CHEAP))
 (14 14 (:REWRITE PFIELD::NEG-WHEN-NOT-INTEGERP-CHEAP))
 (11 10 (:REWRITE PFIELD::MUL-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (8 8 (:TYPE-PRESCRIPTION PFIELD::NATP-OF-NEG))
 (8 8 (:TYPE-PRESCRIPTION PFIELD::NATP-OF-ADD))
 (8 8 (:REWRITE PFIELD::ADD-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (8 8 (:REWRITE PFIELD::ADD-COMMUTATIVE))
 (7 7 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 (2 2 (:REWRITE PFIELD::SUB-WHEN-CONSTANTS))
 )
(ALEOVM::BOOLEAN-NOR-CIRCUIT-TO-SPEC)
