[ Eq(x16, k19 - x9),
  Eq(x17, k19 - x10),
  Eq(x18, k18 - x11),
  Eq(x19, k18 - x12) ]