[ Eq(1*x1 + 1*x3, k81),
  Eq(1*x2 + 1*x4, k82),
  Eq(1*x7 + 1*x9, k83) ]