[ Eq(1*x3 + 1*x4 + 1*x5 + 1*x6 + 1*x8 + 1*x10 + 1*x11 + 1*x12 + 1*x13, k22),
  Eq(1*x9 + 1*x10 + 1*x11 + 1*x12 + 1*x13 + 1*x16 + 1*x17, k23),
  Eq(1*x14 + 1*x15, k24) ]