[ x[1] = k[30] - x[2],
  x[5] = k[31] - x[6],
  x[8] = k[29],
  x[9] = k[32] - x[10],
  x[18] = x[3] + x[4] + x[7] ]