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