(assert (= x0 -689))
(assert (= x1 719))
(assert (= x2 -130))
(assert (= x3 -232))
(assert (= x4 -210))
(assert (= x5 -101))
(assert (= x6 92))
(assert (= x7 335))
(assert (= x8 561))
(assert (= x9 -686))