[ Eq(x24, x1 + k104 - x7),
  Eq(x25, x2 - x8),
  Eq(x26, x6 - x7 - x8),
  Eq(x27, x12 - x28),
  Eq(x29, x13 - x28),
  Eq(x31, k35 - x30 - x18 - x17),
  Eq(x32, k103 - x20 - x18) ]