{ x13 = x9 + x4 + x1,
  x14 = x10 + x5 + x2,
  x15 = x13 + x14,
  x16 = x11 + x12 + x3 + x6 }