[ Eq(1*k1*x3 + 1*k1*x4, k1*k10),
  Eq(1*k1*x3 + 1*k1*x5 + 1*k1*x6, k1*k11) ]