[ Eq(1*k3*x2 + 1*k3*x4 + 1*k3*x8, k3*k110),
  Eq(1*k3*x11 + 1*k3*x13, k3*k111) ]