((R1CS::PRIME . #x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001)
(R1CS::VARS u/num v/num point_interpretation/u^2/squared_num point_interpretation/v^2/squared_num point_interpretation/u^2_v^2/product_num)
("" (R1CS::CONSTRAINTS ) ("u" (R1CS::CONSTRAINTS ))  ("v" (R1CS::CONSTRAINTS ))  ("point interpretation" (R1CS::CONSTRAINTS ((R1CS::A (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 point_interpretation/u^2/squared_num) (#x0000000000000000000000000000000000000000000000000000000000000001 point_interpretation/v^2/squared_num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 1))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1 point_interpretation/u^2_v^2/product_num)))
) ("u^2" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 u/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 u/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 point_interpretation/u^2/squared_num)))
))  ("v^2" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 v/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 v/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 point_interpretation/v^2/squared_num)))
))  ("u^2 v^2" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 point_interpretation/u^2/squared_num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 point_interpretation/v^2/squared_num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 point_interpretation/u^2_v^2/product_num)))
)) ) ) )
