[ x[14] = x[5] + x[6],
  x[15] = x[8] + x[9],
  x[16] = x[2] + x[3] ]