[ Eq(1*x2 + 1*x3 + 3*x6 + 2*x7 + 3*x11, k24),
  Eq(1*x10 + 1*x11, k25),
  Eq(1*x14 + 1*x15, k26) ]