[ Eq(1*x1 + 1*x3, k8),
  Eq(1*x2 + 1*x3 + 1*x5 + 1*x6, k9),
  Eq(1*x4 + 1*x6, k10) ]