(assert (= x0 3))
(assert (= x1 -2))
(assert (= x2 -2))
(assert (= x3 0))
(assert (= x4 0))
(assert (= x5 1))
(assert (= x6 3))
(assert (= x7 0))
(assert (= x8 -3))
(assert (= x9 3))