[ x[4] = k[35] - x[5],
  x[10] = k[36] - x[12],
  x[13] = k[37] - x[15] ]