[ Eq(x13, x9 + x4 + x1),
  Eq(x14, x10 + x5 + x2),
  Eq(x15, x13 + x14),
  Eq(x16, x11 + x12 + x3 + x6) ]