{ diff(x1, t) = (-1)*(k2*x1 - k1*x7)/k173,
  diff(x2, t) = ((-1)*(k4*x2 - k3*x7) + (-1)*(k6*x2 - k5*x8) + (-1)*(k8*x2 - k7*x9))/k173,
  diff(x3, t) = ((-1)*(k16*x3 - k15*x9) + (-1)*(k18*x3 - k17*x7))/k173,
  diff(x4, t) = (-1)*(k20*x4 - k19*x7)/k173,
  diff(x5, t) = (-1)*(k22*x5 - k21*x7)/k173,
  diff(x6, t) = ((-1)*(k10*x6 - k9*x12) + (-1)*(k12*x6 - k11*x11) + (-1)*(k14*x6 - k13*x10))/k173,
  diff(x7, t) = (1*(k2*x1 - k1*x7) + 1*(k4*x2 - k3*x7) + 1*(k18*x3 - k17*x7) + 1*(k20*x4 - k19*x7) + 1*(k22*x5 - k21*x7) + (-1)*(k26*x7 - k25*x13) + (-1)*(k36*x7 - k35*x15))/k174,
  diff(x8, t) = (1*(k6*x2 - k5*x8) + (-1)*(k28*x8 - k27*x13))/k174,
  diff(x9, t) = (1*(k8*x2 - k7*x9) + 1*(k16*x3 - k15*x9) + (-1)*(k30*x9 - k29*x13))/k174,
  diff(x10, t) = (1*(k14*x6 - k13*x10) + (-1)*(k32*x10 - k31*x13))/k174,
  diff(x11, t) = (1*(k12*x6 - k11*x11) + (-1)*(k40*x11 - k39*x16))/k174,
  diff(x12, t) = (1*(k10*x6 - k9*x12) + (-1)*(k42*x12 - k41*x16))/k174,
  diff(x13, t) = ((-1)*(k24*x13 - k23*x14) + 1*(k26*x7 - k25*x13) + 1*(k28*x8 - k27*x13) + 1*(k30*x9 - k29*x13) + 1*(k32*x10 - k31*x13))/k174,
  diff(x14, t) = (1*(k24*x13 - k23*x14) + (-1)*(k34*x14 - k33*x15) + (-1)*(k38*x14 - k37*x16) + (-1)*(k46*x14 - k45*x17))/k174,
  diff(x15, t) = (1*(k34*x14 - k33*x15) + 1*(k36*x7 - k35*x15) + (-1)*(k68*x15 - k67*x21) + (-1)*(k70*x15 - k69*x22))/k174,
  diff(x16, t) = (1*(k38*x14 - k37*x16) + 1*(k40*x11 - k39*x16) + 1*(k42*x12 - k41*x16) + (-1)*(k72*x16 - k71*x28))/k174,
  diff(x17, t) = ((-1)*(k44*x17 - k43*x18) + 1*(k46*x14 - k45*x17))/k174,
  diff(x18, t) = (1*(k44*x17 - k43*x18) + (-1)*(k48*x18 - k47*x21) + (-1)*(k50*x18 - k49*x22) + (-1)*(k52*x18 - k51*x23) + (-1)*(k54*x18 - k53*x24) + (-1)*(k56*x18 - k55*x25) + (-1)*(k58*x18 - k57*x26) + (-1)*(k60*x18 - k59*x27) + (-1)*(k62*x18 - k61*x28) + (-1)*(k66*x18 - k65*x19))/k174,
  diff(x19, t) = ((-1)*(k64*x19 - k63*x20) + 1*(k66*x18 - k65*x19))/k174,
  diff(x20, t) = (1*(k64*x19 - k63*x20) + (-1)*(k74*x20 - k73*x29) + (-1)*(k76*x20 - k75*x30) + (-1)*(k78*x20 - k77*x31) + (-1)*(k80*x20 - k79*x32) + (-1)*(k132*x20 - k131*x56) + (-1)*(k134*x20 - k133*x49) + (-1)*(k136*x20 - k135*x51) + (-1)*(k138*x20 - k137*x53) + (-1)*(k140*x20 - k139*x54) + (-1)*(k142*x20 - k141*x55))/k174,
  diff(x21, t) = (1*(k48*x18 - k47*x21) + 1*(k68*x15 - k67*x21))/k174,
  diff(x22, t) = (1*(k50*x18 - k49*x22) + 1*(k70*x15 - k69*x22) + (-1)*(k82*x22 - k81*x30) + (-1)*(k84*x22 - k83*x31) + (-1)*(k86*x22 - k85*x32))/k174,
  diff(x23, t) = 1*(k52*x18 - k51*x23)/k174,
  diff(x24, t) = 1*(k54*x18 - k53*x24)/k174,
  diff(x25, t) = 1*(k56*x18 - k55*x25)/k174,
  diff(x26, t) = 1*(k58*x18 - k57*x26)/k174,
  diff(x27, t) = 1*(k60*x18 - k59*x27)/k174,
  diff(x28, t) = (1*(k62*x18 - k61*x28) + 1*(k72*x16 - k71*x28) + (-1)*(k88*x28 - k87*x30))/k174,
  diff(x29, t) = (1*(k74*x20 - k73*x29) + (-1)*(k110*x29 - k109*x37) + (-1)*(k112*x29 - k111*x33))/k174,
  diff(x30, t) = (1*(k76*x20 - k75*x30) + 1*(k82*x22 - k81*x30) + 1*(k88*x28 - k87*x30) + (-1)*(k114*x30 - k113*x35) + (-1)*(k116*x30 - k115*x41) + (-1)*(k118*x30 - k117*x47) + (-1)*(k158*x30 - k157*x43))/k174,
  diff(x31, t) = (1*(k78*x20 - k77*x31) + 1*(k84*x22 - k83*x31) + (-1)*(k120*x31 - k119*x33) + (-1)*(k122*x31 - k121*x45) + (-1)*(k124*x31 - k123*x39))/k174,
  diff(x32, t) = (1*(k80*x20 - k79*x32) + 1*(k86*x22 - k85*x32) + (-1)*(k126*x32 - k125*x47) + (-1)*(k128*x32 - k127*x45) + (-1)*(k130*x32 - k129*x35))/k174,
  diff(x33, t) = ((-1)*(k90*x33 - k89*x34) + 1*(k112*x29 - k111*x33) + 1*(k120*x31 - k119*x33))/k175,
  diff(x34, t) = (1*(k90*x33 - k89*x34) + (-1)*(k170*x34 - k169*x57))/k175,
  diff(x35, t) = ((-1)*(k92*x35 - k91*x36) + 1*(k114*x30 - k113*x35) + 1*(k130*x32 - k129*x35))/k175,
  diff(x36, t) = (1*(k92*x35 - k91*x36) + (-1)*(k168*x36 - k167*x57))/k175,
  diff(x37, t) = ((-1)*(k94*x37 - k93*x38) + 1*(k110*x29 - k109*x37))/k175,
  diff(x38, t) = (1*(k94*x37 - k93*x38) + (-1)*(k166*x38 - k165*x57))/k175,
  diff(x39, t) = ((-1)*(k96*x39 - k95*x40) + 1*(k124*x31 - k123*x39))/k175,
  diff(x40, t) = (1*(k96*x39 - k95*x40) + (-1)*(k144*x40 - k143*x57))/k175,
  diff(x41, t) = ((-1)*(k98*x41 - k97*x42) + 1*(k116*x30 - k115*x41))/k175,
  diff(x42, t) = (1*(k98*x41 - k97*x42) + (-1)*(k162*x42 - k161*x57))/k175,
  diff(x43, t) = ((-1)*(k100*x43 - k99*x44) + 1*(k158*x30 - k157*x43))/k175,
  diff(x44, t) = (1*(k100*x43 - k99*x44) + (-1)*(k164*x44 - k163*x57))/k175,
  diff(x45, t) = ((-1)*(k102*x45 - k101*x46) + 1*(k122*x31 - k121*x45) + 1*(k128*x32 - k127*x45))/k175,
  diff(x46, t) = (1*(k102*x45 - k101*x46) + (-1)*(k172*x46 - k171*x57))/k175,
  diff(x47, t) = ((-1)*(k104*x47 - k103*x48) + 1*(k118*x30 - k117*x47) + 1*(k126*x32 - k125*x47))/k175,
  diff(x48, t) = (1*(k104*x47 - k103*x48) + (-1)*(k156*x48 - k155*x57))/k175,
  diff(x49, t) = ((-1)*(k106*x49 - k105*x50) + 1*(k134*x20 - k133*x49))/k175,
  diff(x50, t) = (1*(k106*x49 - k105*x50) + (-1)*(k152*x50 - k151*x57))/k175,
  diff(x51, t) = ((-1)*(k108*x51 - k107*x52) + 1*(k136*x20 - k135*x51))/k175,
  diff(x52, t) = (1*(k108*x51 - k107*x52) + (-1)*(k150*x52 - k149*x57))/k175,
  diff(x53, t) = (1*(k138*x20 - k137*x53) + (-1)*(k146*x53 - k145*x57))/k175,
  diff(x54, t) = (1*(k140*x20 - k139*x54) + (-1)*(k148*x54 - k147*x57))/k175,
  diff(x55, t) = (1*(k142*x20 - k141*x55) + (-1)*(k160*x55 - k159*x57))/k175,
  diff(x56, t) = (1*(k132*x20 - k131*x56) + (-1)*(k154*x56 - k153*x57))/k175,
  diff(x57, t) = (1*(k144*x40 - k143*x57) + 1*(k146*x53 - k145*x57) + 1*(k148*x54 - k147*x57) + 1*(k150*x52 - k149*x57) + 1*(k152*x50 - k151*x57) + 1*(k154*x56 - k153*x57) + 1*(k156*x48 - k155*x57) + 1*(k160*x55 - k159*x57) + 1*(k162*x42 - k161*x57) + 1*(k164*x44 - k163*x57) + 1*(k166*x38 - k165*x57) + 1*(k168*x36 - k167*x57) + 1*(k170*x34 - k169*x57) + 1*(k172*x46 - k171*x57))/k173 }