[ x[2] = k[13] - x[1],
  x[4] = k[11] - x[3],
  x[6] = k[12] - x[5],
  x[7] = x[8] + x[9] ]