[ Eq(1*k15*x1 + 2*k15*x2 + 1*k15*x5 + 1*k15*x9, k15*k16),
  Eq(1*k15*x3 + 2*k15*x4 + 1*k15*x5 + 1*k15*x9 + 2*k15*x10, k15*k17),
  Eq(1*k15*x6 + 2*k15*x7 + 2*k15*x8, k15*k18) ]