(ALEOVM::GROUP-ADD--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-ADD--CONSTRAINTS)
(ALEOVM::GROUP-DOUBLE--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-DOUBLE--CONSTRAINTS)
(ALEOVM::GROUP-EQUAL--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-EQUAL--CONSTRAINTS)
(ALEOVM::GROUP-FROM-X-COORDINATE-FLAGGED--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-FROM-X-COORDINATE-FLAGGED--CONSTRAINTS)
(ALEOVM::GROUP-FROM-XY-COORDINATES--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-FROM-XY-COORDINATES--CONSTRAINTS)
(ALEOVM::GROUP-MUL--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-MUL--CONSTRAINTS)
(ALEOVM::GROUP-MUL10--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-MUL10--CONSTRAINTS)
(ALEOVM::GROUP-NEG--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-NEG--CONSTRAINTS)
(ALEOVM::GROUP-SUB--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-SUB--CONSTRAINTS)
(ALEOVM::GROUP-TERNARY--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-GROUP-TERNARY--CONSTRAINTS)
