(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))