[ Eq(x14, x5 + x6),
  Eq(x15, x8 + x9),
  Eq(x16, x2 + x3) ]