(assert (= x_0 2)) (assert (= x_1 3)) (assert (= x_2 5)) (assert (= x_3 7)) (assert (= x_4 11)) (assert (= x_5 13)) (assert (= x_6 17)) (assert (= x_7 19)) (assert (= x_8 24))