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