(assert (= x0 -209))
(assert (= x1 350))
(assert (= x2 -282))
(assert (= x3 -358))
(assert (= x4 26))
(assert (= x5 122))
(assert (= x6 -214))
(assert (= x7 -10))
(assert (= x8 208))
(assert (= x9 41))