[ Eq(1*k2*x3 + 1*k2*x5 + 1*k2*x22, k2*k75),
  Eq(1*k2*x10 + 1*k2*x12, k2*k76) ]