{ diff(x1, t) = ((-1)*k56*k1*x1*x24 + 1*k56*k2*x2*x6)/k56,
  diff(x2, t) = (1*k56*k1*x1*x24 + (-1)*k56*k2*x2*x6)/k56,
  diff(x3, t) = ((-1)*k56*k3*x3 + 1*k56*k4*x4*x21 + 1*k56*k5*x4*x22)/k56,
  diff(x4, t) = (1*k56*k3*x3 + (-1)*k56*k4*x4*x21 + (-1)*k56*k5*x4*x22)/k56,
  diff(x5, t) = ((-1)*k56*k6*x5*x25 + (-1)*k56*k7*x5*x25*x2 + 1*k56*k8*x6*x4 + (-1)*k56*k29*x5*x25*x17)/k56,
  diff(x6, t) = (1*k56*k6*x5*x25 + 1*k56*k7*x5*x25*x2 + (-1)*k56*k8*x6*x4 + 1*k56*k29*x5*x25*x17)/k56,
  diff(x7, t) = (1*k56*k9*x8*x4 + (-1)*k56*k10*x7*x6)/k56,
  diff(x8, t) = ((-1)*k56*k11*x8*x2 + 1*k56*k12*x9*x13 + 1*k56*k14)/k56,
  diff(x9, t) = (1*k56*k11*x8*x2 + (-1)*k56*k12*x9*x13 + (-1)*k56*k13*x9)/k56,
  diff(x10, t) = (1*k56*k15*x15*x8 + (-1)*k56*k16*x10*x2)/k56,
  diff(x11, t) = (1*k56*k17*x15*x8 + (-1)*k56*k18*x11*x2)/k56,
  diff(x12, t) = ((-1)*k56*k25*x12*x14 + 1*k56*k26*x13)/k56,
  diff(x13, t) = (1*k56*k25*x12*x14 + (-1)*k56*k26*x13)/k56,
  diff(x14, t) = (1*k56*k22*x21 + 1*k56*k23*x22 + (-1)*k56*k24*x14)/k56,
  diff(x15, t) = (1*k56*k19*x26 + 1*k56*k21*x14 + (-1)*k56*k20*x15)/k56,
  diff(x16, t) = (1*k56*k30*x14 + 1*k56*k31*x7 + (-1)*k56*k32*x16)/k56,
  diff(x17, t) = (1*k56*k27*x14 + (-1)*k56*k28*x17)/k56,
  diff(x18, t) = (1*k56*k33*x20*x6 + 1*k56*k34*x20*x6 + (-1)*k56*k35*x18*x7 + (-1)*k56*k37*x18*x10)/k56,
  diff(x19, t) = ((-1)*k56*k36*x19*x7 + 1*k56*k37*x18*x10)/k56,
  diff(x20, t) = ((-1)*k56*k33*x20*x6 + (-1)*k56*k34*x20*x6 + 1*k56*k35*x18*x7 + 1*k56*k36*x19*x7)/k56,
  diff(x21, t) = (1*k56*k38*x18 + (-1)*k56*k40*x21)/k56,
  diff(x22, t) = (1*k56*k39*x19 + (-1)*k56*k41*x22)/k56,
  diff(x23, t) = (1*k56*k10*x7*x6 + 1*k56*k13*x9 + 1*k56*k16*x10*x2 + 1*k56*k18*x11*x2 + 1*k56*k20*x15 + 1*k56*k24*x14 + 1*k56*k40*x21 + 1*k56*k41*x22 + 1*k56*k28*x17)/k56 }