[ x[16] = k[19] - x[9],
  x[17] = k[19] - x[10],
  x[18] = k[18] - x[11],
  x[19] = k[18] - x[12] ]