[ Eq(x3, k1 - x4),
  Eq(x10, k2 - x11),
  Eq(x18, k3 - x19) ]