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