[ Eq(1*k1*x1 + 1*k1*x2, k1*k20),
  Eq(1*k1*x6 + 1*k1*x7, k1*k21) ]