[ Diff(x[1], t) = k[25]*x[2] + k[42]*x[12] + k[40]*x[10] - (k[10]*x[3]*x[1] - k[10]*k[12]*x[5] + k[14]*x[4]*x[1] - k[15]*x[6]),
  Diff(x[2], t) = k[23]*x[6] - (k[25]*x[2] + k[30]*x[11]*x[2] - k[31]*x[12] + k[33]*x[9]*x[2] - k[34]*x[10]),
  Diff(x[3], t) = (-1)*(k[6]*x[3]*piecewise(And(t < k[3] + 3/20, t >= k[3]), k[2]/(1 + exp((-80)*(t - k[3] - 1/20))), t >= k[3] + 3/20, k[2], 0) - k[6]*k[8]*x[4] + k[10]*x[3]*x[1] - k[10]*k[12]*x[5]),
  Diff(x[4], t) = k[6]*x[3]*piecewise(And(t < k[3] + 3/20, t >= k[3]), k[2]/(1 + exp((-80)*(t - k[3] - 1/20))), t >= k[3] + 3/20, k[2], 0) - k[6]*k[8]*x[4] + k[23]*x[6] - (k[14]*x[4]*x[1] - k[15]*x[6]),
  Diff(x[5], t) = k[10]*x[3]*x[1] - k[10]*k[12]*x[5] - (k[17]*piecewise(And(t < k[3] + 3/20, t >= k[3]), k[2]/(1 + exp((-80)*(t - k[3] - 1/20))), t >= k[3] + 3/20, k[2], 0)*x[5] - k[17]*k[19]*x[6]),
  Diff(x[6], t) = k[14]*x[4]*x[1] - k[15]*x[6] - k[21]*x[6] + k[17]*piecewise(And(t < k[3] + 3/20, t >= k[3]), k[2]/(1 + exp((-80)*(t - k[3] - 1/20))), t >= k[3] + 3/20, k[2], 0)*x[5] - k[17]*k[19]*x[6] - k[23]*x[6],
  Diff(x[7], t) = k[21]*x[6],
  Diff(x[8], t) = 1/(k[54]*3011/5)/(1/(k[54]*k[55]))*(k[44]*x[9]*k[4]/(k[45]/(1/(k[54]*3011/5)/(1/(k[54]*k[55]))) + k[4]) + k[47]*x[10]*k[4]/(k[48]/(1/(k[54]*3011/5)/(1/(k[54]*k[55]))) + k[4])) - k[50]*x[8],
  Diff(x[9], t) = k[27]*x[11]*x[13] - k[28]*x[9] + k[40]*x[10] - (k[33]*x[9]*x[2] - k[34]*x[10]),
  Diff(x[10], t) = k[33]*x[9]*x[2] - k[34]*x[10] + k[36]*x[12]*x[13] - k[36]*k[38]*x[10] - k[40]*x[10],
  Diff(x[11], t) = k[42]*x[12] - (k[30]*x[11]*x[2] - k[31]*x[12] + k[27]*x[11]*x[13] - k[28]*x[9]),
  Diff(x[12], t) = k[30]*x[11]*x[2] - k[31]*x[12] - (k[36]*x[12]*x[13] - k[36]*k[38]*x[10] + k[42]*x[12]),
  Diff(x[13], t) = 1/(k[54]*3011/5)/(1/(k[54]*k[55]))*(-1)*(k[27]*x[11]*x[13] - k[28]*x[9] + k[36]*x[12]*x[13] - k[36]*k[38]*x[10]) ]