(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 23)) (assert (= x_9 29)) (assert (= x_10 31)) (assert (= x_11 37)) (assert (= x_12 41)) (assert (= x_13 43)) (assert (= x_14 47)) (assert (= x_15 53)) (assert (= x_16 59))