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