constant v 123 contract input_spend param x private x2 set x2 x mul x2 x lc0_add x lc1_add x lc2_add x2 enforce private x3 set x3 x2 mul x3 x lc0_add x2 lc1_add x lc2_add x3 enforce public input set input x3 lc0_add input lc1_add_one lc2_add x3 enforce end
