((R1CS::PRIME . #x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001)
(R1CS::VARS u/num v/num first_doubling/T/num first_doubling/A_computation/product_num first_doubling/C/num first_doubling/u3/num first_doubling/v3/num second_doubling/T/num second_doubling/A_computation/product_num second_doubling/C/num second_doubling/u3/num second_doubling/v3/num third_doubling/T/num third_doubling/A_computation/product_num third_doubling/C/num third_doubling/u3/num third_doubling/v3/num check_u_!=_0/ephemeral_inverse)
("" (R1CS::CONSTRAINTS ) ("u" (R1CS::CONSTRAINTS ))  ("v" (R1CS::CONSTRAINTS ))  ("first doubling" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 u/num) (#x0000000000000000000000000000000000000000000000000000000000000001 v/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 u/num) (#x0000000000000000000000000000000000000000000000000000000000000001 v/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/T/num)))
((R1CS::A (#x2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1 first_doubling/A_computation/product_num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/A_computation/product_num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/C/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/u3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/A_computation/product_num) (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/A_computation/product_num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 first_doubling/C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/T/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 first_doubling/A_computation/product_num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 first_doubling/A_computation/product_num)))
) ("T" (R1CS::CONSTRAINTS ))  ("A computation" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 u/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 v/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/A_computation/product_num)))
))  ("C" (R1CS::CONSTRAINTS ))  ("u3" (R1CS::CONSTRAINTS ))  ("v3" (R1CS::CONSTRAINTS )) )  ("second doubling" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/u3/num) (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/v3/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/u3/num) (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/T/num)))
((R1CS::A (#x2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1 second_doubling/A_computation/product_num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/A_computation/product_num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/C/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/u3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/A_computation/product_num) (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/A_computation/product_num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 second_doubling/C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/T/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 second_doubling/A_computation/product_num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 second_doubling/A_computation/product_num)))
) ("T" (R1CS::CONSTRAINTS ))  ("A computation" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/u3/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 first_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/A_computation/product_num)))
))  ("C" (R1CS::CONSTRAINTS ))  ("u3" (R1CS::CONSTRAINTS ))  ("v3" (R1CS::CONSTRAINTS )) )  ("third doubling" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/u3/num) (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/v3/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/u3/num) (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/T/num)))
((R1CS::A (#x2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1 third_doubling/A_computation/product_num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/A_computation/product_num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/C/num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/u3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/A_computation/product_num) (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/A_computation/product_num)))
((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 1) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 third_doubling/C/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/T/num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 third_doubling/A_computation/product_num) (#x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000 third_doubling/A_computation/product_num)))
) ("T" (R1CS::CONSTRAINTS ))  ("A computation" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/u3/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 second_doubling/v3/num))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/A_computation/product_num)))
))  ("C" (R1CS::CONSTRAINTS ))  ("u3" (R1CS::CONSTRAINTS ))  ("v3" (R1CS::CONSTRAINTS )) )  ("check u != 0" (R1CS::CONSTRAINTS ((R1CS::A (#x0000000000000000000000000000000000000000000000000000000000000001 third_doubling/u3/num))(R1CS::B (#x0000000000000000000000000000000000000000000000000000000000000001 check_u_!=_0/ephemeral_inverse))(R1CS::C (#x0000000000000000000000000000000000000000000000000000000000000001 1)))
)) ) )
