((R1CS::PRIME . #x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001)
(R1CS::VARS x1/num y1/num x2/num y2/num lambda/num xprime/num yprime/num)
(R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 x2/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 x1/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 lambda/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 y2/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 y1/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 lambda/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 lambda/num))(R1CS::C (#x000000000000000000000000000000000000000000000000000000000000a002 1) (#x0000000000000000000000000000000000000000000000000000000000000001 x1/num) (#x0000000000000000000000000000000000000000000000000000000000000001 x2/num) (#x0000000000000000000000000000000000000000000000000000000000000001 xprime/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 x1/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 xprime/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 lambda/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 yprime/num) (#x0000000000000000000000000000000000000000000000000000000000000001 y1/num)))
))
