[ Eq(x10, x1 + x9),
  Eq(x11, x8 + x3 + x4 + x5 + x6 + x7) ]