((R1CS::PRIME . #x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001)
(R1CS::VARS x/num y/num u/num v/num)
("" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 y/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 u/num))(R1CS::C (#x2762de61e862645e31de341e77d764e5ce4069703da88abd8f4535f7cf82b8d9 x/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 x/num) (#x0000000000000000000000000000000000000000000000000000000000000001 1))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 v/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 x/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 1)))
) ("x" (R1CS::CONSTRAINTS ))  ("y" (R1CS::CONSTRAINTS ))  ("u" (R1CS::CONSTRAINTS ))  ("v" (R1CS::CONSTRAINTS )) ) )
