(assert (= x0_minus 0)) (assert (= x0_plus 1)) (assert (= x1_minus 12)) (assert (= x1_plus 0)) (assert (= x2_minus 3)) (assert (= x2_plus 0)) (assert (= x3_minus 5)) (assert (= x3_plus 0)) (assert (= x4_minus 0)) (assert (= x4_plus 7)) (assert (= x5_minus 0)) (assert (= x5_plus 7)) (assert (= x6_minus 5)) (assert (= x6_plus 0)) (assert (= x7_minus 4)) (assert (= x7_plus 0)) (assert (= x8_minus 0)) (assert (= x8_plus 2)) (assert (= x9_minus 0)) (assert (= x9_plus 0))