[ Eq(1*x1 + 1*x2, k20),
  Eq(1*x3 + 1*x4, k21),
  Eq(1*x5 + 1*x6, k22),
  Eq(1*x7 + 1*x8, k23) ]