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