[ x[18] = x[4] + x[6] + x[17] + x[11],
  x[19] = x[5] + x[6],
  x[20] = x[7] + x[17] + x[10] + x[11] ]