[ x[9] = x[7]*k[16]/(1 - k[16])*(k[4] + 1)/k[4]/(1 + k[16]/(1 - k[16])*(k[4] + 1)/k[4]),
  x[10] = (k[13] + 1)*(k[14] - x[3]) - k[13]*x[6],
  x[11] = (k[13] + 1)*x[1] - k[13]*x[13],
  x[12] = (k[13] + 1)*k[15] - k[13]*x[19],
  x[14] = (k[13] + 1)*x[3] - k[13]*x[8],
  x[15] = x[14] - 2*x[11] - x[16],
  x[16] = (k[13] + 1)*x[2] - k[13]*x[17],
  x[18] = x[19] - x[17],
  x[20] = x[8] - 2*x[13] - x[17],
  x[21] = x[12] - x[16],
  x[23] = x[5] + x[7] + x[24] + x[26],
  x[25] = x[7]*1/(1 + k[16]/(1 - k[16])*(k[4] + 1)/k[4]) ]