((R1CS::PRIME . #x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001)
(R1CS::VARS u1/num v1/num u2/num v2/num U/num A_computation/product_num B_computation/product_num C/num u3/num v3/num)
("" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 u1/num) (#x0000000000000000000000000000000000000000000000000000000000000001 v1/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 u2/num) (#x0000000000000000000000000000000000000000000000000000000000000001 v2/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 U/num)))
((R1CS::A (#x2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1 A_computation/product_num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 B_computation/product_num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 C/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x0000000000000000000000000000000000000000000000000000000000000001 C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 u3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 A_computation/product_num) (#x0000000000000000000000000000000000000000000000000000000000000001 B_computation/product_num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 U/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 A_computation/product_num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 B_computation/product_num)))
) ("u1" (R1CS::CONSTRAINTS ))  ("v1" (R1CS::CONSTRAINTS ))  ("u2" (R1CS::CONSTRAINTS ))  ("v2" (R1CS::CONSTRAINTS ))  ("U" (R1CS::CONSTRAINTS ))  ("A computation" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 v2/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 u1/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 A_computation/product_num)))
))  ("B computation" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 u2/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 v1/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 B_computation/product_num)))
))  ("C" (R1CS::CONSTRAINTS ))  ("u3" (R1CS::CONSTRAINTS ))  ("v3" (R1CS::CONSTRAINTS )) ) )
