[ Eq(1*k15*x1 + 1*k15*x2, k15*k29),
  Eq(1*k15*x3 + 1*k15*x4 + 1*k15*x5, k15*k30),
  Eq(1*k15*x6 + 1*k15*x7 + 1*k15*x8, k15*k31) ]