(assert (= x0 -11))
(assert (= x1 66))
(assert (= x2 17))
(assert (= x3 51))
(assert (= x4 -31))
(assert (= x5 45))
(assert (= x6 0))
(assert (= x7 -36))
(assert (= x8 10))
(assert (= x9 29))