[ Eq(1*x4 + 1*x5, k19),
  Eq(1*x6 + 1*x7, k20) ]