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