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