{ x10 = x1 + x9,
  x11 = x8 + x3 + x4 + x5 + x6 + x7 }