[ x[12] = k[24] - x[6],
  x[16] = k[27] - x[15],
  x[20] = k[26] - x[19],
  x[23] = k[25] - x[24] ]