[ x[24] = x[1] + k[104] - x[7],
  x[25] = x[2] - x[8],
  x[26] = x[6] - x[7] - x[8],
  x[27] = x[12] - x[28],
  x[29] = x[13] - x[28],
  x[31] = k[35] - x[30] - x[18] - x[17],
  x[32] = k[103] - x[20] - x[18] ]