[ Diff(x[1], t) = (1*k[35]*(k[3]*x[5]*x[13] - k[4]*x[1]) + (-1)*k[35]*(k[5]*x[1] - k[6]*x[12]))/k[35],
  Diff(x[2], t) = (1*k[35]*(k[15]*x[11]*x[13] - k[16]*x[2]) + (-1)*k[35]*(k[17]*x[2]*x[13] - k[18]*x[9]) + 1*k[35]*(k[21]*x[3] - k[22]*x[2]) + (-1)*k[35]*(k[31]*x[2] - k[32]*x[10]))/k[35],
  Diff(x[3], t) = (1*k[35]*(k[7]*x[4]*x[13] - k[8]*x[3]) + (-1)*k[35]*(k[9]*x[3]*x[13] - k[10]*x[12]) + 1*k[35]*(k[13]*x[5] - k[14]*x[3]) + (-1)*k[35]*(k[21]*x[3] - k[22]*x[2]))/k[35],
  Diff(x[4], t) = ((-1)*k[35]*(k[7]*x[4]*x[13] - k[8]*x[3]) + 1*k[35]*(k[11]*x[6] - k[12]*x[4]) + (-1)*k[35]*(k[19]*x[4] - k[20]*x[11]))/k[35],
  Diff(x[5], t) = (1*k[35]*(k[1]*x[6]*x[13] - k[2]*x[5]) + (-1)*k[35]*(k[3]*x[5]*x[13] - k[4]*x[1]) + (-1)*k[35]*(k[13]*x[5] - k[14]*x[3]))/k[35],
  Diff(x[6], t) = ((-1)*k[35]*(k[1]*x[6]*x[13] - k[2]*x[5]) + (-1)*k[35]*(k[11]*x[6] - k[12]*x[4]))/k[35],
  Diff(x[7], t) = (1*k[35]*(k[27]*x[10]*x[13] - k[28]*x[7]) + 1*k[35]*(k[33]*x[9] - k[34]*x[7]))/k[35],
  Diff(x[8], t) = ((-1)*k[35]*(k[25]*x[8]*x[13] - k[26]*x[10]) + 1*k[35]*(k[29]*x[11] - k[30]*x[8]))/k[35],
  Diff(x[9], t) = (1*k[35]*(k[17]*x[2]*x[13] - k[18]*x[9]) + 1*k[35]*(k[23]*x[12] - k[24]*x[9]) + (-1)*k[35]*(k[33]*x[9] - k[34]*x[7]))/k[35],
  Diff(x[10], t) = (1*k[35]*(k[25]*x[8]*x[13] - k[26]*x[10]) + (-1)*k[35]*(k[27]*x[10]*x[13] - k[28]*x[7]) + 1*k[35]*(k[31]*x[2] - k[32]*x[10]))/k[35],
  Diff(x[11], t) = ((-1)*k[35]*(k[15]*x[11]*x[13] - k[16]*x[2]) + 1*k[35]*(k[19]*x[4] - k[20]*x[11]) + (-1)*k[35]*(k[29]*x[11] - k[30]*x[8]))/k[35],
  Diff(x[12], t) = (1*k[35]*(k[5]*x[1] - k[6]*x[12]) + 1*k[35]*(k[9]*x[3]*x[13] - k[10]*x[12]) + (-1)*k[35]*(k[23]*x[12] - k[24]*x[9]))/k[35],
  Diff(x[13], t) = ((-1)*k[35]*(k[1]*x[6]*x[13] - k[2]*x[5]) + (-1)*k[35]*(k[3]*x[5]*x[13] - k[4]*x[1]) + (-1)*k[35]*(k[7]*x[4]*x[13] - k[8]*x[3]) + (-1)*k[35]*(k[9]*x[3]*x[13] - k[10]*x[12]) + (-1)*k[35]*(k[15]*x[11]*x[13] - k[16]*x[2]) + (-1)*k[35]*(k[17]*x[2]*x[13] - k[18]*x[9]) + (-1)*k[35]*(k[25]*x[8]*x[13] - k[26]*x[10]) + (-1)*k[35]*(k[27]*x[10]*x[13] - k[28]*x[7]))/k[35] ]