(assert (= x0 -156))
(assert (= x1 11))
(assert (= x2 -213))
(assert (= x3 -62))
(assert (= x4 -77))
(assert (= x5 -36))
(assert (= x6 -195))
(assert (= x7 -82))
(assert (= x8 70))
(assert (= x9 13))