[ Eq(1*k1*x1 + 1*k1*x2 + 1*k1*x5 + 1*k1*x6 + 1*k1*x8 + 1*k2*x11 + 1*k2*x12 + 1*k2*x13, k1*k21 + k2*k22),
  Eq(1*k1*x2 + 1*k1*x4 + 1*k1*x5 + 1*k1*x6, k1*k23),
  Eq(1*k2*x10 + 1*k2*x12, k2*k24) ]