[ x[13] = x[9] + x[4] + x[1],
  x[14] = x[10] + x[5] + x[2],
  x[15] = x[13] + x[14],
  x[16] = x[11] + x[12] + x[3] + x[6] ]