[ Diff(x[1], t) = (1*k[3]*(k[6]*x[4] - k[7]*x[3]*x[1]) + 1*k[3]*(k[12]*x[15] - k[13]*x[10]*x[1]) + 1*k[3]*(k[16]*x[13] - k[17]*x[8]*x[1]) + 1*k[3]*(k[18]*x[11] - k[19]*x[9]*x[1]) + (-1)*k[3]*k[29]*x[1] + 1*k[3]*k[38]*x[20]*x[2] + 1*k[3]*k[44]*x[17]*x[2])/k[3],
  Diff(x[2], t) = (1*k[3]*k[29]*x[1] + (-1)*k[3]*k[38]*x[20]*x[2] + (-1)*k[3]*k[44]*x[17]*x[2])/k[3],
  Diff(x[3], t) = (1*k[3]*(k[4]*x[9] - k[5]*x[8]*x[3]) + 1*k[3]*(k[6]*x[4] - k[7]*x[3]*x[1]) + 1*k[3]*(k[20]*x[15] - k[21]*x[11]*x[3]) + 1*k[3]*(k[22]*x[10] - k[23]*x[9]*x[3]) + 1*k[3]*(k[24]*x[6] - k[25]*x[3]*x[4]) + 1*k[3]*(k[26]*x[11] - k[27]*x[13]*x[3]))/k[3],
  Diff(x[4], t) = ((-1)*k[3]*(k[6]*x[4] - k[7]*x[3]*x[1]) + 1*k[3]*(k[8]*x[11] - k[9]*x[8]*x[4]) + 1*k[3]*(k[10]*x[15] - k[11]*x[9]*x[4]) + 1*k[3]*(k[24]*x[6] - k[25]*x[3]*x[4]) + (-1)*k[3]*k[30]*x[4] + 1*k[3]*k[39]*x[20]*x[5] + 1*k[3]*k[45]*x[17]*x[5])/k[3],
  Diff(x[5], t) = (1*k[3]*k[30]*x[4] + (-1)*k[3]*k[39]*x[20]*x[5] + (-1)*k[3]*k[45]*x[17]*x[5])/k[3],
  Diff(x[6], t) = (1*k[3]*(k[14]*x[15] - k[15]*x[8]*x[6]) + (-1)*k[3]*(k[24]*x[6] - k[25]*x[3]*x[4]) + (-1)*k[3]*k[31]*x[6] + 1*k[3]*k[40]*x[20]*x[7] + 1*k[3]*k[46]*x[17]*x[7])/k[3],
  Diff(x[7], t) = (1*k[3]*k[31]*x[6] + (-1)*k[3]*k[40]*x[20]*x[7] + (-1)*k[3]*k[46]*x[17]*x[7])/k[3],
  Diff(x[8], t) = (1*k[3]*(k[4]*x[9] - k[5]*x[8]*x[3]) + 1*k[3]*(k[8]*x[11] - k[9]*x[8]*x[4]) + 1*k[3]*(k[14]*x[15] - k[15]*x[8]*x[6]) + 1*k[3]*(k[16]*x[13] - k[17]*x[8]*x[1]))/k[3],
  Diff(x[9], t) = ((-1)*k[3]*(k[4]*x[9] - k[5]*x[8]*x[3]) + 1*k[3]*(k[10]*x[15] - k[11]*x[9]*x[4]) + 1*k[3]*(k[18]*x[11] - k[19]*x[9]*x[1]) + 1*k[3]*(k[22]*x[10] - k[23]*x[9]*x[3]))/k[3],
  Diff(x[10], t) = (1*k[3]*(k[12]*x[15] - k[13]*x[10]*x[1]) + (-1)*k[3]*(k[22]*x[10] - k[23]*x[9]*x[3]))/k[3],
  Diff(x[11], t) = ((-1)*k[3]*(k[8]*x[11] - k[9]*x[8]*x[4]) + (-1)*k[3]*(k[18]*x[11] - k[19]*x[9]*x[1]) + 1*k[3]*(k[20]*x[15] - k[21]*x[11]*x[3]) + (-1)*k[3]*(k[26]*x[11] - k[27]*x[13]*x[3]) + (-1)*k[3]*k[33]*x[11] + 1*k[3]*k[42]*x[20]*x[12] + 1*k[3]*k[48]*x[17]*x[12])/k[3],
  Diff(x[12], t) = (1*k[3]*k[33]*x[11] + (-1)*k[3]*k[42]*x[20]*x[12] + (-1)*k[3]*k[48]*x[17]*x[12])/k[3],
  Diff(x[13], t) = ((-1)*k[3]*(k[16]*x[13] - k[17]*x[8]*x[1]) + 1*k[3]*(k[26]*x[11] - k[27]*x[13]*x[3]) + (-1)*k[3]*k[32]*x[13] + 1*k[3]*k[41]*x[20]*x[14] + 1*k[3]*k[47]*x[17]*x[14])/k[3],
  Diff(x[14], t) = (1*k[3]*k[32]*x[13] + (-1)*k[3]*k[41]*x[20]*x[14] + (-1)*k[3]*k[47]*x[17]*x[14])/k[3],
  Diff(x[15], t) = ((-1)*k[3]*(k[10]*x[15] - k[11]*x[9]*x[4]) + (-1)*k[3]*(k[12]*x[15] - k[13]*x[10]*x[1]) + (-1)*k[3]*(k[14]*x[15] - k[15]*x[8]*x[6]) + (-1)*k[3]*(k[20]*x[15] - k[21]*x[11]*x[3]) + (-1)*k[3]*k[28]*x[15] + 1*k[3]*k[43]*x[20]*x[16] + 1*k[3]*k[49]*x[17]*x[16])/k[3],
  Diff(x[16], t) = (1*k[3]*k[28]*x[15] + (-1)*k[3]*k[43]*x[20]*x[16] + (-1)*k[3]*k[49]*x[17]*x[16])/k[3],
  Diff(x[17], t) = ((-1)*k[3]*k[34]*x[17] + 1*k[3]*k[35]*x[18] + 1*k[3]*k[36]*x[18]*x[19] + (-1)*k[3]*k[44]*x[17]*x[2] + (-1)*k[3]*k[45]*x[17]*x[5] + (-1)*k[3]*k[46]*x[17]*x[7] + (-1)*k[3]*k[47]*x[17]*x[14] + (-1)*k[3]*k[48]*x[17]*x[12] + (-1)*k[3]*k[49]*x[17]*x[16])/k[3],
  Diff(x[18], t) = (1*k[3]*k[34]*x[17] + (-1)*k[3]*k[35]*x[18] + (-1)*k[3]*k[36]*x[18]*x[19] + 1*k[3]*k[44]*x[17]*x[2] + 1*k[3]*k[45]*x[17]*x[5] + 1*k[3]*k[46]*x[17]*x[7] + 1*k[3]*k[47]*x[17]*x[14] + 1*k[3]*k[48]*x[17]*x[12] + 1*k[3]*k[49]*x[17]*x[16])/k[3],
  Diff(x[19], t) = 0/k[3],
  Diff(x[20], t) = (1*k[3]*k[37]*x[21] + (-1)*k[3]*k[38]*x[20]*x[2] + (-1)*k[3]*k[39]*x[20]*x[5] + (-1)*k[3]*k[40]*x[20]*x[7] + (-1)*k[3]*k[41]*x[20]*x[14] + (-1)*k[3]*k[42]*x[20]*x[12] + (-1)*k[3]*k[43]*x[20]*x[16])/k[3],
  Diff(x[21], t) = ((-1)*k[3]*k[37]*x[21] + 1*k[3]*k[38]*x[20]*x[2] + 1*k[3]*k[39]*x[20]*x[5] + 1*k[3]*k[40]*x[20]*x[7] + 1*k[3]*k[41]*x[20]*x[14] + 1*k[3]*k[42]*x[20]*x[12] + 1*k[3]*k[43]*x[20]*x[16])/k[3],
  Diff(x[22], t) = 0/k[3] ]