[ Eq(1*k13*x1 + 1*k13*x2 + 1*k13*x5 + 1*k13*x7 + 1*k13*x9, k13*k14),
  Eq(1*k13*x2 + 1*k13*x3 + 1*k13*x4 + 1*k13*x5 + 1*k13*x6 + 1*k13*x7 + 1*k13*x8 + 1*k13*x9, k13*k15) ]