[ x[19] = x[2] + x[18],
  x[20] = x[3] + x[15],
  x[21] = x[4] + x[16],
  x[22] = x[5] + x[17] ]