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