(assert (= x_0 2)) (assert (= x_1 3)) (assert (= x_2 6))