SSM-Thom polynomials for l=3

+t^0*( 1 )
+t^4*( -c[4] )
+t^5*( c[1]*c[4] +3*c[5] )
+t^6*( -c[1]^2*c[4] -4*c[1]*c[5] +c[2]*c[4] -6*c[6] )
+t^7*( c[1]^3*c[4] +5*c[1]^2*c[5] -2*c[1]*c[2]*c[4] +10*c[1]*c[6] -5*c[2]*c[5] +c[3]*c[4] +10*c[7] )
+t^8*( -c[1]^4*c[4] -6*c[1]^3*c[5] +3*c[1]^2*c[2]*c[4] -15*c[1]^2*c[6] +12*c[1]*c[2]*c[5] -2*c[1]*c[3]*c[4] -c[2]^2*c[4] -20*c[1]*c[7] +15*c[2]*c[6] -6*c[3]*c[5] +c[4]^2 -15*c[8] )
+t^9*( c[1]^5*c[4] +7*c[1]^4*c[5] -4*c[1]^3*c[2]*c[4] +21*c[1]^3*c[6] -21*c[1]^2*c[2]*c[5] +3*c[1]^2*c[3]*c[4] +3*c[1]*c[2]^2*c[4] +35*c[1]^2*c[7] -42*c[1]*c[2]*c[6] +14*c[1]*c[3]*c[5] -2*c[1]*c[4]^2 +7*c[2]^2*c[5] -2*c[2]*c[3]*c[4] +35*c[1]*c[8] -35*c[2]*c[7] +21*c[3]*c[6] -6*c[4]*c[5] +21*c[9] )
+t^10*( -c[1]^6*c[4] -8*c[1]^5*c[5] +5*c[1]^4*c[2]*c[4] -28*c[1]^4*c[6] +32*c[1]^3*c[2]*c[5] -4*c[1]^3*c[3]*c[4] -6*c[1]^2*c[2]^2*c[4] -56*c[1]^3*c[7] +84*c[1]^2*c[2]*c[6] -24*c[1]^2*c[3]*c[5] +3*c[1]^2*c[4]^2 -24*c[1]*c[2]^2*c[5] +6*c[1]*c[2]*c[3]*c[4] +c[2]^3*c[4] -70*c[1]^2*c[8] +112*c[1]*c[2]*c[7] -56*c[1]*c[3]*c[6] +14*c[1]*c[4]*c[5] -28*c[2]^2*c[6] +16*c[2]*c[3]*c[5] -2*c[2]*c[4]^2 -c[3]^2*c[4] -56*c[1]*c[9] +70*c[2]*c[8] -56*c[3]*c[7] +28*c[4]*c[6] -7*c[5]^2 -28*c[10] )
+t^11*( c[1]^7*c[4] +9*c[1]^6*c[5] -6*c[1]^5*c[2]*c[4] +36*c[1]^5*c[6] -45*c[1]^4*c[2]*c[5] +5*c[1]^4*c[3]*c[4] +10*c[1]^3*c[2]^2*c[4] +84*c[1]^4*c[7] -144*c[1]^3*c[2]*c[6] +36*c[1]^3*c[3]*c[5] -4*c[1]^3*c[4]^2 +54*c[1]^2*c[2]^2*c[5] -12*c[1]^2*c[2]*c[3]*c[4] -4*c[1]*c[2]^3*c[4] +126*c[1]^3*c[8] -252*c[1]^2*c[2]*c[7] +108*c[1]^2*c[3]*c[6] -24*c[1]^2*c[4]*c[5] +108*c[1]*c[2]^2*c[6] -54*c[1]*c[2]*c[3]*c[5] +6*c[1]*c[2]*c[4]^2 +3*c[1]*c[3]^2*c[4] -9*c[2]^3*c[5] +3*c[2]^2*c[3]*c[4] +126*c[1]^2*c[9] -252*c[1]*c[2]*c[8] +168*c[1]*c[3]*c[7] -72*c[1]*c[4]*c[6] +16*c[1]*c[5]^2 +84*c[2]^2*c[7] -72*c[2]*c[3]*c[6] +16*c[2]*c[4]*c[5] +9*c[3]^2*c[5] -2*c[3]*c[4]^2 +84*c[1]*c[10] -126*c[2]*c[9] +126*c[3]*c[8] -80*c[4]*c[7] +24*c[5]*c[6] +36*c[11] )
+t^12*( -c[1]^8*c[4] -10*c[1]^7*c[5] +7*c[1]^6*c[2]*c[4] -45*c[1]^6*c[6] +60*c[1]^5*c[2]*c[5] -6*c[1]^5*c[3]*c[4] -15*c[1]^4*c[2]^2*c[4] -120*c[1]^5*c[7] +225*c[1]^4*c[2]*c[6] -50*c[1]^4*c[3]*c[5] +5*c[1]^4*c[4]^2 -100*c[1]^3*c[2]^2*c[5] +20*c[1]^3*c[2]*c[3]*c[4] +10*c[1]^2*c[2]^3*c[4] -210*c[1]^4*c[8] +480*c[1]^3*c[2]*c[7] -180*c[1]^3*c[3]*c[6] +36*c[1]^3*c[4]*c[5] -270*c[1]^2*c[2]^2*c[6] +120*c[1]^2*c[2]*c[3]*c[5] -12*c[1]^2*c[2]*c[4]^2 -6*c[1]^2*c[3]^2*c[4] +40*c[1]*c[2]^3*c[5] -12*c[1]*c[2]^2*c[3]*c[4] -c[2]^4*c[4] -252*c[1]^3*c[9] +630*c[1]^2*c[2]*c[8] -360*c[1]^2*c[3]*c[7] +135*c[1]^2*c[4]*c[6] -27*c[1]^2*c[5]^2 -360*c[1]*c[2]^2*c[7] +270*c[1]*c[2]*c[3]*c[6] -54*c[1]*c[2]*c[4]*c[5] -30*c[1]*c[3]^2*c[5] +6*c[1]*c[3]*c[4]^2 +45*c[2]^3*c[6] -30*c[2]^2*c[3]*c[5] +3*c[2]^2*c[4]^2 +3*c[2]*c[3]^2*c[4] -210*c[1]^2*c[10] +504*c[1]*c[2]*c[9] -420*c[1]*c[3]*c[8] +231*c[1]*c[4]*c[7] -63*c[1]*c[5]*c[6] -210*c[2]^2*c[8] +240*c[2]*c[3]*c[7] -90*c[2]*c[4]*c[6] +18*c[2]*c[5]^2 -45*c[3]^2*c[6] +18*c[3]*c[4]*c[5] -c[4]^3 -120*c[1]*c[11] +210*c[2]*c[10] -252*c[3]*c[9] +204*c[4]*c[8] -123*c[5]*c[7] +45*c[6]^2 -45*c[12] )
+t^13*( c[1]^9*c[4] +11*c[1]^8*c[5] -8*c[1]^7*c[2]*c[4] +55*c[1]^7*c[6] -77*c[1]^6*c[2]*c[5] +7*c[1]^6*c[3]*c[4] +21*c[1]^5*c[2]^2*c[4] +165*c[1]^6*c[7] -330*c[1]^5*c[2]*c[6] +66*c[1]^5*c[3]*c[5] -6*c[1]^5*c[4]^2 +165*c[1]^4*c[2]^2*c[5] -30*c[1]^4*c[2]*c[3]*c[4] -20*c[1]^3*c[2]^3*c[4] +330*c[1]^5*c[8] -825*c[1]^4*c[2]*c[7] +275*c[1]^4*c[3]*c[6] -50*c[1]^4*c[4]*c[5] +550*c[1]^3*c[2]^2*c[6] -220*c[1]^3*c[2]*c[3]*c[5] +20*c[1]^3*c[2]*c[4]^2 +10*c[1]^3*c[3]^2*c[4] -110*c[1]^2*c[2]^3*c[5] +30*c[1]^2*c[2]^2*c[3]*c[4] +5*c[1]*c[2]^4*c[4] +462*c[1]^4*c[9] -1320*c[1]^3*c[2]*c[8] +660*c[1]^3*c[3]*c[7] -220*c[1]^3*c[4]*c[6] +40*c[1]^3*c[5]^2 +990*c[1]^2*c[2]^2*c[7] -660*c[1]^2*c[2]*c[3]*c[6] +120*c[1]^2*c[2]*c[4]*c[5] +66*c[1]^2*c[3]^2*c[5] -12*c[1]^2*c[3]*c[4]^2 -220*c[1]*c[2]^3*c[6] +132*c[1]*c[2]^2*c[3]*c[5] -12*c[1]*c[2]^2*c[4]^2 -12*c[1]*c[2]*c[3]^2*c[4] +11*c[2]^4*c[5] -4*c[2]^3*c[3]*c[4] +462*c[1]^3*c[10] -1386*c[1]^2*c[2]*c[9] +990*c[1]^2*c[3]*c[8] -480*c[1]^2*c[4]*c[7] +120*c[1]^2*c[5]*c[6] +990*c[1]*c[2]^2*c[8] -990*c[1]*c[2]*c[3]*c[7] +330*c[1]*c[2]*c[4]*c[6] -60*c[1]*c[2]*c[5]^2 +165*c[1]*c[3]^2*c[6] -60*c[1]*c[3]*c[4]*c[5] +3*c[1]*c[4]^3 -165*c[2]^3*c[7] +165*c[2]^2*c[3]*c[6] -30*c[2]^2*c[4]*c[5] -33*c[2]*c[3]^2*c[5] +6*c[2]*c[3]*c[4]^2 +c[3]^3*c[4] +330*c[1]^2*c[11] -924*c[1]*c[2]*c[10] +924*c[1]*c[3]*c[9] -644*c[1]*c[4]*c[8] +336*c[1]*c[5]*c[7] -112*c[1]*c[6]^2 +462*c[2]^2*c[9] -660*c[2]*c[3]*c[8] +320*c[2]*c[4]*c[7] -80*c[2]*c[5]*c[6] +165*c[3]^2*c[7] -110*c[3]*c[4]*c[6] +20*c[3]*c[5]^2 +9*c[4]^2*c[5] +165*c[1]*c[12] -330*c[2]*c[11] +462*c[3]*c[10] -448*c[4]*c[9] +308*c[5]*c[8] -112*c[6]*c[7] +55*c[13] )
+t^14*( -c[1]^10*c[4] -12*c[1]^9*c[5] +9*c[1]^8*c[2]*c[4] -66*c[1]^8*c[6] +96*c[1]^7*c[2]*c[5] -8*c[1]^7*c[3]*c[4] -28*c[1]^6*c[2]^2*c[4] -220*c[1]^7*c[7] +462*c[1]^6*c[2]*c[6] -84*c[1]^6*c[3]*c[5] +7*c[1]^6*c[4]^2 -252*c[1]^5*c[2]^2*c[5] +42*c[1]^5*c[2]*c[3]*c[4] +35*c[1]^4*c[2]^3*c[4] -495*c[1]^6*c[8] +1320*c[1]^5*c[2]*c[7] -396*c[1]^5*c[3]*c[6] +66*c[1]^5*c[4]*c[5] -990*c[1]^4*c[2]^2*c[6] +360*c[1]^4*c[2]*c[3]*c[5] -30*c[1]^4*c[2]*c[4]^2 -15*c[1]^4*c[3]^2*c[4] +240*c[1]^3*c[2]^3*c[5] -60*c[1]^3*c[2]^2*c[3]*c[4] -15*c[1]^2*c[2]^4*c[4] -792*c[1]^5*c[9] +2475*c[1]^4*c[2]*c[8] -1100*c[1]^4*c[3]*c[7] +330*c[1]^4*c[4]*c[6] -55*c[1]^4*c[5]^2 -2200*c[1]^3*c[2]^2*c[7] +1320*c[1]^3*c[2]*c[3]*c[6] -220*c[1]^3*c[2]*c[4]*c[5] -120*c[1]^3*c[3]^2*c[5] +20*c[1]^3*c[3]*c[4]^2 +660*c[1]^2*c[2]^3*c[6] -360*c[1]^2*c[2]^2*c[3]*c[5] +30*c[1]^2*c[2]^2*c[4]^2 +30*c[1]^2*c[2]*c[3]^2*c[4] -60*c[1]*c[2]^4*c[5] +20*c[1]*c[2]^3*c[3]*c[4] +c[2]^5*c[4] -924*c[1]^4*c[10] +3168*c[1]^3*c[2]*c[9] -1980*c[1]^3*c[3]*c[8] +858*c[1]^3*c[4]*c[7] -198*c[1]^3*c[5]*c[6] -2970*c[1]^2*c[2]^2*c[8] +2640*c[1]^2*c[2]*c[3]*c[7] -792*c[1]^2*c[2]*c[4]*c[6] +132*c[1]^2*c[2]*c[5]^2 -396*c[1]^2*c[3]^2*c[6] +132*c[1]^2*c[3]*c[4]*c[5] -6*c[1]^2*c[4]^3 +880*c[1]*c[2]^3*c[7] -792*c[1]*c[2]^2*c[3]*c[6] +132*c[1]*c[2]^2*c[4]*c[5] +144*c[1]*c[2]*c[3]^2*c[5] -24*c[1]*c[2]*c[3]*c[4]^2 -4*c[1]*c[3]^3*c[4] -66*c[2]^4*c[6] +48*c[2]^3*c[3]*c[5] -4*c[2]^3*c[4]^2 -6*c[2]^2*c[3]^2*c[4] -792*c[1]^3*c[11] +2772*c[1]^2*c[2]*c[10] -2376*c[1]^2*c[3]*c[9] +1454*c[1]^2*c[4]*c[8] -668*c[1]^2*c[5]*c[7] +204*c[1]^2*c[6]^2 -2376*c[1]*c[2]^2*c[9] +2970*c[1]*c[2]*c[3]*c[8] -1287*c[1]*c[2]*c[4]*c[7] +297*c[1]*c[2]*c[5]*c[6] -660*c[1]*c[3]^2*c[7] +396*c[1]*c[3]*c[4]*c[6] -66*c[1]*c[3]*c[5]^2 -30*c[1]*c[4]^2*c[5] +495*c[2]^3*c[8] -660*c[2]^2*c[3]*c[7] +198*c[2]^2*c[4]*c[6] -33*c[2]^2*c[5]^2 +198*c[2]*c[3]^2*c[6] -66*c[2]*c[3]*c[4]*c[5] +3*c[2]*c[4]^3 -12*c[3]^3*c[5] +3*c[3]^2*c[4]^2 -495*c[1]^2*c[12] +1584*c[1]*c[2]*c[11] -1848*c[1]*c[3]*c[10] +1545*c[1]*c[4]*c[9] -939*c[1]*c[5]*c[8] +318*c[1]*c[6]*c[7] -924*c[2]^2*c[10] +1584*c[2]*c[3]*c[9] -969*c[2]*c[4]*c[8] +444*c[2]*c[5]*c[7] -135*c[2]*c[6]^2 -495*c[3]^2*c[8] +429*c[3]*c[4]*c[7] -99*c[3]*c[5]*c[6] -66*c[4]^2*c[6] +21*c[4]*c[5]^2 -220*c[1]*c[13] +495*c[2]*c[12] -792*c[3]*c[11] +903*c[4]*c[10] -783*c[5]*c[9] +549*c[6]*c[8] -207*c[7]^2 -66*c[14] )
+t^15*( c[1]^11*c[4] +13*c[1]^10*c[5] -10*c[1]^9*c[2]*c[4] +78*c[1]^9*c[6] -117*c[1]^8*c[2]*c[5] +9*c[1]^8*c[3]*c[4] +36*c[1]^7*c[2]^2*c[4] +286*c[1]^8*c[7] -624*c[1]^7*c[2]*c[6] +104*c[1]^7*c[3]*c[5] -8*c[1]^7*c[4]^2 +364*c[1]^6*c[2]^2*c[5] -56*c[1]^6*c[2]*c[3]*c[4] -56*c[1]^5*c[2]^3*c[4] +715*c[1]^7*c[8] -2002*c[1]^6*c[2]*c[7] +546*c[1]^6*c[3]*c[6] -84*c[1]^6*c[4]*c[5] +1638*c[1]^5*c[2]^2*c[6] -546*c[1]^5*c[2]*c[3]*c[5] +42*c[1]^5*c[2]*c[4]^2 +21*c[1]^5*c[3]^2*c[4] -455*c[1]^4*c[2]^3*c[5] +105*c[1]^4*c[2]^2*c[3]*c[4] +35*c[1]^3*c[2]^4*c[4] +1287*c[1]^6*c[9] -4290*c[1]^5*c[2]*c[8] +1716*c[1]^5*c[3]*c[7] -468*c[1]^5*c[4]*c[6] +72*c[1]^5*c[5]^2 +4290*c[1]^4*c[2]^2*c[7] -2340*c[1]^4*c[2]*c[3]*c[6] +360*c[1]^4*c[2]*c[4]*c[5] +195*c[1]^4*c[3]^2*c[5] -30*c[1]^4*c[3]*c[4]^2 -1560*c[1]^3*c[2]^3*c[6] +780*c[1]^3*c[2]^2*c[3]*c[5] -60*c[1]^3*c[2]^2*c[4]^2 -60*c[1]^3*c[2]*c[3]^2*c[4] +195*c[1]^2*c[2]^4*c[5] -60*c[1]^2*c[2]^3*c[3]*c[4] -6*c[1]*c[2]^5*c[4] +1716*c[1]^5*c[10] -6435*c[1]^4*c[2]*c[9] +3575*c[1]^4*c[3]*c[8] -1400*c[1]^4*c[4]*c[7] +300*c[1]^4*c[5]*c[6] +7150*c[1]^3*c[2]^2*c[8] -5720*c[1]^3*c[2]*c[3]*c[7] +1560*c[1]^3*c[2]*c[4]*c[6] -240*c[1]^3*c[2]*c[5]^2 +780*c[1]^3*c[3]^2*c[6] -240*c[1]^3*c[3]*c[4]*c[5] +10*c[1]^3*c[4]^3 -2860*c[1]^2*c[2]^3*c[7] +2340*c[1]^2*c[2]^2*c[3]*c[6] -360*c[1]^2*c[2]^2*c[4]*c[5] -390*c[1]^2*c[2]*c[3]^2*c[5] +60*c[1]^2*c[2]*c[3]*c[4]^2 +10*c[1]^2*c[3]^3*c[4] +390*c[1]*c[2]^4*c[6] -260*c[1]*c[2]^3*c[3]*c[5] +20*c[1]*c[2]^3*c[4]^2 +30*c[1]*c[2]^2*c[3]^2*c[4] -13*c[2]^5*c[5] +5*c[2]^4*c[3]*c[4] +1716*c[1]^4*c[11] -6864*c[1]^3*c[2]*c[10] +5148*c[1]^3*c[3]*c[9] -2808*c[1]^3*c[4]*c[8] +1152*c[1]^3*c[5]*c[7] -324*c[1]^3*c[6]^2 +7722*c[1]^2*c[2]^2*c[9] -8580*c[1]^2*c[2]*c[3]*c[8] +3360*c[1]^2*c[2]*c[4]*c[7] -720*c[1]^2*c[2]*c[5]*c[6] +1716*c[1]^2*c[3]^2*c[7] -936*c[1]^2*c[3]*c[4]*c[6] +144*c[1]^2*c[3]*c[5]^2 +66*c[1]^2*c[4]^2*c[5] -2860*c[1]*c[2]^3*c[8] +3432*c[1]*c[2]^2*c[3]*c[7] -936*c[1]*c[2]^2*c[4]*c[6] +144*c[1]*c[2]^2*c[5]^2 -936*c[1]*c[2]*c[3]^2*c[6] +288*c[1]*c[2]*c[3]*c[4]*c[5] -12*c[1]*c[2]*c[4]^3 +52*c[1]*c[3]^3*c[5] -12*c[1]*c[3]^2*c[4]^2 +286*c[2]^4*c[7] -312*c[2]^3*c[3]*c[6] +48*c[2]^3*c[4]*c[5] +78*c[2]^2*c[3]^2*c[5] -12*c[2]^2*c[3]*c[4]^2 -4*c[2]*c[3]^3*c[4] +1287*c[1]^3*c[12] -5148*c[1]^2*c[2]*c[11] +5148*c[1]^2*c[3]*c[10] -3781*c[1]^2*c[4]*c[9] +2055*c[1]^2*c[5]*c[8] -650*c[1]^2*c[6]*c[7] +5148*c[1]*c[2]^2*c[10] -7722*c[1]*c[2]*c[3]*c[9] +4211*c[1]*c[2]*c[4]*c[8] -1724*c[1]*c[2]*c[5]*c[7] +483*c[1]*c[2]*c[6]^2 +2145*c[1]*c[3]^2*c[8] -1680*c[1]*c[3]*c[4]*c[7] +360*c[1]*c[3]*c[5]*c[6] +234*c[1]*c[4]^2*c[6] -69*c[1]*c[4]*c[5]^2 -1287*c[2]^3*c[9] +2145*c[2]^2*c[3]*c[8] -840*c[2]^2*c[4]*c[7] +180*c[2]^2*c[5]*c[6] -858*c[2]*c[3]^2*c[7] +468*c[2]*c[3]*c[4]*c[6] -72*c[2]*c[3]*c[5]^2 -33*c[2]*c[4]^2*c[5] +78*c[3]^3*c[6] -36*c[3]^2*c[4]*c[5] +3*c[3]*c[4]^3 +715*c[1]^2*c[13] -2574*c[1]*c[2]*c[12] +3432*c[1]*c[3]*c[11] -3366*c[1]*c[4]*c[10] +2548*c[1]*c[5]*c[9] -1570*c[1]*c[6]*c[8] +540*c[1]*c[7]^2 +1716*c[2]^2*c[11] -3432*c[2]*c[3]*c[10] +2519*c[2]*c[4]*c[9] -1365*c[2]*c[5]*c[8] +430*c[2]*c[6]*c[7] +1287*c[3]^2*c[9] -1403*c[3]*c[4]*c[8] +572*c[3]*c[5]*c[7] -159*c[3]*c[6]^2 +274*c[4]^2*c[7] -120*c[4]*c[5]*c[6] +11*c[5]^3 +286*c[1]*c[14] -715*c[2]*c[13] +1287*c[3]*c[12] -1681*c[4]*c[11] +1669*c[5]*c[10] -1185*c[6]*c[9] +405*c[7]*c[8] +78*c[15] )
+t^16*( -780*c[1]^2*c[2]*c[3]*c[4]*c[5] -2184*c[1]*c[2]*c[3]*c[4]*c[6] -91*c[16] +c[4]^4 +973*c[8]^2 +840*c[1]^3*c[2]*c[3]^2*c[5] -420*c[1]*c[2]^2*c[3]^2*c[5] -546*c[1]^5*c[2]*c[4]*c[5] +780*c[1]^3*c[2]^2*c[4]*c[5] -260*c[1]*c[2]^3*c[4]*c[5] +390*c[1]^4*c[3]*c[4]*c[5] +156*c[2]^2*c[3]*c[4]*c[5] +156*c[1]*c[3]^2*c[4]*c[5] +144*c[1]*c[2]*c[4]^2*c[5] +312*c[1]*c[2]*c[3]*c[5]^2 +3822*c[1]^5*c[2]*c[3]*c[6] -5460*c[1]^3*c[2]^2*c[3]*c[6] +1820*c[1]*c[2]^3*c[3]*c[6] +2730*c[1]^2*c[2]*c[3]^2*c[6] -2730*c[1]^4*c[2]*c[4]*c[6] +2730*c[1]^2*c[2]^2*c[4]*c[6] +1820*c[1]^3*c[3]*c[4]*c[6] +1430*c[1]^3*c[2]*c[5]*c[6] -858*c[1]*c[2]^2*c[5]*c[6] -858*c[1]^2*c[3]*c[5]*c[6] +429*c[2]*c[3]*c[5]*c[6] +429*c[1]*c[4]*c[5]*c[6] +10920*c[1]^4*c[2]*c[3]*c[7] -10920*c[1]^2*c[2]^2*c[3]*c[7] +4368*c[1]*c[2]*c[3]^2*c[7] -7150*c[1]^3*c[2]*c[4]*c[7] +4290*c[1]*c[2]^2*c[4]*c[7] +4290*c[1]^2*c[3]*c[4]*c[7] -2145*c[2]*c[3]*c[4]*c[7] +4372*c[1]^2*c[2]*c[5]*c[7] -2178*c[1]*c[3]*c[5]*c[7] -1705*c[1]*c[2]*c[6]*c[7] +20020*c[1]^3*c[2]*c[3]*c[8] -12012*c[1]*c[2]^2*c[3]*c[8] -11818*c[1]^2*c[2]*c[4]*c[8] +5907*c[1]*c[3]*c[4]*c[8] +5775*c[1]*c[2]*c[5]*c[8] +24024*c[1]^2*c[2]*c[3]*c[9] -11792*c[1]*c[2]*c[4]*c[9] +18018*c[1]*c[2]*c[3]*c[10] +72*c[1]^7*c[2]*c[3]*c[4] -168*c[1]^5*c[2]^2*c[3]*c[4] +140*c[1]^3*c[2]^3*c[3]*c[4] -30*c[1]*c[2]^4*c[3]*c[4] +105*c[1]^4*c[2]*c[3]^2*c[4] -90*c[1]^2*c[2]^2*c[3]^2*c[4] +20*c[1]*c[2]*c[3]^3*c[4] -120*c[1]^3*c[2]*c[3]*c[4]^2 +60*c[1]*c[2]^2*c[3]*c[4]^2 +784*c[1]^6*c[2]*c[3]*c[5] -1470*c[1]^4*c[2]^2*c[3]*c[5] +840*c[1]^2*c[2]^3*c[3]*c[5] +11*c[1]^10*c[2]*c[4] -45*c[1]^8*c[2]^2*c[4] +84*c[1]^6*c[2]^3*c[4] -70*c[1]^4*c[2]^4*c[4] +21*c[1]^2*c[2]^5*c[4] -10*c[1]^9*c[3]*c[4] -28*c[1]^6*c[3]^2*c[4] +10*c[2]^3*c[3]^2*c[4] -20*c[1]^3*c[3]^3*c[4] -56*c[1]^6*c[2]*c[4]^2 +105*c[1]^4*c[2]^2*c[4]^2 -60*c[1]^2*c[2]^3*c[4]^2 +42*c[1]^5*c[3]*c[4]^2 +30*c[1]^2*c[3]^2*c[4]^2 -10296*c[1]^2*c[3]*c[11] +6864*c[2]*c[3]*c[11] +6748*c[1]*c[4]*c[11] +9009*c[1]^2*c[2]*c[12] -6006*c[1]*c[3]*c[12] +4004*c[1]*c[2]*c[13] -546*c[2]^2*c[3]^2*c[6] -364*c[1]*c[3]^3*c[6] +637*c[1]^6*c[4]*c[6] -364*c[2]^3*c[4]*c[6] +273*c[3]^2*c[4]*c[6] -546*c[1]^2*c[4]^2*c[6] +273*c[2]*c[4]^2*c[6] -429*c[1]^5*c[5]*c[6] -1134*c[1]^2*c[2]*c[6]^2 +561*c[1]*c[3]*c[6]^2 +2912*c[1]^7*c[2]*c[7] -7644*c[1]^5*c[2]^2*c[7] +7280*c[1]^3*c[2]^3*c[7] -1820*c[1]*c[2]^4*c[7] -2548*c[1]^6*c[3]*c[7] +1456*c[2]^3*c[3]*c[7] -3640*c[1]^3*c[3]^2*c[7] +2145*c[1]^5*c[4]*c[7] -1053*c[1]*c[4]^2*c[7] -1825*c[1]^4*c[5]*c[7] -1091*c[2]^2*c[5]*c[7] +709*c[4]*c[5]*c[7] +1144*c[1]^3*c[6]*c[7] +561*c[3]*c[6]*c[7] +7007*c[1]^6*c[2]*c[8] -15015*c[1]^4*c[2]^2*c[8] +10010*c[1]^2*c[2]^3*c[8] -12*c[2]*c[3]^2*c[4]^2 +30*c[1]^2*c[2]*c[4]^3 -12*c[1]*c[3]*c[4]^3 +140*c[1]^9*c[2]*c[5] -504*c[1]^7*c[2]^2*c[5] +784*c[1]^5*c[2]^3*c[5] -490*c[1]^3*c[2]^4*c[5] +84*c[1]*c[2]^5*c[5] -126*c[1]^8*c[3]*c[5] -70*c[2]^4*c[3]*c[5] -294*c[1]^5*c[3]^2*c[5] -140*c[1]^2*c[3]^3*c[5] +56*c[2]*c[3]^3*c[5] +104*c[1]^7*c[4]*c[5] -120*c[1]^3*c[4]^2*c[5] -36*c[3]*c[4]^2*c[5] +390*c[1]^4*c[2]*c[5]^2 -390*c[1]^2*c[2]^2*c[5]^2 -260*c[1]^3*c[3]*c[5]^2 +150*c[1]^2*c[4]*c[5]^2 -75*c[2]*c[4]*c[5]^2 +819*c[1]^8*c[2]*c[6] -2548*c[1]^6*c[2]^2*c[6] +3185*c[1]^4*c[2]^3*c[6] -1365*c[1]^2*c[2]^4*c[6] -728*c[1]^7*c[3]*c[6] -1365*c[1]^4*c[3]^2*c[6] -6006*c[1]^5*c[3]*c[8] -6006*c[1]^2*c[3]^2*c[8] +3003*c[2]*c[3]^2*c[8] +4925*c[1]^4*c[4]*c[8] +2954*c[2]^2*c[4]*c[8] -3861*c[1]^3*c[5]*c[8] -1914*c[3]*c[5]*c[8] +3268*c[1]^2*c[6]*c[8] -2172*c[2]*c[6]*c[8] -1202*c[1]*c[7]*c[8] +12012*c[1]^5*c[2]*c[9] -20020*c[1]^3*c[2]^2*c[9] +8008*c[1]*c[2]^3*c[9] -10010*c[1]^4*c[3]*c[9] -6006*c[2]^2*c[3]*c[9] -6006*c[1]*c[3]^2*c[9] +7865*c[1]^3*c[4]*c[9] +3927*c[3]*c[4]*c[9] -5947*c[1]^2*c[5]*c[9] +3951*c[2]*c[5]*c[9] +3774*c[1]*c[6]*c[9] +15015*c[1]^4*c[2]*c[10] -18018*c[1]^2*c[2]^2*c[10] -12012*c[1]^3*c[3]*c[10] +8858*c[1]^2*c[4]*c[10] -5900*c[2]*c[4]*c[10] -5888*c[1]*c[5]*c[10] +13728*c[1]^3*c[2]*c[11] -10296*c[1]*c[2]^2*c[11] -364*c[1]*c[15] -c[1]^12*c[4] -c[2]^6*c[4] -c[3]^4*c[4] +9*c[1]^8*c[4]^2 +5*c[2]^4*c[4]^2 -15*c[1]^4*c[4]^3 -6*c[2]^2*c[4]^3 -14*c[1]^11*c[5] -91*c[1]^6*c[5]^2 +52*c[2]^3*c[5]^2 -39*c[3]^2*c[5]^2 -36*c[1]*c[5]^3 -91*c[1]^10*c[6] +91*c[2]^5*c[6] -54*c[5]^2*c[6] +475*c[1]^4*c[6]^2 +282*c[2]^2*c[6]^2 -183*c[4]*c[6]^2 -364*c[1]^9*c[7] -364*c[3]^3*c[7] -1031*c[1]^2*c[7]^2 +689*c[2]*c[7]^2 -1001*c[1]^8*c[8] -1001*c[2]^4*c[8] -967*c[4]^2*c[8] -2002*c[1]^7*c[9] -2278*c[7]*c[9] -3003*c[1]^6*c[10] +3003*c[2]^3*c[10] -3003*c[3]^2*c[10] +3026*c[6]*c[10] -3432*c[1]^5*c[11] -3388*c[5]*c[11] -3003*c[1]^4*c[12] -3003*c[2]^2*c[12] +2954*c[4]*c[12] -2002*c[1]^3*c[13] -2002*c[3]*c[13] -1001*c[1]^2*c[14] +1001*c[2]*c[14] )

+t^0*( s[[0]] )
+t^4*( -s[[4]] )
+t^5*( 4*s[[5]] +s[[4,1]] )
+t^6*( -10*s[[6]] -5*s[[5,1]] -s[[4,1,1]] )
+t^7*( 20*s[[7]] +15*s[[6,1]] +6*s[[5,1,1]] +s[[4,1,1,1]] )
+t^8*( -s[[4,1,1,1,1]] -7*s[[5,1,1,1]] -21*s[[6,1,1]] -35*s[[7,1]] -35*s[[8]] )
+t^9*( s[[4,1,1,1,1,1]] +8*s[[5,1,1,1,1]] +28*s[[6,1,1,1]] +56*s[[7,1,1]] +70*s[[8,1]] +56*s[[9]] )
+t^10*( -s[[4,1,1,1,1,1,1]] -9*s[[5,1,1,1,1,1]] +s[[5,5]] -36*s[[6,1,1,1,1]] -84*s[[7,1,1,1]] -126*s[[8,1,1]] -126*s[[9,1]] -84*s[[10]] )
+t^11*( s[[4,1,1,1,1,1,1,1]] +10*s[[5,1,1,1,1,1,1]] -2*s[[5,5,1]] +45*s[[6,1,1,1,1,1]] -5*s[[6,5]] +120*s[[7,1,1,1,1]] +210*s[[8,1,1,1]] +252*s[[9,1,1]] +210*s[[10,1]] +120*s[[11]] )
+t^12*( -s[[4,1,1,1,1,1,1,1,1]] -11*s[[5,1,1,1,1,1,1,1]] +3*s[[5,5,1,1]] +s[[5,5,2]] -55*s[[6,1,1,1,1,1,1]] +11*s[[6,5,1]] +10*s[[6,6]] -165*s[[7,1,1,1,1,1]] +15*s[[7,5]] -330*s[[8,1,1,1,1]] -462*s[[9,1,1,1]] -462*s[[10,1,1]] -330*s[[11,1]] -165*s[[12]] )
+t^13*( 924*s[[10,1,1,1]] +792*s[[11,1,1]] +495*s[[12,1]] +220*s[[13]] +s[[4,1,1,1,1,1,1,1,1,1]] +12*s[[5,1,1,1,1,1,1,1,1]] -4*s[[5,5,1,1,1]] -2*s[[5,5,2,1]] +66*s[[6,1,1,1,1,1,1,1]] -18*s[[6,5,1,1]] -6*s[[6,5,2]] -24*s[[6,6,1]] +220*s[[7,1,1,1,1,1,1]] -36*s[[7,5,1]] -40*s[[7,6]] +495*s[[8,1,1,1,1,1]] -35*s[[8,5]] +792*s[[9,1,1,1,1]] )
+t^14*( -13*s[[5,1,1,1,1,1,1,1,1,1]] +5*s[[5,5,1,1,1,1]] +3*s[[5,5,2,1,1]] +s[[5,5,2,2]] -s[[4,1,1,1,1,1,1,1,1,1,1]] -78*s[[6,1,1,1,1,1,1,1,1]] +26*s[[6,5,1,1,1]] +13*s[[6,5,2,1]] +42*s[[6,6,1,1]] +15*s[[6,6,2]] -286*s[[7,1,1,1,1,1,1,1]] +64*s[[7,5,1,1]] +21*s[[7,5,2]] +104*s[[7,6,1]] +50*s[[7,7]] -715*s[[8,1,1,1,1,1,1]] +91*s[[8,5,1]] +105*s[[8,6]] -1287*s[[9,1,1,1,1,1]] +70*s[[9,5]] -1716*s[[10,1,1,1,1]] -1716*s[[11,1,1,1]] -1287*s[[12,1,1]] -715*s[[13,1]] -286*s[[14]] )
+t^15*( s[[4,1,1,1,1,1,1,1,1,1,1,1]] +14*s[[5,1,1,1,1,1,1,1,1,1,1]] +1001*s[[14,1]] +364*s[[15]] -175*s[[8,5,1,1]] -56*s[[8,5,2]] -294*s[[8,6,1]] -175*s[[8,7]] +2002*s[[9,1,1,1,1,1,1]] -196*s[[9,5,1]] -224*s[[9,6]] +3003*s[[10,1,1,1,1,1]] -126*s[[10,5]] +3432*s[[11,1,1,1,1]] +3003*s[[12,1,1,1]] +2002*s[[13,1,1]] -35*s[[6,5,1,1,1,1]] -21*s[[6,5,2,1,1]] -7*s[[6,5,2,2]] -64*s[[6,6,1,1,1]] -35*s[[6,6,2,1]] +364*s[[7,1,1,1,1,1,1,1,1]] -100*s[[7,5,1,1,1]] -49*s[[7,5,2,1]] -196*s[[7,6,1,1]] -70*s[[7,6,2]] -140*s[[7,7,1]] +1001*s[[8,1,1,1,1,1,1,1]] -6*s[[5,5,1,1,1,1,1]] -4*s[[5,5,2,1,1,1]] -2*s[[5,5,2,2,1]] +91*s[[6,1,1,1,1,1,1,1,1,1]] )
+t^16*( -1365*s[[15,1]] -455*s[[16]] +406*s[[9,5,1,1]] +126*s[[9,5,2]] +672*s[[9,6,1]] +420*s[[9,7]] -5005*s[[10,1,1,1,1,1,1]] +378*s[[10,5,1]] +420*s[[10,6]] -6435*s[[11,1,1,1,1,1]] +210*s[[11,5]] -6435*s[[12,1,1,1,1]] -5005*s[[13,1,1,1]] -3003*s[[14,1,1]] +145*s[[7,5,1,1,1,1]] +85*s[[7,5,2,1,1]] +28*s[[7,5,2,2]] +320*s[[7,6,1,1,1]] +175*s[[7,6,2,1]] +280*s[[7,7,1,1]] +105*s[[7,7,2]] -1365*s[[8,1,1,1,1,1,1,1,1]] +295*s[[8,5,1,1,1]] +140*s[[8,5,2,1]] +595*s[[8,6,1,1]] +210*s[[8,6,2]] +525*s[[8,7,1]] +175*s[[8,8]] -3003*s[[9,1,1,1,1,1,1,1]] +45*s[[6,5,1,1,1,1,1]] +30*s[[6,5,2,1,1,1]] +15*s[[6,5,2,2,1]] +90*s[[6,6,1,1,1,1]] +60*s[[6,6,2,1,1]] +21*s[[6,6,2,2]] -455*s[[7,1,1,1,1,1,1,1,1,1]] -15*s[[5,1,1,1,1,1,1,1,1,1,1,1]] +7*s[[5,5,1,1,1,1,1,1]] +5*s[[5,5,2,1,1,1,1]] +3*s[[5,5,2,2,1,1]] +s[[5,5,2,2,2]] -105*s[[6,1,1,1,1,1,1,1,1,1,1]] -s[[4,1,1,1,1,1,1,1,1,1,1,1,1]] )

+t^4*( c[4] )
+t^5*( -c[1]*c[4] -3*c[5] )
+t^6*( c[1]^2*c[4] +4*c[1]*c[5] -c[2]*c[4] +6*c[6] )
+t^7*( -c[1]^3*c[4] -5*c[1]^2*c[5] +2*c[1]*c[2]*c[4] -10*c[1]*c[6] +5*c[2]*c[5] -c[3]*c[4] -10*c[7] )
+t^8*( c[1]^4*c[4] +6*c[1]^3*c[5] -3*c[1]^2*c[2]*c[4] +15*c[1]^2*c[6] -12*c[1]*c[2]*c[5] +2*c[1]*c[3]*c[4] +c[2]^2*c[4] +16*c[1]*c[7] -17*c[2]*c[6] +5*c[3]*c[5] -2*c[4]^2 +7*c[8] )
+t^9*( -c[1]^5*c[4] -7*c[1]^4*c[5] +4*c[1]^3*c[2]*c[4] -21*c[1]^3*c[6] +21*c[1]^2*c[2]*c[5] -3*c[1]^2*c[3]*c[4] -3*c[1]*c[2]^2*c[4] -27*c[1]^2*c[7] +46*c[1]*c[2]*c[6] -12*c[1]*c[3]*c[5] +4*c[1]*c[4]^2 -7*c[2]^2*c[5] +2*c[2]*c[3]*c[4] +21*c[1]*c[8] +55*c[2]*c[7] -11*c[3]*c[6] +16*c[4]*c[5] +59*c[9] )
+t^10*( c[1]^6*c[4] +8*c[1]^5*c[5] -5*c[1]^4*c[2]*c[4] +28*c[1]^4*c[6] -32*c[1]^3*c[2]*c[5] +4*c[1]^3*c[3]*c[4] +6*c[1]^2*c[2]^2*c[4] +44*c[1]^3*c[7] -90*c[1]^2*c[2]*c[6] +21*c[1]^2*c[3]*c[5] -6*c[1]^2*c[4]^2 +24*c[1]*c[2]^2*c[5] -6*c[1]*c[2]*c[3]*c[4] -c[2]^3*c[4] -46*c[1]^2*c[8] -150*c[1]*c[2]*c[7] +33*c[1]*c[3]*c[6] -37*c[1]*c[4]*c[5] +32*c[2]^2*c[6] -14*c[2]*c[3]*c[5] +4*c[2]*c[4]^2 +c[3]^2*c[4] -360*c[1]*c[9] -170*c[2]*c[8] -2*c[3]*c[7] -68*c[4]*c[6] -11*c[5]^2 -436*c[10] )
+t^11*( -c[1]^7*c[4] -9*c[1]^6*c[5] +6*c[1]^5*c[2]*c[4] -36*c[1]^5*c[6] +45*c[1]^4*c[2]*c[5] -5*c[1]^4*c[3]*c[4] -10*c[1]^3*c[2]^2*c[4] -68*c[1]^4*c[7] +152*c[1]^3*c[2]*c[6] -32*c[1]^3*c[3]*c[5] +8*c[1]^3*c[4]^2 -54*c[1]^2*c[2]^2*c[5] +12*c[1]^2*c[2]*c[3]*c[4] +4*c[1]*c[2]^3*c[4] +62*c[1]^3*c[8] +306*c[1]^2*c[2]*c[7] -69*c[1]^2*c[3]*c[6] +63*c[1]^2*c[4]*c[5] -120*c[1]*c[2]^2*c[6] +48*c[1]*c[2]*c[3]*c[5] -12*c[1]*c[2]*c[4]^2 -3*c[1]*c[3]^2*c[4] +9*c[2]^3*c[5] -3*c[2]^2*c[3]*c[4] +790*c[1]^2*c[9] +402*c[1]*c[2]*c[8] -9*c[1]*c[3]*c[7] +176*c[1]*c[4]*c[6] +31*c[1]*c[5]^2 -136*c[2]^2*c[7] +50*c[2]*c[3]*c[6] -42*c[2]*c[4]*c[5] -7*c[3]^2*c[5] +4*c[3]*c[4]^2 +2148*c[1]*c[10] +430*c[2]*c[9] +146*c[3]*c[8] +228*c[4]*c[7] +84*c[5]*c[6] +2012*c[11] )
+t^12*( c[1]^8*c[4] +10*c[1]^7*c[5] -7*c[1]^6*c[2]*c[4] +45*c[1]^6*c[6] -60*c[1]^5*c[2]*c[5] +6*c[1]^5*c[3]*c[4] +15*c[1]^4*c[2]^2*c[4] +100*c[1]^5*c[7] -235*c[1]^4*c[2]*c[6] +45*c[1]^4*c[3]*c[5] -10*c[1]^4*c[4]^2 +100*c[1]^3*c[2]^2*c[5] -20*c[1]^3*c[2]*c[3]*c[4] -10*c[1]^2*c[2]^3*c[4] -62*c[1]^4*c[8] -548*c[1]^3*c[2]*c[7] +122*c[1]^3*c[3]*c[6] -94*c[1]^3*c[4]*c[5] +294*c[1]^2*c[2]^2*c[6] -108*c[1]^2*c[2]*c[3]*c[5] +24*c[1]^2*c[2]*c[4]^2 +6*c[1]^2*c[3]^2*c[4] -40*c[1]*c[2]^3*c[5] +12*c[1]*c[2]^2*c[3]*c[4] +c[2]^4*c[4] -1356*c[1]^3*c[9] -758*c[1]^2*c[2]*c[8] +50*c[1]^2*c[3]*c[7] -332*c[1]^2*c[4]*c[6] -62*c[1]^2*c[5]^2 +522*c[1]*c[2]^2*c[7] -195*c[1]*c[2]*c[3]*c[6] +141*c[1]*c[2]*c[4]*c[5] +24*c[1]*c[3]^2*c[5] -12*c[1]*c[3]*c[4]^2 -51*c[2]^3*c[6] +27*c[2]^2*c[3]*c[5] -6*c[2]^2*c[4]^2 -3*c[2]*c[3]^2*c[4] -5058*c[1]^2*c[10] -534*c[1]*c[2]*c[9] -489*c[1]*c[3]*c[8] -653*c[1]*c[4]*c[7] -252*c[1]*c[5]*c[6] +568*c[2]^2*c[8] -107*c[2]*c[3]*c[7] +226*c[2]*c[4]*c[6] +41*c[2]*c[5]^2 +16*c[3]^2*c[6] -45*c[3]*c[4]*c[5] +3*c[4]^3 -9660*c[1]*c[11] -592*c[2]*c[10] -935*c[3]*c[9] -698*c[4]*c[8] -191*c[5]*c[7] -176*c[6]^2 -7595*c[12] )
+t^13*( -c[1]^9*c[4] -11*c[1]^8*c[5] +8*c[1]^7*c[2]*c[4] -55*c[1]^7*c[6] +77*c[1]^6*c[2]*c[5] -7*c[1]^6*c[3]*c[4] -21*c[1]^5*c[2]^2*c[4] -141*c[1]^6*c[7] +342*c[1]^5*c[2]*c[6] -60*c[1]^5*c[3]*c[5] +12*c[1]^5*c[4]^2 -165*c[1]^4*c[2]^2*c[5] +30*c[1]^4*c[2]*c[3]*c[4] +20*c[1]^3*c[2]^3*c[4] +38*c[1]^5*c[8] +905*c[1]^4*c[2]*c[7] -195*c[1]^4*c[3]*c[6] +130*c[1]^4*c[4]*c[5] -590*c[1]^3*c[2]^2*c[6] +200*c[1]^3*c[2]*c[3]*c[5] -40*c[1]^3*c[2]*c[4]^2 -10*c[1]^3*c[3]^2*c[4] +110*c[1]^2*c[2]^3*c[5] -30*c[1]^2*c[2]^2*c[3]*c[4] -5*c[1]*c[2]^4*c[4] +2058*c[1]^4*c[9] +1332*c[1]^3*c[2]*c[8] -142*c[1]^3*c[3]*c[7] +544*c[1]^3*c[4]*c[6] +106*c[1]^3*c[5]^2 -1326*c[1]^2*c[2]^2*c[7] +492*c[1]^2*c[2]*c[3]*c[6] -312*c[1]^2*c[2]*c[4]*c[5] -54*c[1]^2*c[3]^2*c[5] +24*c[1]^2*c[3]*c[4]^2 +244*c[1]*c[2]^3*c[6] -120*c[1]*c[2]^2*c[3]*c[5] +24*c[1]*c[2]^2*c[4]^2 +12*c[1]*c[2]*c[3]^2*c[4] -11*c[2]^4*c[5] +4*c[2]^3*c[3]*c[4] +9542*c[1]^3*c[10] +148*c[1]^2*c[2]*c[9] +1051*c[1]^2*c[3]*c[8] +1357*c[1]^2*c[4]*c[7] +540*c[1]^2*c[5]*c[6] -2114*c[1]*c[2]^2*c[8] +452*c[1]*c[2]*c[3]*c[7] -830*c[1]*c[2]*c[4]*c[6] -158*c[1]*c[2]*c[5]^2 -69*c[1]*c[3]^2*c[6] +150*c[1]*c[3]*c[4]*c[5] -9*c[1]*c[4]^3 +261*c[2]^3*c[7] -129*c[2]^2*c[3]*c[6] +78*c[2]^2*c[4]*c[5] +27*c[2]*c[3]^2*c[5] -12*c[2]*c[3]*c[4]^2 -c[3]^3*c[4] +24458*c[1]^2*c[11] -2758*c[1]*c[2]*c[10] +3863*c[1]*c[3]*c[9] +2108*c[1]*c[4]*c[8] +685*c[1]*c[5]*c[7] +534*c[1]*c[6]^2 -2170*c[2]^2*c[9] +38*c[2]*c[3]*c[8] -990*c[2]*c[4]*c[7] -356*c[2]*c[5]*c[6] +71*c[3]^2*c[7] +242*c[3]*c[4]*c[6] +54*c[3]*c[5]^2 -39*c[4]^2*c[5] +37147*c[1]*c[12] -1682*c[2]*c[11] +4604*c[3]*c[10] +1830*c[4]*c[9] +618*c[5]*c[8] +742*c[6]*c[7] +25369*c[13] )
+t^14*( c[1]^10*c[4] +12*c[1]^9*c[5] -9*c[1]^8*c[2]*c[4] +66*c[1]^8*c[6] -96*c[1]^7*c[2]*c[5] +8*c[1]^7*c[3]*c[4] +28*c[1]^6*c[2]^2*c[4] +192*c[1]^7*c[7] -476*c[1]^6*c[2]*c[6] +77*c[1]^6*c[3]*c[5] -14*c[1]^6*c[4]^2 +252*c[1]^5*c[2]^2*c[5] -42*c[1]^5*c[2]*c[3]*c[4] -35*c[1]^4*c[2]^3*c[4] +19*c[1]^6*c[8] -1410*c[1]^5*c[2]*c[7] +291*c[1]^5*c[3]*c[6] -171*c[1]^5*c[4]*c[5] +1050*c[1]^4*c[2]^2*c[6] -330*c[1]^4*c[2]*c[3]*c[5] +60*c[1]^4*c[2]*c[4]^2 +15*c[1]^4*c[3]^2*c[4] -240*c[1]^3*c[2]^3*c[5] +60*c[1]^3*c[2]^2*c[3]*c[4] +15*c[1]^2*c[2]^4*c[4] -2888*c[1]^5*c[9] -2255*c[1]^4*c[2]*c[8] +310*c[1]^4*c[3]*c[7] -820*c[1]^4*c[4]*c[6] -165*c[1]^4*c[5]^2 +2780*c[1]^3*c[2]^2*c[7] -1010*c[1]^3*c[2]*c[3]*c[6] +570*c[1]^3*c[2]*c[4]*c[5] +100*c[1]^3*c[3]^2*c[5] -40*c[1]^3*c[3]*c[4]^2 -720*c[1]^2*c[2]^3*c[6] +330*c[1]^2*c[2]^2*c[3]*c[5] -60*c[1]^2*c[2]^2*c[4]^2 -30*c[1]^2*c[2]*c[3]^2*c[4] +60*c[1]*c[2]^4*c[5] -20*c[1]*c[2]^3*c[3]*c[4] -c[2]^5*c[4] -16008*c[1]^4*c[10] +830*c[1]^3*c[2]*c[9] -1833*c[1]^3*c[3]*c[8] -2435*c[1]^3*c[4]*c[7] -990*c[1]^3*c[5]*c[6] +5302*c[1]^2*c[2]^2*c[8] -1258*c[1]^2*c[2]*c[3]*c[7] +1996*c[1]^2*c[2]*c[4]*c[6] +394*c[1]^2*c[2]*c[5]^2 +186*c[1]^2*c[3]^2*c[6] -330*c[1]^2*c[3]*c[4]*c[5] +18*c[1]^2*c[4]^3 -1284*c[1]*c[2]^3*c[7] +630*c[1]*c[2]^2*c[3]*c[6] -342*c[1]*c[2]^2*c[4]*c[5] -120*c[1]*c[2]*c[3]^2*c[5] +48*c[1]*c[2]*c[3]*c[4]^2 +4*c[1]*c[3]^3*c[4] +74*c[2]^4*c[6] -44*c[2]^3*c[3]*c[5] +8*c[2]^3*c[4]^2 +6*c[2]^2*c[3]^2*c[4] -49996*c[1]^3*c[11] +13682*c[1]^2*c[2]*c[10] -9795*c[1]^2*c[3]*c[9] -4709*c[1]^2*c[4]*c[8] -1687*c[1]^2*c[5]*c[7] -1173*c[1]^2*c[6]^2 +7462*c[1]*c[2]^2*c[9] +169*c[1]*c[2]*c[3]*c[8] +3928*c[1]*c[2]*c[4]*c[7] +1473*c[1]*c[2]*c[5]*c[6] -207*c[1]*c[3]^2*c[7] -885*c[1]*c[3]*c[4]*c[6] -201*c[1]*c[3]*c[5]^2 +129*c[1]*c[4]^2*c[5] -1317*c[2]^3*c[8] +443*c[2]^2*c[3]*c[7] -506*c[2]^2*c[4]*c[6] -98*c[2]^2*c[5]^2 -99*c[2]*c[3]^2*c[6] +165*c[2]*c[3]*c[4]*c[5] -9*c[2]*c[4]^3 +9*c[3]^3*c[5] -6*c[3]^2*c[4]^2 -100977*c[1]^2*c[12] +28904*c[1]*c[2]*c[11] -21914*c[1]*c[3]*c[10] -5350*c[1]*c[4]*c[9] -2456*c[1]*c[5]*c[8] -2540*c[1]*c[6]*c[7] +7030*c[2]^2*c[10] +1169*c[2]*c[3]*c[9] +4035*c[2]*c[4]*c[8] +1059*c[2]*c[5]*c[7] +785*c[2]*c[6]^2 -953*c[3]^2*c[8] -975*c[3]*c[4]*c[7] -526*c[3]*c[5]*c[6] +266*c[4]^2*c[6] +32*c[4]*c[5]^2 -128548*c[1]*c[13] +18113*c[2]*c[12] -20340*c[3]*c[11] -3571*c[4]*c[10] -2072*c[5]*c[9] -2109*c[6]*c[8] -426*c[7]^2 -77854*c[14] )
+t^15*( -c[1]^11*c[4] -13*c[1]^10*c[5] +10*c[1]^9*c[2]*c[4] -78*c[1]^9*c[6] +117*c[1]^8*c[2]*c[5] -9*c[1]^8*c[3]*c[4] -36*c[1]^7*c[2]^2*c[4] -254*c[1]^8*c[7] +640*c[1]^7*c[2]*c[6] -96*c[1]^7*c[3]*c[5] +16*c[1]^7*c[4]^2 -364*c[1]^6*c[2]^2*c[5] +56*c[1]^6*c[2]*c[3]*c[4] +56*c[1]^5*c[2]^3*c[4] -119*c[1]^7*c[8] +2100*c[1]^6*c[2]*c[7] -413*c[1]^6*c[3]*c[6] +217*c[1]^6*c[4]*c[5] -1722*c[1]^5*c[2]^2*c[6] +504*c[1]^5*c[2]*c[3]*c[5] -84*c[1]^5*c[2]*c[4]^2 -21*c[1]^5*c[3]^2*c[4] +455*c[1]^4*c[2]^3*c[5] -105*c[1]^4*c[2]^2*c[3]*c[4] -35*c[1]^3*c[2]^4*c[4] +3829*c[1]^6*c[9] +3700*c[1]^5*c[2]*c[8] -583*c[1]^5*c[3]*c[7] +1168*c[1]^5*c[4]*c[6] +241*c[1]^5*c[5]^2 -5190*c[1]^4*c[2]^2*c[7] +1830*c[1]^4*c[2]*c[3]*c[6] -930*c[1]^4*c[2]*c[4]*c[5] -165*c[1]^4*c[3]^2*c[5] +60*c[1]^4*c[3]*c[4]^2 +1680*c[1]^3*c[2]^3*c[6] -720*c[1]^3*c[2]^2*c[3]*c[5] +120*c[1]^3*c[2]^2*c[4]^2 +60*c[1]^3*c[2]*c[3]^2*c[4] -195*c[1]^2*c[2]^4*c[5] +60*c[1]^2*c[2]^3*c[3]*c[4] +6*c[1]*c[2]^5*c[4] +24888*c[1]^5*c[10] -2395*c[1]^4*c[2]*c[9] +2810*c[1]^4*c[3]*c[8] +3995*c[1]^4*c[4]*c[7] +1650*c[1]^4*c[5]*c[6] -11150*c[1]^3*c[2]^2*c[8] +2860*c[1]^3*c[2]*c[3]*c[7] -3940*c[1]^3*c[2]*c[4]*c[6] -800*c[1]^3*c[2]*c[5]^2 -400*c[1]^3*c[3]^2*c[6] +600*c[1]^3*c[3]*c[4]*c[5] -30*c[1]^3*c[4]^3 +3920*c[1]^2*c[2]^3*c[7] -1890*c[1]^2*c[2]^2*c[3]*c[6] +930*c[1]^2*c[2]^2*c[4]*c[5] +330*c[1]^2*c[2]*c[3]^2*c[5] -120*c[1]^2*c[2]*c[3]*c[4]^2 -10*c[1]^2*c[3]^3*c[4] -430*c[1]*c[2]^4*c[6] +240*c[1]*c[2]^3*c[3]*c[5] -40*c[1]*c[2]^3*c[4]^2 -30*c[1]*c[2]^2*c[3]^2*c[4] +13*c[2]^5*c[5] -5*c[2]^4*c[3]*c[4] +90816*c[1]^4*c[11] -36962*c[1]^3*c[2]*c[10] +19903*c[1]^3*c[3]*c[9] +9144*c[1]^3*c[4]*c[8] +3473*c[1]^3*c[5]*c[7] +2222*c[1]^3*c[6]^2 -17318*c[1]^2*c[2]^2*c[9] -798*c[1]^2*c[2]*c[3]*c[8] -10178*c[1]^2*c[2]*c[4]*c[7] -3936*c[1]^2*c[2]*c[5]*c[6] +364*c[1]^2*c[3]^2*c[7] +2120*c[1]^2*c[3]*c[4]*c[6] +488*c[1]^2*c[3]*c[5]^2 -282*c[1]^2*c[4]^2*c[5] +6456*c[1]*c[2]^3*c[8] -2266*c[1]*c[2]^2*c[3]*c[7] +2392*c[1]*c[2]^2*c[4]*c[6] +478*c[1]*c[2]^2*c[5]^2 +504*c[1]*c[2]*c[3]^2*c[6] -720*c[1]*c[2]*c[3]*c[4]*c[5] +36*c[1]*c[2]*c[4]^3 -40*c[1]*c[3]^3*c[5] +24*c[1]*c[3]^2*c[4]^2 -438*c[2]^4*c[7] +260*c[2]^3*c[3]*c[6] -124*c[2]^3*c[4]*c[5] -66*c[2]^2*c[3]^2*c[5] +24*c[2]^2*c[3]*c[4]^2 +4*c[2]*c[3]^3*c[4] +222337*c[1]^3*c[12] -111644*c[1]^2*c[2]*c[11] +61676*c[1]^2*c[3]*c[10] +12395*c[1]^2*c[4]*c[9] +6537*c[1]^2*c[5]*c[8] +6212*c[1]^2*c[6]*c[7] -19716*c[1]*c[2]^2*c[10] -9772*c[1]*c[2]*c[3]*c[9] -16815*c[1]*c[2]*c[4]*c[8] -5002*c[1]*c[2]*c[5]*c[7] -3343*c[1]*c[2]*c[6]^2 +3786*c[1]*c[3]^2*c[8] +3910*c[1]*c[3]*c[4]*c[7] +2082*c[1]*c[3]*c[5]*c[6] -946*c[1]*c[4]^2*c[6] -130*c[1]*c[4]*c[5]^2 +6267*c[2]^3*c[9] -1289*c[2]^2*c[3]*c[8] +2692*c[2]^2*c[4]*c[7] +978*c[2]^2*c[5]*c[6] -45*c[2]*c[3]^2*c[7] -1074*c[2]*c[3]*c[4]*c[6] -243*c[2]*c[3]*c[5]^2 +141*c[2]*c[4]^2*c[5] -21*c[3]^3*c[6] +87*c[3]^2*c[4]*c[5] -9*c[3]*c[4]^3 +374301*c[1]^2*c[13] -166662*c[1]*c[2]*c[12] +107334*c[1]*c[3]*c[11] +6794*c[1]*c[4]*c[10] +9558*c[1]*c[5]*c[9] +7430*c[1]*c[6]*c[8] +1920*c[1]*c[7]^2 -17488*c[2]^2*c[11] -9548*c[2]*c[3]*c[10] -15171*c[2]*c[4]*c[9] -3527*c[2]*c[5]*c[8] -4250*c[2]*c[6]*c[7] +6278*c[3]^2*c[9] +3307*c[3]*c[4]*c[8] +2082*c[3]*c[5]*c[7] +1079*c[3]*c[6]^2 -1366*c[4]^2*c[7] -464*c[4]*c[5]*c[6] +82*c[5]^3 +411762*c[1]*c[14] -95653*c[2]*c[13] +83649*c[3]*c[12] +881*c[4]*c[11] +8079*c[5]*c[10] +4901*c[6]*c[9] +2331*c[7]*c[8] +224434*c[15] )
+t^16*( 1950*c[1]^2*c[2]*c[3]*c[4]*c[5] +5060*c[1]*c[2]*c[3]*c[4]*c[6] -616653*c[16] -4*c[4]^4 -3476*c[8]^2 -720*c[1]^3*c[2]*c[3]^2*c[5] +360*c[1]*c[2]^2*c[3]^2*c[5] +1407*c[1]^5*c[2]*c[4]*c[5] -2010*c[1]^3*c[2]^2*c[4]*c[5] +670*c[1]*c[2]^3*c[4]*c[5] -975*c[1]^4*c[3]*c[4]*c[5] -390*c[2]^2*c[3]*c[4]*c[5] -378*c[1]*c[3]^2*c[4]*c[5] -612*c[1]*c[2]*c[4]^2*c[5] +1160*c[1]*c[2]*c[3]*c[5]^2 -3045*c[1]^5*c[2]*c[3]*c[6] +4470*c[1]^3*c[2]^2*c[3]*c[6] -1530*c[1]*c[2]^3*c[3]*c[6] -1560*c[1]^2*c[2]*c[3]^2*c[6] +6910*c[1]^4*c[2]*c[4]*c[6] -6980*c[1]^2*c[2]^2*c[4]*c[6] -4170*c[1]^3*c[3]*c[4]*c[6] +8540*c[1]^3*c[2]*c[5]*c[6] -5100*c[1]*c[2]^2*c[5]*c[6] -5370*c[1]^2*c[3]*c[5]*c[6] +2673*c[2]*c[3]*c[5]*c[6] +1875*c[1]*c[4]*c[5]*c[6] -5725*c[1]^4*c[2]*c[3]*c[7] +7190*c[1]^2*c[2]^2*c[3]*c[7] -44*c[1]*c[2]*c[3]^2*c[7] +21575*c[1]^3*c[2]*c[4]*c[7] -13574*c[1]*c[2]^2*c[4]*c[7] -10207*c[1]^2*c[3]*c[4]*c[7] +5417*c[2]*c[3]*c[4]*c[7] +14925*c[1]^2*c[2]*c[5]*c[7] -8910*c[1]*c[3]*c[5]*c[7] +19813*c[1]*c[2]*c[6]*c[7] +1775*c[1]^3*c[2]*c[3]*c[8] +5730*c[1]*c[2]^2*c[3]*c[8] +46062*c[1]^2*c[2]*c[4]*c[8] -14273*c[1]*c[3]*c[4]*c[8] +18779*c[1]*c[2]*c[5]*c[8] +35797*c[1]^2*c[2]*c[3]*c[9] +64388*c[1]*c[2]*c[4]*c[9] +79472*c[1]*c[2]*c[3]*c[10] -72*c[1]^7*c[2]*c[3]*c[4] +168*c[1]^5*c[2]^2*c[3]*c[4] -140*c[1]^3*c[2]^3*c[3]*c[4] +30*c[1]*c[2]^4*c[3]*c[4] -105*c[1]^4*c[2]*c[3]^2*c[4] +90*c[1]^2*c[2]^2*c[3]^2*c[4] -20*c[1]*c[2]*c[3]^3*c[4] +240*c[1]^3*c[2]*c[3]*c[4]^2 -120*c[1]*c[2]^2*c[3]*c[4]^2 -728*c[1]^6*c[2]*c[3]*c[5] +1365*c[1]^4*c[2]^2*c[3]*c[5] -780*c[1]^2*c[2]^3*c[3]*c[5] -11*c[1]^10*c[2]*c[4] +45*c[1]^8*c[2]^2*c[4] -84*c[1]^6*c[2]^3*c[4] +70*c[1]^4*c[2]^4*c[4] -21*c[1]^2*c[2]^5*c[4] +10*c[1]^9*c[3]*c[4] +28*c[1]^6*c[3]^2*c[4] -10*c[2]^3*c[3]^2*c[4] +20*c[1]^3*c[3]^3*c[4] +112*c[1]^6*c[2]*c[4]^2 -210*c[1]^4*c[2]^2*c[4]^2 +120*c[1]^2*c[2]^3*c[4]^2 -84*c[1]^5*c[3]*c[4]^2 -60*c[1]^2*c[3]^2*c[4]^2 -327640*c[1]^2*c[3]*c[11] +58146*c[2]*c[3]*c[11] +32468*c[1]*c[4]*c[11] +628799*c[1]^2*c[2]*c[12] -477184*c[1]*c[3]*c[12] +767720*c[1]*c[2]*c[13] +324*c[2]^2*c[3]^2*c[6] +118*c[1]*c[3]^3*c[6] -1596*c[1]^6*c[4]*c[6] +940*c[2]^3*c[4]*c[6] -567*c[3]^2*c[4]*c[6] +2214*c[1]^2*c[4]^2*c[6] -1115*c[2]*c[4]^2*c[6] -2574*c[1]^5*c[5]*c[6] +9248*c[1]^2*c[2]*c[6]^2 -4511*c[1]*c[3]*c[6]^2 -3016*c[1]^7*c[2]*c[7] +8946*c[1]^5*c[2]^2*c[7] -9500*c[1]^3*c[2]^3*c[7] +2620*c[1]*c[2]^4*c[7] +994*c[1]^6*c[3]*c[7] -1154*c[2]^3*c[3]*c[7] -450*c[1]^3*c[3]^2*c[7] -6158*c[1]^5*c[4]*c[7] +5245*c[1]*c[4]^2*c[7] -6400*c[1]^4*c[5]*c[7] -3622*c[2]^2*c[5]*c[7] +1203*c[4]*c[5]*c[7] -12958*c[1]^3*c[6]*c[7] -6285*c[3]*c[6]*c[7] -5887*c[1]^6*c[2]*c[8] +21145*c[1]^4*c[2]^2*c[8] -19790*c[1]^2*c[2]^3*c[8] +24*c[2]*c[3]^2*c[4]^2 -90*c[1]^2*c[2]*c[4]^3 +36*c[1]*c[3]*c[4]^3 -140*c[1]^9*c[2]*c[5] +504*c[1]^7*c[2]^2*c[5] -784*c[1]^5*c[2]^3*c[5] +490*c[1]^3*c[2]^4*c[5] -84*c[1]*c[2]^5*c[5] +117*c[1]^8*c[3]*c[5] +65*c[2]^4*c[3]*c[5] +252*c[1]^5*c[3]^2*c[5] +110*c[1]^2*c[3]^3*c[5] -44*c[2]*c[3]^3*c[5] -268*c[1]^7*c[4]*c[5] +510*c[1]^3*c[4]^2*c[5] +150*c[3]*c[4]^2*c[5] +1435*c[1]^4*c[2]*c[5]^2 -1430*c[1]^2*c[2]^2*c[5]^2 -970*c[1]^3*c[3]*c[5]^2 +336*c[1]^2*c[4]*c[5]^2 -167*c[2]*c[4]*c[5]^2 -837*c[1]^8*c[2]*c[6] +2660*c[1]^6*c[2]^2*c[6] -3395*c[1]^4*c[2]^3*c[6] +1485*c[1]^2*c[2]^4*c[6] +564*c[1]^7*c[3]*c[6] +750*c[1]^4*c[3]^2*c[6] -3926*c[1]^5*c[3]*c[8] -9613*c[1]^2*c[3]^2*c[8] +3117*c[2]*c[3]^2*c[8] -16242*c[1]^4*c[4]*c[8] -13288*c[2]^2*c[4]*c[8] -14402*c[1]^3*c[5]*c[8] -9368*c[3]*c[5]*c[8] -19114*c[1]^2*c[6]*c[8] +14088*c[2]*c[6]*c[8] -10386*c[1]*c[7]*c[8] +4384*c[1]^5*c[2]*c[9] +34090*c[1]^3*c[2]^2*c[9] -30260*c[1]*c[2]^3*c[9] -35501*c[1]^4*c[3]*c[9] +3451*c[2]^2*c[3]*c[9] -28592*c[1]*c[3]^2*c[9] -25916*c[1]^3*c[4]*c[9] -8887*c[3]*c[4]*c[9] -27533*c[1]^2*c[5]*c[9] +10953*c[2]*c[5]*c[9] -17874*c[1]*c[6]*c[9] +78543*c[1]^4*c[2]*c[10] +32400*c[1]^2*c[2]^2*c[10] -137192*c[1]^3*c[3]*c[10] -12706*c[1]^2*c[4]*c[10] +51896*c[2]*c[4]*c[10] -42326*c[1]*c[5]*c[10] +296180*c[1]^3*c[2]*c[11] +17288*c[1]*c[2]^2*c[11] -1243032*c[1]*c[15] +c[1]^12*c[4] +c[2]^6*c[4] +c[3]^4*c[4] -18*c[1]^8*c[4]^2 -10*c[2]^4*c[4]^2 +45*c[1]^4*c[4]^3 +18*c[2]^2*c[4]^3 +14*c[1]^11*c[5] -336*c[1]^6*c[5]^2 +190*c[2]^3*c[5]^2 -147*c[3]^2*c[5]^2 -294*c[1]*c[5]^3 +91*c[1]^10*c[6] -101*c[2]^5*c[6] -766*c[5]^2*c[6] -3844*c[1]^4*c[6]^2 -2318*c[2]^2*c[6]^2 +1813*c[4]*c[6]^2 +328*c[1]^9*c[7] -233*c[3]^3*c[7] -5659*c[1]^2*c[7]^2 +3709*c[2]*c[7]^2 +273*c[1]^8*c[8] +2549*c[2]^4*c[8] +6413*c[4]^2*c[8] -4854*c[1]^7*c[9] -4211*c[7]*c[9] -36629*c[1]^6*c[10] -26697*c[2]^3*c[10] -32867*c[3]^2*c[10] -10090*c[6]*c[10] -152500*c[1]^5*c[11] -34519*c[5]*c[11] -434141*c[1]^4*c[12] +21727*c[2]^2*c[12] +39452*c[4]*c[12] -884142*c[1]^3*c[13] -323843*c[3]*c[13] -1280975*c[1]^2*c[14] +400445*c[2]*c[14] )

+t^4*( s[[4]] )
+t^5*( -4*s[[5]] -s[[4,1]] )
+t^6*( 10*s[[6]] +5*s[[5,1]] +s[[4,1,1]] )
+t^7*( -20*s[[7]] -15*s[[6,1]] -6*s[[5,1,1]] -s[[4,1,1,1]] )
+t^8*( s[[4,1,1,1,1]] -s[[4,4]] +7*s[[5,1,1,1]] -2*s[[5,3]] +21*s[[6,1,1]] -4*s[[6,2]] +27*s[[7,1]] +19*s[[8]] )
+t^9*( -s[[4,1,1,1,1,1]] +2*s[[4,4,1]] -8*s[[5,1,1,1,1]] +4*s[[5,3,1]] +16*s[[5,4]] -28*s[[6,1,1,1]] +8*s[[6,2,1]] +32*s[[6,3]] -40*s[[7,1,1]] +64*s[[7,2]] +58*s[[8,1]] +136*s[[9]] )
+t^10*( s[[4,1,1,1,1,1,1]] -3*s[[4,4,1,1]] -s[[4,4,2]] +9*s[[5,1,1,1,1,1]] -6*s[[5,3,1,1]] -2*s[[5,3,2]] -35*s[[5,4,1]] -47*s[[5,5]] +36*s[[6,1,1,1,1]] -12*s[[6,2,1,1]] -4*s[[6,2,2]] -70*s[[6,3,1]] -140*s[[6,4]] +60*s[[7,1,1,1]] -140*s[[7,2,1]] -280*s[[7,3]] -138*s[[8,1,1]] -560*s[[8,2]] -962*s[[9,1]] -1228*s[[10]] )
+t^11*( 111*s[[5,5,1]] -45*s[[6,1,1,1,1,1]] +16*s[[6,2,1,1,1]] +8*s[[6,2,2,1]] +114*s[[6,3,1,1]] +38*s[[6,3,2]] +333*s[[6,4,1]] +395*s[[6,5]] -88*s[[7,1,1,1,1]] +228*s[[7,2,1,1]] +76*s[[7,2,2]] +666*s[[7,3,1]] +890*s[[7,4]] +214*s[[8,1,1,1]] +1332*s[[8,2,1]] +1780*s[[8,3]] +2108*s[[9,1,1]] +3560*s[[9,2]] +6430*s[[10,1]] +6600*s[[11]] -s[[4,1,1,1,1,1,1,1]] +4*s[[4,4,1,1,1]] +2*s[[4,4,2,1]] -10*s[[5,1,1,1,1,1,1]] +8*s[[5,3,1,1,1]] +4*s[[5,3,2,1]] +57*s[[5,4,1,1]] +19*s[[5,4,2]] )
+t^12*( -10*s[[5,3,1,1,1,1]] -6*s[[5,3,2,1,1]] -2*s[[5,3,2,2]] -82*s[[5,4,1,1,1]] -41*s[[5,4,2,1]] -194*s[[5,5,1,1]] -65*s[[5,5,2]] +55*s[[6,1,1,1,1,1,1]] -20*s[[6,2,1,1,1,1]] -12*s[[6,2,2,1,1]] -4*s[[6,2,2,2]] -164*s[[6,3,1,1,1]] -82*s[[6,3,2,1]] -586*s[[6,4,1,1]] -195*s[[6,4,2]] -1012*s[[6,5,1]] -670*s[[6,6]] +125*s[[7,1,1,1,1,1]] -328*s[[7,2,1,1,1]] -164*s[[7,2,2,1]] -1172*s[[7,3,1,1]] -390*s[[7,3,2]] -2289*s[[7,4,1]] -2210*s[[7,5]] -278*s[[8,1,1,1,1]] -2344*s[[8,2,1,1]] -780*s[[8,2,2]] -4578*s[[8,3,1]] -4605*s[[8,4]] -3602*s[[9,1,1,1]] -9156*s[[9,2,1]] -9210*s[[9,3]] -14794*s[[10,1,1]] -18420*s[[10,2]] -32510*s[[11,1]] -28555*s[[12]] +s[[4,1,1,1,1,1,1,1,1]] -5*s[[4,4,1,1,1,1]] -3*s[[4,4,2,1,1]] -s[[4,4,2,2]] +11*s[[5,1,1,1,1,1,1,1]] )
+t^13*( 20598*s[[9,4]] +27212*s[[10,1,1,1]] +50964*s[[10,2,1]] +41196*s[[10,3]] +79296*s[[11,1,1]] +82392*s[[11,2]] +139809*s[[12,1]] +108068*s[[13]] +1808*s[[8,2,2,1]] +8666*s[[8,3,1,1]] +2874*s[[8,3,2]] +12741*s[[8,4,1]] +10145*s[[8,5]] +5464*s[[9,1,1,1,1]] +17332*s[[9,2,1,1]] +5748*s[[9,2,2]] +25482*s[[9,3,1]] +4333*s[[7,4,1,1]] +1437*s[[7,4,2]] +6103*s[[7,5,1]] +4246*s[[7,6]] +321*s[[8,1,1,1,1,1]] +3624*s[[8,2,1,1,1]] +1846*s[[6,6,1]] -172*s[[7,1,1,1,1,1,1]] +440*s[[7,2,1,1,1,1]] +264*s[[7,2,2,1,1]] +88*s[[7,2,2,2]] +1812*s[[7,3,1,1,1]] +904*s[[7,3,2,1]] +1908*s[[6,5,1,1]] +636*s[[6,5,2]] +24*s[[6,2,1,1,1,1,1]] +16*s[[6,2,2,1,1,1]] +8*s[[6,2,2,2,1]] +220*s[[6,3,1,1,1,1]] +132*s[[6,3,2,1,1]] +44*s[[6,3,2,2]] +906*s[[6,4,1,1,1]] +452*s[[6,4,2,1]] +110*s[[5,4,1,1,1,1]] +66*s[[5,4,2,1,1]] +22*s[[5,4,2,2]] +298*s[[5,5,1,1,1]] +150*s[[5,5,2,1]] -66*s[[6,1,1,1,1,1,1,1]] +12*s[[5,3,1,1,1,1,1]] +8*s[[5,3,2,1,1,1]] +4*s[[5,3,2,2,1]] +6*s[[4,4,1,1,1,1,1]] +4*s[[4,4,2,1,1,1]] +2*s[[4,4,2,2,1]] -12*s[[5,1,1,1,1,1,1,1,1]] -s[[4,1,1,1,1,1,1,1,1,1]] )
+t^14*( -165256*s[[11,3]] -361833*s[[12,1,1]] -330512*s[[12,2]] -537429*s[[13,1]] -372130*s[[14]] +230*s[[7,1,1,1,1,1,1,1]] -564*s[[7,2,1,1,1,1,1]] -376*s[[7,2,2,1,1,1]] -188*s[[7,2,2,2,1]] -2600*s[[7,3,1,1,1,1]] -1556*s[[7,3,2,1,1]] -518*s[[7,3,2,2]] -7173*s[[7,4,1,1,1]] -3563*s[[7,4,2,1]] -12350*s[[7,5,1,1]] -4080*s[[7,5,2]] -12549*s[[7,6,1]] -5602*s[[7,7]] -333*s[[8,1,1,1,1,1,1]] -5200*s[[8,2,1,1,1,1]] -3112*s[[8,2,2,1,1]] -1036*s[[8,2,2,2]] -14346*s[[8,3,1,1,1]] -7126*s[[8,3,2,1]] -25837*s[[8,4,1,1]] -8526*s[[8,4,2]] -30014*s[[8,5,1]] -19117*s[[8,6]] -7705*s[[9,1,1,1,1,1]] -28692*s[[9,2,1,1,1]] -14252*s[[9,2,2,1]] -51674*s[[9,3,1,1]] -17052*s[[9,3,2]] -61026*s[[9,4,1]] -41044*s[[9,5]] -44660*s[[10,1,1,1,1]] -103348*s[[10,2,1,1]] -34104*s[[10,2,2]] -122052*s[[10,3,1]] -82628*s[[10,4]] -156132*s[[11,1,1,1]] -244104*s[[11,2,1]] -14*s[[5,3,1,1,1,1,1,1]] -10*s[[5,3,2,1,1,1,1]] -6*s[[5,3,2,2,1,1]] -2*s[[5,3,2,2,2]] -141*s[[5,4,1,1,1,1,1]] -94*s[[5,4,2,1,1,1]] -47*s[[5,4,2,2,1]] -425*s[[5,5,1,1,1,1]] -257*s[[5,5,2,1,1]] -86*s[[5,5,2,2]] +2*s[[5,5,4]] +78*s[[6,1,1,1,1,1,1,1,1]] -28*s[[6,2,1,1,1,1,1,1]] -20*s[[6,2,2,1,1,1,1]] -12*s[[6,2,2,2,1,1]] -4*s[[6,2,2,2,2]] -282*s[[6,3,1,1,1,1,1]] -188*s[[6,3,2,1,1,1]] -94*s[[6,3,2,2,1]] -1300*s[[6,4,1,1,1,1]] -778*s[[6,4,2,1,1]] -259*s[[6,4,2,2]] -3146*s[[6,5,1,1,1]] -1573*s[[6,5,2,1]] +4*s[[6,5,3]] -3724*s[[6,6,1,1]] -1241*s[[6,6,2]] +s[[4,1,1,1,1,1,1,1,1,1,1]] -7*s[[4,4,1,1,1,1,1,1]] -5*s[[4,4,2,1,1,1,1]] -3*s[[4,4,2,2,1,1]] -s[[4,4,2,2,2]] +13*s[[5,1,1,1,1,1,1,1,1,1]] )
+t^15*( 1899383*s[[14,1]] +1193492*s[[15]] +4720*s[[8,2,2,1,1,1]] +2356*s[[8,2,2,2,1]] +21950*s[[8,3,1,1,1,1]] +13070*s[[8,3,2,1,1]] +4340*s[[8,3,2,2]] +45641*s[[8,4,1,1,1]] +22526*s[[8,4,2,1]] +64877*s[[8,5,1,1]] +21162*s[[8,5,2]] +60223*s[[8,6,1]] +30105*s[[8,7]] +10326*s[[9,1,1,1,1,1,1]] +43900*s[[9,2,1,1,1,1]] +26140*s[[9,2,2,1,1]] +8680*s[[9,2,2,2]] +91282*s[[9,3,1,1,1]] +45052*s[[9,3,2,1]] +132076*s[[9,4,1,1]] +43302*s[[9,4,2]] +129404*s[[9,5,1]] +73506*s[[9,6]] +68189*s[[10,1,1,1,1,1]] +182564*s[[10,2,1,1,1]] +90104*s[[10,2,2,1]] +264152*s[[10,3,1,1]] +86604*s[[10,3,2]] +261058*s[[10,4,1]] +151494*s[[10,5]] +274384*s[[11,1,1,1,1]] +528304*s[[11,2,1,1]] +173208*s[[11,2,2]] +522116*s[[11,3,1]] +304580*s[[11,4]] +759941*s[[12,1,1,1]] +1044232*s[[12,2,1]] +609160*s[[12,3]] +1474270*s[[13,1,1]] +1218320*s[[13,2]] +150*s[[6,3,2,2,1,1]] +50*s[[6,3,2,2,2]] +1775*s[[6,4,1,1,1,1,1]] +1180*s[[6,4,2,1,1,1]] +589*s[[6,4,2,2,1]] +4795*s[[6,5,1,1,1,1]] +2877*s[[6,5,2,1,1]] +959*s[[6,5,2,2]] -12*s[[6,5,3,1]] -40*s[[6,5,4]] +6542*s[[6,6,1,1,1]] +3269*s[[6,6,2,1]] -24*s[[6,6,3]] -300*s[[7,1,1,1,1,1,1,1,1]] +700*s[[7,2,1,1,1,1,1,1]] +500*s[[7,2,2,1,1,1,1]] +300*s[[7,2,2,2,1,1]] +100*s[[7,2,2,2,2]] +3550*s[[7,3,1,1,1,1,1]] +2360*s[[7,3,2,1,1,1]] +1178*s[[7,3,2,2,1]] +10975*s[[7,4,1,1,1,1]] +6535*s[[7,4,2,1,1]] +2170*s[[7,4,2,2]] +21769*s[[7,5,1,1,1]] +10763*s[[7,5,2,1]] -80*s[[7,5,3]] +27069*s[[7,6,1,1]] +8891*s[[7,6,2]] +17661*s[[7,7,1]] +303*s[[8,1,1,1,1,1,1,1]] +7100*s[[8,2,1,1,1,1,1]] -14*s[[5,1,1,1,1,1,1,1,1,1,1]] +16*s[[5,3,1,1,1,1,1,1,1]] +12*s[[5,3,2,1,1,1,1,1]] +8*s[[5,3,2,2,1,1,1]] +4*s[[5,3,2,2,2,1]] +175*s[[5,4,1,1,1,1,1,1]] +125*s[[5,4,2,1,1,1,1]] +75*s[[5,4,2,2,1,1]] +25*s[[5,4,2,2,2]] +577*s[[5,5,1,1,1,1,1]] +388*s[[5,5,2,1,1,1]] +195*s[[5,5,2,2,1]] -6*s[[5,5,4,1]] -14*s[[5,5,5]] -91*s[[6,1,1,1,1,1,1,1,1,1]] +32*s[[6,2,1,1,1,1,1,1,1]] +24*s[[6,2,2,1,1,1,1,1]] +16*s[[6,2,2,2,1,1,1]] +8*s[[6,2,2,2,2,1]] +350*s[[6,3,1,1,1,1,1,1]] +250*s[[6,3,2,1,1,1,1]] -s[[4,1,1,1,1,1,1,1,1,1,1,1]] +8*s[[4,4,1,1,1,1,1,1,1]] +6*s[[4,4,2,1,1,1,1,1]] +4*s[[4,4,2,2,1,1,1]] +2*s[[4,4,2,2,2,1]] )
+t^16*( -117940*s[[9,7]] -98915*s[[10,1,1,1,1,1,1]] -297004*s[[10,2,1,1,1,1]] -175544*s[[10,2,2,1,1]] -58072*s[[10,2,2,2]] -496384*s[[10,3,1,1,1]] -242956*s[[10,3,2,1]] -600964*s[[10,4,1,1]] -195482*s[[10,4,2]] -506736*s[[10,5,1]] -255950*s[[10,6]] -447813*s[[11,1,1,1,1,1]] -992768*s[[11,2,1,1,1]] -485912*s[[11,2,2,1]] -1201928*s[[11,3,1,1]] -390964*s[[11,3,2]] -1022398*s[[11,4,1]] -520705*s[[11,5]] -1423485*s[[12,1,1,1,1]] -2403856*s[[12,2,1,1]] -781928*s[[12,2,2]] -2044796*s[[12,3,1]] -1049425*s[[12,4]] -3293171*s[[13,1,1,1]] -4089592*s[[13,2,1]] -2098850*s[[13,3]] -5513493*s[[14,1,1]] -4197700*s[[14,2]] -6286195*s[[15,1]] -3620745*s[[16]] -50680*s[[7,6,1,1,1]] -24880*s[[7,6,2,1]] +492*s[[7,6,3]] -40516*s[[7,7,1,1]] -13140*s[[7,7,2]] -219*s[[8,1,1,1,1,1,1,1,1]] -9352*s[[8,2,1,1,1,1,1,1]] -6660*s[[8,2,2,1,1,1,1]] -3988*s[[8,2,2,2,1,1]] -1328*s[[8,2,2,2,2]] -31840*s[[8,3,1,1,1,1,1]] -21050*s[[8,3,2,1,1,1]] -10472*s[[8,3,2,2,1]] -74251*s[[8,4,1,1,1,1]] -43886*s[[8,4,2,1,1]] -14518*s[[8,4,2,2]] -121774*s[[8,5,1,1,1]] -59276*s[[8,5,2,1]] +848*s[[8,5,3]] -138282*s[[8,6,1,1]] -44306*s[[8,6,2]] -100602*s[[8,7,1]] -34280*s[[8,8]] -13317*s[[9,1,1,1,1,1,1,1]] -63680*s[[9,2,1,1,1,1,1]] -42100*s[[9,2,2,1,1,1]] -20944*s[[9,2,2,2,1]] -148502*s[[9,3,1,1,1,1]] -87772*s[[9,3,2,1,1]] -29036*s[[9,3,2,2]] -248192*s[[9,4,1,1,1]] -121478*s[[9,4,2,1]] -297568*s[[9,5,1,1]] -95478*s[[9,5,2]] -245248*s[[9,6,1]] -332*s[[6,4,2,2,2]] -6930*s[[6,5,1,1,1,1,1]] -4620*s[[6,5,2,1,1,1]] -2310*s[[6,5,2,2,1]] +24*s[[6,5,3,1,1]] +12*s[[6,5,3,2]] +126*s[[6,5,4,1]] +192*s[[6,5,5]] -10584*s[[6,6,1,1,1,1]] -6344*s[[6,6,2,1,1]] -2114*s[[6,6,2,2]] +76*s[[6,6,3,1]] +206*s[[6,6,4]] +383*s[[7,1,1,1,1,1,1,1,1,1]] -848*s[[7,2,1,1,1,1,1,1,1]] -636*s[[7,2,2,1,1,1,1,1]] -424*s[[7,2,2,2,1,1,1]] -212*s[[7,2,2,2,2,1]] -4676*s[[7,3,1,1,1,1,1,1]] -3330*s[[7,3,2,1,1,1,1]] -1994*s[[7,3,2,2,1,1]] -664*s[[7,3,2,2,2]] -15920*s[[7,4,1,1,1,1,1]] -10525*s[[7,4,2,1,1,1]] -5236*s[[7,4,2,2,1]] -35339*s[[7,5,1,1,1,1]] -20936*s[[7,5,2,1,1]] -6934*s[[7,5,2,2]] +252*s[[7,5,3,1]] +424*s[[7,5,4]] -212*s[[5,4,1,1,1,1,1,1,1]] -159*s[[5,4,2,1,1,1,1,1]] -106*s[[5,4,2,2,1,1,1]] -53*s[[5,4,2,2,2,1]] -756*s[[5,5,1,1,1,1,1,1]] -545*s[[5,5,2,1,1,1,1]] -329*s[[5,5,2,2,1,1]] -110*s[[5,5,2,2,2]] +12*s[[5,5,4,1,1]] +6*s[[5,5,4,2]] +44*s[[5,5,5,1]] +105*s[[6,1,1,1,1,1,1,1,1,1,1]] -36*s[[6,2,1,1,1,1,1,1,1,1]] -28*s[[6,2,2,1,1,1,1,1,1]] -20*s[[6,2,2,2,1,1,1,1]] -12*s[[6,2,2,2,2,1,1]] -4*s[[6,2,2,2,2,2]] -424*s[[6,3,1,1,1,1,1,1,1]] -318*s[[6,3,2,1,1,1,1,1]] -212*s[[6,3,2,2,1,1,1]] -106*s[[6,3,2,2,2,1]] -2338*s[[6,4,1,1,1,1,1,1]] -1665*s[[6,4,2,1,1,1,1]] -997*s[[6,4,2,2,1,1]] -9*s[[4,4,1,1,1,1,1,1,1,1]] -7*s[[4,4,2,1,1,1,1,1,1]] -5*s[[4,4,2,2,1,1,1,1]] -3*s[[4,4,2,2,2,1,1]] -s[[4,4,2,2,2,2]] +15*s[[5,1,1,1,1,1,1,1,1,1,1,1]] -18*s[[5,3,1,1,1,1,1,1,1,1]] -14*s[[5,3,2,1,1,1,1,1,1]] -10*s[[5,3,2,2,1,1,1,1]] -6*s[[5,3,2,2,2,1,1]] -2*s[[5,3,2,2,2,2]] +s[[4,1,1,1,1,1,1,1,1,1,1,1,1]] )

+t^8*( 4*c[1]*c[7] +2*c[2]*c[6] +c[3]*c[5] +c[4]^2 +8*c[8] )
+t^9*( -8*c[1]^2*c[7] -4*c[1]*c[2]*c[6] -2*c[1]*c[3]*c[5] -2*c[1]*c[4]^2 -56*c[1]*c[8] -20*c[2]*c[7] -10*c[3]*c[6] -10*c[4]*c[5] -80*c[9] )
+t^10*( 12*c[1]^3*c[7] +6*c[1]^2*c[2]*c[6] +3*c[1]^2*c[3]*c[5] +3*c[1]^2*c[4]^2 +116*c[1]^2*c[8] +38*c[1]*c[2]*c[7] +23*c[1]*c[3]*c[6] +23*c[1]*c[4]*c[5] -4*c[2]^2*c[6] -2*c[2]*c[3]*c[5] -2*c[2]*c[4]^2 +416*c[1]*c[9] +100*c[2]*c[8] +58*c[3]*c[7] +41*c[4]*c[6] +17*c[5]^2 +464*c[10] )
+t^11*( -16*c[1]^4*c[7] -8*c[1]^3*c[2]*c[6] -4*c[1]^3*c[3]*c[5] -4*c[1]^3*c[4]^2 -188*c[1]^3*c[8] -54*c[1]^2*c[2]*c[7] -39*c[1]^2*c[3]*c[6] -39*c[1]^2*c[4]*c[5] +12*c[1]*c[2]^2*c[6] +6*c[1]*c[2]*c[3]*c[5] +6*c[1]*c[2]*c[4]^2 -916*c[1]^2*c[9] -150*c[1]*c[2]*c[8] -159*c[1]*c[3]*c[7] -106*c[1]*c[4]*c[6] -45*c[1]*c[5]^2 +52*c[2]^2*c[7] +22*c[2]*c[3]*c[6] +26*c[2]*c[4]*c[5] -2*c[3]^2*c[5] -2*c[3]*c[4]^2 -2232*c[1]*c[10] -304*c[2]*c[9] -272*c[3]*c[8] -151*c[4]*c[7] -105*c[5]*c[6] -2048*c[11] )
+t^12*( 20*c[1]^5*c[7] +10*c[1]^4*c[2]*c[6] +5*c[1]^4*c[3]*c[5] +5*c[1]^4*c[4]^2 +272*c[1]^4*c[8] +68*c[1]^3*c[2]*c[7] +58*c[1]^3*c[3]*c[6] +58*c[1]^3*c[4]*c[5] -24*c[1]^2*c[2]^2*c[6] -12*c[1]^2*c[2]*c[3]*c[5] -12*c[1]^2*c[2]*c[4]^2 +1608*c[1]^3*c[9] +128*c[1]^2*c[2]*c[8] +310*c[1]^2*c[3]*c[7] +200*c[1]^2*c[4]*c[6] +86*c[1]^2*c[5]^2 -162*c[1]*c[2]^2*c[7] -75*c[1]*c[2]*c[3]*c[6] -87*c[1]*c[2]*c[4]*c[5] +6*c[1]*c[3]^2*c[5] +6*c[1]*c[3]*c[4]^2 +6*c[2]^3*c[6] +3*c[2]^2*c[3]*c[5] +3*c[2]^2*c[4]^2 +5196*c[1]^2*c[10] -30*c[1]*c[2]*c[9] +883*c[1]*c[3]*c[8] +412*c[1]*c[4]*c[7] +303*c[1]*c[5]*c[6] -370*c[2]^2*c[8] -143*c[2]*c[3]*c[7] -145*c[2]*c[4]*c[6] -58*c[2]*c[5]^2 +27*c[3]^2*c[6] +24*c[3]*c[4]*c[5] -3*c[4]^3 +9420*c[1]*c[11] +226*c[2]*c[10] +1117*c[3]*c[9] +458*c[4]*c[8] +293*c[5]*c[7] +126*c[6]^2 +7208*c[12] )
+t^13*( -24*c[1]^6*c[7] -12*c[1]^5*c[2]*c[6] -6*c[1]^5*c[3]*c[5] -6*c[1]^5*c[4]^2 -368*c[1]^5*c[8] -80*c[1]^4*c[2]*c[7] -80*c[1]^4*c[3]*c[6] -80*c[1]^4*c[4]*c[5] +40*c[1]^3*c[2]^2*c[6] +20*c[1]^3*c[2]*c[3]*c[5] +20*c[1]^3*c[2]*c[4]^2 -2520*c[1]^4*c[9] -12*c[1]^3*c[2]*c[8] -518*c[1]^3*c[3]*c[7] -328*c[1]^3*c[4]*c[6] -142*c[1]^3*c[5]^2 +336*c[1]^2*c[2]^2*c[7] +168*c[1]^2*c[2]*c[3]*c[6] +192*c[1]^2*c[2]*c[4]*c[5] -12*c[1]^2*c[3]^2*c[5] -12*c[1]^2*c[3]*c[4]^2 -24*c[1]*c[2]^3*c[6] -12*c[1]*c[2]^2*c[3]*c[5] -12*c[1]*c[2]^2*c[4]^2 -9788*c[1]^3*c[10] +1418*c[1]^2*c[2]*c[9] -1963*c[1]^2*c[3]*c[8] -838*c[1]^2*c[4]*c[7] -633*c[1]^2*c[5]*c[6] +1160*c[1]*c[2]^2*c[8] +568*c[1]*c[2]*c[3]*c[7] +527*c[1]*c[2]*c[4]*c[6] +215*c[1]*c[2]*c[5]^2 -90*c[1]*c[3]^2*c[6] -81*c[1]*c[3]*c[4]*c[5] +9*c[1]*c[4]^3 -96*c[2]^3*c[7] -36*c[2]^2*c[3]*c[6] -48*c[2]^2*c[4]*c[5] +6*c[2]*c[3]^2*c[5] +6*c[2]*c[3]*c[4]^2 -22196*c[1]^2*c[11] +5410*c[1]*c[2]*c[10] -4031*c[1]*c[3]*c[9] -1052*c[1]*c[4]*c[8] -837*c[1]*c[5]*c[7] -370*c[1]*c[6]^2 +1960*c[2]^2*c[9] +832*c[2]*c[3]*c[8] +797*c[2]*c[4]*c[7] +477*c[2]*c[5]*c[6] -194*c[3]^2*c[7] -85*c[3]*c[4]*c[6] -58*c[3]*c[5]^2 +51*c[4]^2*c[5] -28456*c[1]*c[12] +5288*c[2]*c[11] -3596*c[3]*c[10] -604*c[4]*c[9] -572*c[5]*c[8] -460*c[6]*c[7] -16352*c[13] )
+t^14*( 28*c[1]^7*c[7] +14*c[1]^6*c[2]*c[6] +7*c[1]^6*c[3]*c[5] +7*c[1]^6*c[4]^2 +476*c[1]^6*c[8] +90*c[1]^5*c[2]*c[7] +105*c[1]^5*c[3]*c[6] +105*c[1]^5*c[4]*c[5] -60*c[1]^4*c[2]^2*c[6] -30*c[1]^4*c[2]*c[3]*c[5] -30*c[1]^4*c[2]*c[4]^2 +3680*c[1]^5*c[9] -220*c[1]^4*c[2]*c[8] +790*c[1]^4*c[3]*c[7] +495*c[1]^4*c[4]*c[6] +215*c[1]^4*c[5]^2 -580*c[1]^3*c[2]^2*c[7] -310*c[1]^3*c[2]*c[3]*c[6] -350*c[1]^3*c[2]*c[4]*c[5] +20*c[1]^3*c[3]^2*c[5] +20*c[1]^3*c[3]*c[4]^2 +60*c[1]^2*c[2]^3*c[6] +30*c[1]^2*c[2]^2*c[3]*c[5] +30*c[1]^2*c[2]^2*c[4]^2 +16500*c[1]^4*c[10] -4358*c[1]^3*c[2]*c[9] +3657*c[1]^3*c[3]*c[8] +1493*c[1]^3*c[4]*c[7] +1140*c[1]^3*c[5]*c[6] -2404*c[1]^2*c[2]^2*c[8] -1442*c[1]^2*c[2]*c[3]*c[7] -1258*c[1]^2*c[2]*c[4]*c[6] -520*c[1]^2*c[2]*c[5]^2 +198*c[1]^2*c[3]^2*c[6] +180*c[1]^2*c[3]*c[4]*c[5] -18*c[1]^2*c[4]^3 +404*c[1]*c[2]^3*c[7] +162*c[1]*c[2]^2*c[3]*c[6] +210*c[1]*c[2]^2*c[4]*c[5] -24*c[1]*c[2]*c[3]^2*c[5] -24*c[1]*c[2]*c[3]*c[4]^2 -8*c[2]^4*c[6] -4*c[2]^3*c[3]*c[5] -4*c[2]^3*c[4]^2 +43660*c[1]^3*c[11] -21314*c[1]^2*c[2]*c[10] +9957*c[1]^2*c[3]*c[9] +2042*c[1]^2*c[4]*c[8] +1829*c[1]^2*c[5]*c[7] +818*c[1]^2*c[6]^2 -5734*c[1]*c[2]^2*c[9] -3751*c[1]*c[2]*c[3]*c[8] -3008*c[1]*c[2]*c[4]*c[7] -1889*c[1]*c[2]*c[5]*c[6] +729*c[1]*c[3]^2*c[7] +334*c[1]*c[3]*c[4]*c[6] +215*c[1]*c[3]*c[5]^2 -168*c[1]*c[4]^2*c[5] +858*c[2]^3*c[8] +247*c[2]^2*c[3]*c[7] +332*c[2]^2*c[4]*c[6] +131*c[2]^2*c[5]^2 -93*c[2]*c[3]^2*c[6] -90*c[2]*c[3]*c[4]*c[5] +9*c[2]*c[4]^3 +3*c[3]^3*c[5] +3*c[3]^2*c[4]^2 +56472*c[1]^2*c[12] -54812*c[1]*c[2]*c[11] +12588*c[1]*c[3]*c[10] -1953*c[1]*c[4]*c[9] +789*c[1]*c[5]*c[8] +940*c[1]*c[6]*c[7] -8566*c[2]^2*c[10] -4983*c[2]*c[3]*c[9] -4192*c[2]*c[4]*c[8] -1991*c[2]*c[5]*c[7] -802*c[2]*c[6]^2 +960*c[3]^2*c[8] +61*c[3]*c[4]*c[7] +378*c[3]*c[5]*c[6] -344*c[4]^2*c[6] -153*c[4]*c[5]^2 +11120*c[1]*c[13] -55376*c[2]*c[12] +4052*c[3]*c[11] -5898*c[4]*c[10] -1154*c[5]*c[9] -328*c[6]*c[8] -32*c[7]^2 -27488*c[14] )
+t^15*( -32*c[1]^8*c[7] -16*c[1]^7*c[2]*c[6] -8*c[1]^7*c[3]*c[5] -8*c[1]^7*c[4]^2 -596*c[1]^7*c[8] -98*c[1]^6*c[2]*c[7] -133*c[1]^6*c[3]*c[6] -133*c[1]^6*c[4]*c[5] +84*c[1]^5*c[2]^2*c[6] +42*c[1]^5*c[2]*c[3]*c[5] +42*c[1]^5*c[2]*c[4]^2 -5116*c[1]^6*c[9] +590*c[1]^5*c[2]*c[8] -1133*c[1]^5*c[3]*c[7] -706*c[1]^5*c[4]*c[6] -307*c[1]^5*c[5]^2 +900*c[1]^4*c[2]^2*c[7] +510*c[1]^4*c[2]*c[3]*c[6] +570*c[1]^4*c[2]*c[4]*c[5] -30*c[1]^4*c[3]^2*c[5] -30*c[1]^4*c[3]*c[4]^2 -120*c[1]^3*c[2]^3*c[6] -60*c[1]^3*c[2]^2*c[3]*c[5] -60*c[1]^3*c[2]^2*c[4]^2 -25884*c[1]^5*c[10] +9430*c[1]^4*c[2]*c[9] -6125*c[1]^4*c[3]*c[8] -2450*c[1]^4*c[4]*c[7] -1875*c[1]^4*c[5]*c[6] +4120*c[1]^3*c[2]^2*c[8] +2960*c[1]^3*c[2]*c[3]*c[7] +2470*c[1]^3*c[2]*c[4]*c[6] +1030*c[1]^3*c[2]*c[5]^2 -360*c[1]^3*c[3]^2*c[6] -330*c[1]^3*c[3]*c[4]*c[5] +30*c[1]^3*c[4]^3 -1060*c[1]^2*c[2]^3*c[7] -450*c[1]^2*c[2]^2*c[3]*c[6] -570*c[1]^2*c[2]^2*c[4]*c[5] +60*c[1]^2*c[2]*c[3]^2*c[5] +60*c[1]^2*c[2]*c[3]*c[4]^2 +40*c[1]*c[2]^4*c[6] +20*c[1]*c[2]^3*c[3]*c[5] +20*c[1]*c[2]^3*c[4]^2 -78132*c[1]^4*c[11] +53522*c[1]^3*c[2]*c[10] -20451*c[1]^3*c[3]*c[9] -3812*c[1]^3*c[4]*c[8] -3541*c[1]^3*c[5]*c[7] -1586*c[1]^3*c[6]^2 +10676*c[1]^2*c[2]^2*c[9] +10566*c[1]^2*c[2]*c[3]*c[8] +7524*c[1]^2*c[2]*c[4]*c[7] +4886*c[1]^2*c[2]*c[5]*c[6] -1780*c[1]^2*c[3]^2*c[7] -846*c[1]^2*c[3]*c[4]*c[6] -520*c[1]^2*c[3]*c[5]^2 +366*c[1]^2*c[4]^2*c[5] -3740*c[1]*c[2]^3*c[8] -1286*c[1]*c[2]^2*c[3]*c[7] -1552*c[1]*c[2]^2*c[4]*c[6] -622*c[1]*c[2]^2*c[5]^2 +408*c[1]*c[2]*c[3]^2*c[6] +396*c[1]*c[2]*c[3]*c[4]*c[5] -36*c[1]*c[2]*c[4]^3 -12*c[1]*c[3]^3*c[5] -12*c[1]*c[3]^2*c[4]^2 +152*c[2]^4*c[7] +52*c[2]^3*c[3]*c[6] +76*c[2]^3*c[4]*c[5] -12*c[2]^2*c[3]^2*c[5] -12*c[2]^2*c[3]*c[4]^2 -102520*c[1]^3*c[12] +182792*c[1]^2*c[2]*c[11] -33436*c[1]^2*c[3]*c[10] +8375*c[1]^2*c[4]*c[9] -893*c[1]^2*c[5]*c[8] -1766*c[1]^2*c[6]*c[7] +18660*c[1]*c[2]^2*c[10] +23604*c[1]*c[2]*c[3]*c[9] +15498*c[1]*c[2]*c[4]*c[8] +8008*c[1]*c[2]*c[5]*c[7] +3266*c[1]*c[2]*c[6]^2 -4109*c[1]*c[3]^2*c[8] -445*c[1]*c[3]*c[4]*c[7] -1545*c[1]*c[3]*c[5]*c[6] +1224*c[1]*c[4]^2*c[6] +559*c[1]*c[4]*c[5]^2 -5880*c[2]^3*c[9] -1570*c[2]^2*c[3]*c[8] -2292*c[2]^2*c[4]*c[7] -1318*c[2]^2*c[5]*c[6] +783*c[2]*c[3]^2*c[7] +458*c[2]*c[3]*c[4]*c[6] +262*c[2]*c[3]*c[5]^2 -183*c[2]*c[4]^2*c[5] -51*c[3]^3*c[6] -42*c[3]^2*c[4]*c[5] +9*c[3]*c[4]^3 +153176*c[1]^2*c[13] +397644*c[1]*c[2]*c[12] +5330*c[1]*c[3]*c[11] +53076*c[1]*c[4]*c[10] +14220*c[1]*c[5]*c[9] +6696*c[1]*c[6]*c[8] +1890*c[1]*c[7]^2 +28984*c[2]^2*c[11] +28958*c[2]*c[3]*c[10] +19712*c[2]*c[4]*c[9] +8094*c[2]*c[5]*c[8] +5516*c[2]*c[6]*c[7] -3203*c[3]^2*c[9] +2074*c[3]*c[4]*c[8] -818*c[3]*c[5]*c[7] -320*c[3]*c[6]^2 +2036*c[4]^2*c[7] +1586*c[4]*c[5]*c[6] +37*c[5]^3 +712016*c[1]*c[14] +387824*c[2]*c[13] +61680*c[3]*c[12] +71234*c[4]*c[11] +23594*c[5]*c[10] +12208*c[6]*c[9] +6276*c[7]*c[8] +672320*c[15] )
+t^16*( -1080*c[1]^2*c[2]*c[3]*c[4]*c[5] -2228*c[1]*c[2]*c[3]*c[4]*c[6] -5629112*c[16] +6*c[4]^4 -18249*c[8]^2 -120*c[1]^3*c[2]*c[3]^2*c[5] +60*c[1]*c[2]^2*c[3]^2*c[5] -861*c[1]^5*c[2]*c[4]*c[5] +1230*c[1]^3*c[2]^2*c[4]*c[5] -410*c[1]*c[2]^3*c[4]*c[5] +540*c[1]^4*c[3]*c[4]*c[5] +216*c[2]^2*c[3]*c[4]*c[5] +186*c[1]*c[3]^2*c[4]*c[5] +792*c[1]*c[2]*c[4]^2*c[5] -1244*c[1]*c[2]*c[3]*c[5]^2 -777*c[1]^5*c[2]*c[3]*c[6] +990*c[1]^3*c[2]^2*c[3]*c[6] -290*c[1]*c[2]^3*c[3]*c[6] -1110*c[1]^2*c[2]*c[3]^2*c[6] -4315*c[1]^4*c[2]*c[4]*c[6] +4490*c[1]^2*c[2]^2*c[4]*c[6] +1740*c[1]^3*c[3]*c[4]*c[6] -10340*c[1]^3*c[2]*c[5]*c[6] +6618*c[1]*c[2]^2*c[5]*c[6] +4098*c[1]^2*c[3]*c[5]*c[6] -2256*c[2]*c[3]*c[5]*c[6] -6173*c[1]*c[4]*c[5]*c[6] -5345*c[1]^4*c[2]*c[3]*c[7] +4030*c[1]^2*c[2]^2*c[3]*c[7] -3796*c[1]*c[2]*c[3]^2*c[7] -15555*c[1]^3*c[2]*c[4]*c[7] +11084*c[1]*c[2]^2*c[4]*c[7] +1636*c[1]^2*c[3]*c[4]*c[7] -1658*c[2]*c[3]*c[4]*c[7] -21404*c[1]^2*c[2]*c[5]*c[7] +3493*c[1]*c[3]*c[5]*c[7] -21340*c[1]*c[2]*c[6]*c[7] -23715*c[1]^3*c[2]*c[3]*c[8] +9222*c[1]*c[2]^2*c[3]*c[8] -38851*c[1]^2*c[2]*c[4]*c[8] -8096*c[1]*c[3]*c[4]*c[8] -30304*c[1]*c[2]*c[5]*c[8] -70507*c[1]^2*c[2]*c[3]*c[9] -64950*c[1]*c[2]*c[4]*c[9] -135086*c[1]*c[2]*c[3]*c[10] -120*c[1]^3*c[2]*c[3]*c[4]^2 +60*c[1]*c[2]^2*c[3]*c[4]^2 -56*c[1]^6*c[2]*c[3]*c[5] +105*c[1]^4*c[2]^2*c[3]*c[5] -60*c[1]^2*c[2]^3*c[3]*c[5] -56*c[1]^6*c[2]*c[4]^2 +105*c[1]^4*c[2]^2*c[4]^2 -60*c[1]^2*c[2]^3*c[4]^2 +42*c[1]^5*c[3]*c[4]^2 +30*c[1]^2*c[3]^2*c[4]^2 -24218*c[1]^2*c[3]*c[11] -150406*c[2]*c[3]*c[11] -485642*c[1]*c[4]*c[11] -1235300*c[1]^2*c[2]*c[12] -488602*c[1]*c[3]*c[12] -2381308*c[1]*c[2]*c[13] +210*c[2]^2*c[3]^2*c[6] +222*c[1]*c[3]^3*c[6] +966*c[1]^6*c[4]*c[6] -622*c[2]^3*c[4]*c[6] +114*c[3]^2*c[4]*c[6] -2867*c[1]^2*c[4]^2*c[6] +1465*c[2]*c[4]^2*c[6] +2895*c[1]^5*c[5]*c[6] -8804*c[1]^2*c[2]*c[6]^2 +1493*c[1]*c[3]*c[6]^2 +104*c[1]^7*c[2]*c[7] -1302*c[1]^5*c[2]^2*c[7] +2220*c[1]^3*c[2]^3*c[7] -800*c[1]*c[2]^4*c[7] +1554*c[1]^6*c[3]*c[7] -362*c[2]^3*c[3]*c[7] +3550*c[1]^3*c[3]^2*c[7] +3791*c[1]^5*c[4]*c[7] -7772*c[1]*c[4]^2*c[7] +6330*c[1]^4*c[5]*c[7] +6902*c[2]^2*c[5]*c[7] -7171*c[4]*c[5]*c[7] +3567*c[1]^3*c[6]*c[7] -1029*c[3]*c[6]*c[7] -1120*c[1]^6*c[2]*c[8] -6310*c[1]^4*c[2]^2*c[8] +10140*c[1]^2*c[2]^3*c[8] -12*c[2]*c[3]^2*c[4]^2 +90*c[1]^2*c[2]*c[4]^3 -36*c[1]*c[3]*c[4]^3 +9*c[1]^8*c[3]*c[5] +5*c[2]^4*c[3]*c[5] +42*c[1]^5*c[3]^2*c[5] +30*c[1]^2*c[3]^3*c[5] -12*c[2]*c[3]^3*c[5] +164*c[1]^7*c[4]*c[5] -660*c[1]^3*c[4]^2*c[5] -186*c[3]*c[4]^2*c[5] -1810*c[1]^4*c[2]*c[5]^2 +1820*c[1]^2*c[2]^2*c[5]^2 +1030*c[1]^3*c[3]*c[5]^2 -1336*c[1]^2*c[4]*c[5]^2 +669*c[2]*c[4]*c[5]^2 +18*c[1]^8*c[2]*c[6] -112*c[1]^6*c[2]^2*c[6] +210*c[1]^4*c[2]^3*c[6] -120*c[1]^2*c[2]^4*c[6] +164*c[1]^7*c[3]*c[6] +585*c[1]^4*c[3]^2*c[6] +9542*c[1]^5*c[3]*c[8] +11209*c[1]^2*c[3]^2*c[8] -4878*c[2]*c[3]^2*c[8] +6887*c[1]^4*c[4]*c[8] +15342*c[2]^2*c[4]*c[8] +1540*c[1]^3*c[5]*c[8] -1593*c[3]*c[5]*c[8] -22437*c[1]^2*c[6]*c[8] -18526*c[2]*c[6]*c[8] -45172*c[1]*c[7]*c[8] -17296*c[1]^5*c[2]*c[9] -15510*c[1]^3*c[2]^2*c[9] +25780*c[1]*c[2]^3*c[9] +37441*c[1]^4*c[3]*c[9] +11423*c[2]^2*c[3]*c[9] +15608*c[1]*c[3]^2*c[9] -18797*c[1]^3*c[4]*c[9] -23598*c[3]*c[4]*c[9] -46649*c[1]^2*c[5]*c[9] -28035*c[2]*c[5]*c[9] -86531*c[1]*c[6]*c[9] -109938*c[1]^4*c[2]*c[10] -15282*c[1]^2*c[2]^2*c[10] +76166*c[1]^3*c[3]*c[10] -167839*c[1]^2*c[4]*c[10] -75576*c[2]*c[4]*c[10] -162329*c[1]*c[5]*c[10] -440840*c[1]^3*c[2]*c[11] +6688*c[1]*c[2]^2*c[11] -7426988*c[1]*c[15] +9*c[1]^8*c[4]^2 +5*c[2]^4*c[4]^2 -45*c[1]^4*c[4]^3 -18*c[2]^2*c[4]^3 +420*c[1]^6*c[5]^2 -244*c[2]^3*c[5]^2 +129*c[3]^2*c[5]^2 -177*c[1]*c[5]^3 +10*c[2]^5*c[6] -703*c[5]^2*c[6] +2824*c[1]^4*c[6]^2 +2711*c[2]^2*c[6]^2 -3489*c[4]*c[6]^2 +36*c[1]^9*c[7] +435*c[3]^3*c[7] -6517*c[1]^2*c[7]^2 -6661*c[2]*c[7]^2 +728*c[1]^8*c[8] -1620*c[2]^4*c[8] -11077*c[4]^2*c[8] +6856*c[1]^7*c[9] -50235*c[7]*c[9] +38552*c[1]^6*c[10] +35070*c[2]^3*c[10] +1284*c[3]^2*c[10] -102714*c[6]*c[10] +131092*c[1]^5*c[11] -190247*c[5]*c[11] +185936*c[1]^4*c[12] -34756*c[2]^2*c[12] -522098*c[4]*c[12] -545720*c[1]^3*c[13] -721207*c[3]*c[13] -3532088*c[1]^2*c[14] -2213662*c[2]*c[14] )

+t^8*( 16*s[[8]] +s[[4,4]] +2*s[[5,3]] +4*s[[6,2]] +8*s[[7,1]] )
+t^9*( -192*s[[9]] -16*s[[5,4]] -32*s[[6,3]] -64*s[[7,2]] -128*s[[8,1]] -2*s[[4,4,1]] -4*s[[5,3,1]] -8*s[[6,2,1]] -16*s[[7,1,1]] )
+t^10*( 3*s[[4,4,1,1]] +s[[4,4,2]] +6*s[[5,3,1,1]] +2*s[[5,3,2]] +35*s[[5,4,1]] +45*s[[5,5]] +12*s[[6,2,1,1]] +4*s[[6,2,2]] +70*s[[6,3,1]] +140*s[[6,4]] +24*s[[7,1,1,1]] +140*s[[7,2,1]] +280*s[[7,3]] +264*s[[8,1,1]] +560*s[[8,2]] +1088*s[[9,1]] +1312*s[[10]] )
+t^11*( -57*s[[5,4,1,1]] -19*s[[5,4,2]] -107*s[[5,5,1]] -16*s[[6,2,1,1,1]] -8*s[[6,2,2,1]] -114*s[[6,3,1,1]] -38*s[[6,3,2]] -333*s[[6,4,1]] -385*s[[6,5]] -32*s[[7,1,1,1,1]] -228*s[[7,2,1,1]] -76*s[[7,2,2]] -666*s[[7,3,1]] -890*s[[7,4]] -424*s[[8,1,1,1]] -1332*s[[8,2,1]] -1780*s[[8,3]] -2360*s[[9,1,1]] -3560*s[[9,2]] -6640*s[[10,1]] -6720*s[[11]] -4*s[[4,4,1,1,1]] -2*s[[4,4,2,1]] -8*s[[5,3,1,1,1]] -4*s[[5,3,2,1]] )
+t^12*( 744*s[[8,2,2]] +4464*s[[8,3,1]] +4394*s[[8,4]] +4064*s[[9,1,1,1]] +8976*s[[9,2,1]] +8820*s[[9,3]] +15040*s[[10,1,1]] +17736*s[[10,2]] +31760*s[[11,1]] +27424*s[[12]] +5*s[[4,4,1,1,1,1]] +3*s[[4,4,2,1,1]] +s[[4,4,2,2]] -s[[4,4,4]] +10*s[[5,3,1,1,1,1]] +6*s[[5,3,2,1,1]] +2*s[[5,3,2,2]] +82*s[[5,4,1,1,1]] +41*s[[5,4,2,1]] -5*s[[5,4,3]] +188*s[[5,5,1,1]] +58*s[[5,5,2]] +20*s[[6,2,1,1,1,1]] +12*s[[6,2,2,1,1]] +4*s[[6,2,2,2]] +164*s[[6,3,1,1,1]] +82*s[[6,3,2,1]] -6*s[[6,3,3]] +586*s[[6,4,1,1]] +176*s[[6,4,2]] +966*s[[6,5,1]] +626*s[[6,6]] +40*s[[7,1,1,1,1,1]] +328*s[[7,2,1,1,1]] +164*s[[7,2,2,1]] +1172*s[[7,3,1,1]] +360*s[[7,3,2]] +2224*s[[7,4,1]] +2091*s[[7,5]] +608*s[[8,1,1,1,1]] +2344*s[[8,2,1,1]] )
+t^13*( -8324*s[[8,3,1,1]] -1704*s[[8,3,2]] -10206*s[[8,4,1]] -7075*s[[8,5]] -6256*s[[9,1,1,1,1]] -16792*s[[9,2,1,1]] -4344*s[[9,2,2]] -21036*s[[9,3,1]] -14364*s[[9,4]] -27488*s[[10,1,1,1]] -43944*s[[10,2,1]] -29784*s[[10,3]] -71664*s[[11,1,1]] -62736*s[[11,2]] -110496*s[[12,1]] -77184*s[[13]] -12*s[[5,3,1,1,1,1,1]] -8*s[[5,3,2,1,1,1]] -4*s[[5,3,2,2,1]] -110*s[[5,4,1,1,1,1]] -66*s[[5,4,2,1,1]] -22*s[[5,4,2,2]] +15*s[[5,4,3,1]] +39*s[[5,4,4]] -290*s[[5,5,1,1,1]] -131*s[[5,5,2,1]] +65*s[[5,5,3]] -24*s[[6,2,1,1,1,1,1]] -16*s[[6,2,2,1,1,1]] -8*s[[6,2,2,2,1]] -220*s[[6,3,1,1,1,1]] -132*s[[6,3,2,1,1]] -44*s[[6,3,2,2]] +18*s[[6,3,3,1]] -906*s[[6,4,1,1,1]] -395*s[[6,4,2,1]] +195*s[[6,4,3]] -1800*s[[6,5,1,1]] -312*s[[6,5,2]] -1486*s[[6,6,1]] -48*s[[7,1,1,1,1,1,1]] -440*s[[7,2,1,1,1,1]] -264*s[[7,2,2,1,1]] -88*s[[7,2,2,2]] -1812*s[[7,3,1,1,1]] -814*s[[7,3,2,1]] +234*s[[7,3,3]] -4138*s[[7,4,1,1]] -696*s[[7,4,2]] -4874*s[[7,5,1]] -3036*s[[7,6]] -816*s[[8,1,1,1,1,1]] -3624*s[[8,2,1,1,1]] -1700*s[[8,2,2,1]] -6*s[[4,4,1,1,1,1,1]] -4*s[[4,4,2,1,1,1]] -2*s[[4,4,2,2,1]] +3*s[[4,4,4,1]] )
+t^14*( -6*s[[4,4,4,1,1]] -3*s[[4,4,4,2]] +14*s[[5,3,1,1,1,1,1,1]] +10*s[[5,3,2,1,1,1,1]] +6*s[[5,3,2,2,1,1]] +2*s[[5,3,2,2,2]] +141*s[[5,4,1,1,1,1,1]] +94*s[[5,4,2,1,1,1]] +47*s[[5,4,2,2,1]] -30*s[[5,4,3,1,1]] -15*s[[5,4,3,2]] -123*s[[5,4,4,1]] +415*s[[5,5,1,1,1,1]] +221*s[[5,5,2,1,1]] +69*s[[5,5,2,2]] -205*s[[5,5,3,1]] -354*s[[5,5,4]] +28*s[[6,2,1,1,1,1,1,1]] +20*s[[6,2,2,1,1,1,1]] +12*s[[6,2,2,2,1,1]] +4*s[[6,2,2,2,2]] +282*s[[6,3,1,1,1,1,1]] +188*s[[6,3,2,1,1,1]] +94*s[[6,3,2,2,1]] -36*s[[6,3,3,1,1]] -18*s[[6,3,3,2]] +1300*s[[6,4,1,1,1,1]] +664*s[[6,4,2,1,1]] +202*s[[6,4,2,2]] -615*s[[6,4,3,1]] -799*s[[6,4,4]] +2950*s[[6,5,1,1,1]] +563*s[[6,5,2,1]] -1951*s[[6,5,3]] +7*s[[4,4,1,1,1,1,1,1]] +5*s[[4,4,2,1,1,1,1]] +3*s[[4,4,2,2,1,1]] +s[[4,4,2,2,2]] +2728*s[[6,6,1,1]] -920*s[[6,6,2]] +56*s[[7,1,1,1,1,1,1,1]] +564*s[[7,2,1,1,1,1,1]] +376*s[[7,2,2,1,1,1]] +188*s[[7,2,2,2,1]] +2600*s[[7,3,1,1,1,1]] +1376*s[[7,3,2,1,1]] +428*s[[7,3,2,2]] -738*s[[7,3,3,1]] +6783*s[[7,4,1,1,1]] +1226*s[[7,4,2,1]] -3995*s[[7,4,3]] +8840*s[[7,5,1,1]] -3496*s[[7,5,2]] +2647*s[[7,6,1]] -576*s[[7,7]] +1048*s[[8,1,1,1,1,1,1]] +5200*s[[8,2,1,1,1,1]] +2896*s[[8,2,2,1,1]] +928*s[[8,2,2,2]] +13662*s[[8,3,1,1,1]] +3436*s[[8,3,2,1]] -4794*s[[8,3,3]] +18475*s[[8,4,1,1]] -6655*s[[8,4,2]] +4833*s[[8,5,1]] -3306*s[[8,6]] +8992*s[[9,1,1,1,1,1]] +27612*s[[9,2,1,1,1]] +9824*s[[9,2,2,1]] +38822*s[[9,3,1,1]] -6918*s[[9,3,2]] +11086*s[[9,4,1]] -9523*s[[9,5]] +45080*s[[10,1,1,1,1]] +83260*s[[10,2,1,1]] +5340*s[[10,2,2]] +34764*s[[10,3,1]] -16520*s[[10,4]] +134520*s[[11,1,1,1]] +107304*s[[11,2,1]] -14576*s[[11,3]] +202848*s[[12,1,1]] +26240*s[[12,2]] +95776*s[[13,1]] -37120*s[[14]] )
+t^15*( 38173*s[[7,6,2]] +26661*s[[7,7,1]] -1304*s[[8,1,1,1,1,1,1,1]] -7100*s[[8,2,1,1,1,1,1]] -4360*s[[8,2,2,1,1,1]] -2068*s[[8,2,2,2,1]] -20810*s[[8,3,1,1,1,1]] -5330*s[[8,3,2,1,1]] -584*s[[8,3,2,2]] +15870*s[[8,3,3,1]] -30559*s[[8,4,1,1,1]] +27518*s[[8,4,2,1]] +57315*s[[8,4,3]] +8300*s[[8,5,1,1]] +94682*s[[8,5,2]] +99387*s[[8,6,1]] +79010*s[[8,7]] -12328*s[[9,1,1,1,1,1,1]] -42100*s[[9,2,1,1,1,1]] -16852*s[[9,2,2,1,1]] -4216*s[[9,2,2,2]] -64990*s[[9,3,1,1,1]] +33908*s[[9,3,2,1]] +68778*s[[9,3,3]] +12630*s[[9,4,1,1]] +173830*s[[9,4,2]] +224242*s[[9,5,1]] +207982*s[[9,6]] -69032*s[[10,1,1,1,1,1]] -141596*s[[10,2,1,1,1]] +4432*s[[10,2,2,1]] -12932*s[[10,3,1,1]] +256020*s[[10,3,2]] +414724*s[[10,4,1]] +438143*s[[10,5]] -230728*s[[11,1,1,1,1]] -140440*s[[11,2,1,1]] +237120*s[[11,2,2]] +653272*s[[11,3,1]] +823360*s[[11,4]] -329648*s[[12,1,1,1]] +778016*s[[12,2,1]] +1418720*s[[12,3]] +589120*s[[13,1,1]] +2153440*s[[13,2]] +2798912*s[[14,1]] +2725248*s[[15]] -8*s[[4,4,1,1,1,1,1,1,1]] -6*s[[4,4,2,1,1,1,1,1]] -4*s[[4,4,2,2,1,1,1]] -2*s[[4,4,2,2,2,1]] +10*s[[4,4,4,1,1,1]] +8*s[[4,4,4,2,1]] +s[[4,4,4,3]] -16*s[[5,3,1,1,1,1,1,1,1]] -12*s[[5,3,2,1,1,1,1,1]] -8*s[[5,3,2,2,1,1,1]] -4*s[[5,3,2,2,2,1]] -175*s[[5,4,1,1,1,1,1,1]] -125*s[[5,4,2,1,1,1,1]] -75*s[[5,4,2,2,1,1]] -25*s[[5,4,2,2,2]] +50*s[[5,4,3,1,1,1]] +40*s[[5,4,3,2,1]] +5*s[[5,4,3,3]] +258*s[[5,4,4,1,1]] +129*s[[5,4,4,2]] -565*s[[5,5,1,1,1,1,1]] -330*s[[5,5,2,1,1,1]] -151*s[[5,5,2,2,1]] +430*s[[5,5,3,1,1]] +215*s[[5,5,3,2]] +1170*s[[5,5,4,1]] +838*s[[5,5,5]] -32*s[[6,2,1,1,1,1,1,1,1]] -24*s[[6,2,2,1,1,1,1,1]] -16*s[[6,2,2,2,1,1,1]] -8*s[[6,2,2,2,2,1]] -350*s[[6,3,1,1,1,1,1,1]] -250*s[[6,3,2,1,1,1,1]] -150*s[[6,3,2,2,1,1]] -50*s[[6,3,2,2,2]] +60*s[[6,3,3,1,1,1]] +48*s[[6,3,3,2,1]] +6*s[[6,3,3,3]] -1775*s[[6,4,1,1,1,1,1]] -990*s[[6,4,2,1,1,1]] -437*s[[6,4,2,2,1]] +1290*s[[6,4,3,1,1]] +645*s[[6,4,3,2]] +2645*s[[6,4,4,1]] -4485*s[[6,5,1,1,1,1]] -771*s[[6,5,2,1,1]] +63*s[[6,5,2,2]] +6455*s[[6,5,3,1]] +7394*s[[6,5,4]] -4542*s[[6,6,1,1,1]] +3832*s[[6,6,2,1]] +9740*s[[6,6,3]] -64*s[[7,1,1,1,1,1,1,1,1]] -700*s[[7,2,1,1,1,1,1,1]] -500*s[[7,2,2,1,1,1,1]] -300*s[[7,2,2,2,1,1]] -100*s[[7,2,2,2,2]] -3550*s[[7,3,1,1,1,1,1]] -2060*s[[7,3,2,1,1,1]] -938*s[[7,3,2,2,1]] +1548*s[[7,3,3,1,1]] +774*s[[7,3,3,2]] -10325*s[[7,4,1,1,1,1]] -1633*s[[7,4,2,1,1]] +216*s[[7,4,2,2]] +13225*s[[7,4,3,1]] +11463*s[[7,4,4]] -14627*s[[7,5,1,1,1]] +14182*s[[7,5,2,1]] +32197*s[[7,5,3]] +1679*s[[7,6,1,1]] )
+t^16*( -2461270*s[[10,6]] +373248*s[[11,1,1,1,1,1]] +178988*s[[11,2,1,1,1]] -914848*s[[11,2,2,1]] -2222662*s[[11,3,1,1]] -3448466*s[[11,3,2]] -6109372*s[[11,4,1]] -4939030*s[[11,5]] +535032*s[[12,1,1,1,1]] -2813084*s[[12,2,1,1]] -3796876*s[[12,2,2]] -10290664*s[[12,3,1]] -9242505*s[[12,4]] -2297304*s[[13,1,1,1]] -14797088*s[[13,2,1]] -16250290*s[[13,3]] -15121872*s[[14,1,1]] -25796420*s[[14,2]] -33821480*s[[15,1]] -26873680*s[[16]] -34866*s[[8,3,3,1,1]] -17424*s[[8,3,3,2]] +48166*s[[8,4,1,1,1,1]] -65890*s[[8,4,2,1,1]] -37733*s[[8,4,2,2]] -198825*s[[8,4,3,1]] -129481*s[[8,4,4]] -32933*s[[8,5,1,1,1]] -338937*s[[8,5,2,1]] -386649*s[[8,5,3]] -333882*s[[8,6,1,1]] -583485*s[[8,6,2]] -623313*s[[8,7,1]] -301245*s[[8,8]] +16320*s[[9,1,1,1,1,1,1,1]] +60980*s[[9,2,1,1,1,1,1]] +25900*s[[9,2,2,1,1,1]] +8524*s[[9,2,2,2,1]] +103052*s[[9,3,1,1,1,1]] -85388*s[[9,3,2,1,1]] -52954*s[[9,3,2,2]] -238590*s[[9,3,3,1]] -57553*s[[9,4,1,1,1]] -624562*s[[9,4,2,1]] -647405*s[[9,4,3]] -745456*s[[9,5,1,1]] -1248280*s[[9,5,2]] -1603279*s[[9,6,1]] -1087410*s[[9,7]] +100680*s[[10,1,1,1,1,1,1]] +226264*s[[10,2,1,1,1,1]] -31600*s[[10,2,2,1,1]] -38372*s[[10,2,2,2]] -33266*s[[10,3,1,1,1]] -932444*s[[10,3,2,1]] -776886*s[[10,3,3]] -1383371*s[[10,4,1,1]] -2240909*s[[10,4,2]] -3305491*s[[10,5,1]] -9205*s[[6,6,2,1,1]] -5314*s[[6,6,2,2]] -33769*s[[6,6,3,1]] -32058*s[[6,6,4]] +72*s[[7,1,1,1,1,1,1,1,1,1]] +848*s[[7,2,1,1,1,1,1,1,1]] +636*s[[7,2,2,1,1,1,1,1]] +424*s[[7,2,2,2,1,1,1]] +212*s[[7,2,2,2,2,1]] +4676*s[[7,3,1,1,1,1,1,1]] +2880*s[[7,3,2,1,1,1,1]] +1544*s[[7,3,2,2,1,1]] +484*s[[7,3,2,2,2]] -2700*s[[7,3,3,1,1,1]] -2160*s[[7,3,3,2,1]] -270*s[[7,3,3,3]] +14945*s[[7,4,1,1,1,1,1]] +1975*s[[7,4,2,1,1,1]] -1409*s[[7,4,2,2,1]] -29055*s[[7,4,3,1,1]] -14520*s[[7,4,3,2]] -39765*s[[7,4,4,1]] +23034*s[[7,5,1,1,1,1]] -33739*s[[7,5,2,1,1]] -19165*s[[7,5,2,2]] -111624*s[[7,5,3,1]] -95804*s[[7,5,4]] -10055*s[[7,6,1,1,1]] -136932*s[[7,6,2,1]] -167142*s[[7,6,3]] -90779*s[[7,7,1,1]] -164472*s[[7,7,2]] +1584*s[[8,1,1,1,1,1,1,1,1]] +9352*s[[8,2,1,1,1,1,1,1]] +6120*s[[8,2,2,1,1,1,1]] +3448*s[[8,2,2,2,1,1]] +1112*s[[8,2,2,2,2]] +30130*s[[8,3,1,1,1,1,1]] +7550*s[[8,3,2,1,1,1]] +14*s[[8,3,2,2,1]] +742*s[[5,5,1,1,1,1,1,1]] +460*s[[5,5,2,1,1,1,1]] +248*s[[5,5,2,2,1,1]] +78*s[[5,5,2,2,2]] -750*s[[5,5,3,1,1,1]] -600*s[[5,5,3,2,1]] -75*s[[5,5,3,3]] -2566*s[[5,5,4,1,1]] -1284*s[[5,5,4,2]] -2895*s[[5,5,5,1]] +36*s[[6,2,1,1,1,1,1,1,1,1]] +28*s[[6,2,2,1,1,1,1,1,1]] +20*s[[6,2,2,2,1,1,1,1]] +12*s[[6,2,2,2,2,1,1]] +4*s[[6,2,2,2,2,2]] +424*s[[6,3,1,1,1,1,1,1,1]] +318*s[[6,3,2,1,1,1,1,1]] +212*s[[6,3,2,2,1,1,1]] +106*s[[6,3,2,2,2,1]] -90*s[[6,3,3,1,1,1,1]] -90*s[[6,3,3,2,1,1]] -36*s[[6,3,3,2,2]] -18*s[[6,3,3,3,1]] +2338*s[[6,4,1,1,1,1,1,1]] +1380*s[[6,4,2,1,1,1,1]] +712*s[[6,4,2,2,1,1]] +218*s[[6,4,2,2,2]] -2250*s[[6,4,3,1,1,1]] -1800*s[[6,4,3,2,1]] -225*s[[6,4,3,3]] -5811*s[[6,4,4,1,1]] -2904*s[[6,4,4,2]] +6480*s[[6,5,1,1,1,1,1]] +960*s[[6,5,2,1,1,1]] -528*s[[6,5,2,2,1]] -14173*s[[6,5,3,1,1]] -7086*s[[6,5,3,2]] -25615*s[[6,5,4,1]] -15362*s[[6,5,5]] +7164*s[[6,6,1,1,1,1]] +3*s[[4,4,2,2,2,1,1]] +s[[4,4,2,2,2,2]] -15*s[[4,4,4,1,1,1,1]] -15*s[[4,4,4,2,1,1]] -6*s[[4,4,4,2,2]] -3*s[[4,4,4,3,1]] +18*s[[5,3,1,1,1,1,1,1,1,1]] +14*s[[5,3,2,1,1,1,1,1,1]] +10*s[[5,3,2,2,1,1,1,1]] +6*s[[5,3,2,2,2,1,1]] +2*s[[5,3,2,2,2,2]] +212*s[[5,4,1,1,1,1,1,1,1]] +159*s[[5,4,2,1,1,1,1,1]] +106*s[[5,4,2,2,1,1,1]] +53*s[[5,4,2,2,2,1]] -75*s[[5,4,3,1,1,1,1]] -75*s[[5,4,3,2,1,1]] -30*s[[5,4,3,2,2]] -15*s[[5,4,3,3,1]] -450*s[[5,4,4,1,1,1]] -360*s[[5,4,4,2,1]] -45*s[[5,4,4,3]] +9*s[[4,4,1,1,1,1,1,1,1,1]] +7*s[[4,4,2,1,1,1,1,1,1]] +5*s[[4,4,2,2,1,1,1,1]] )

+t^10*( -c[4]*c[6] +c[5]^2 )
+t^11*( 2*c[1]*c[4]*c[6] -2*c[1]*c[5]^2 +3*c[4]*c[7] -3*c[5]*c[6] )
+t^12*( -3*c[1]^2*c[4]*c[6] +3*c[1]^2*c[5]^2 -7*c[1]*c[4]*c[7] +7*c[1]*c[5]*c[6] +2*c[2]*c[4]*c[6] -2*c[2]*c[5]^2 -7*c[4]*c[8] +7*c[5]*c[7] )
+t^13*( 4*c[1]^3*c[4]*c[6] -4*c[1]^3*c[5]^2 +12*c[1]^2*c[4]*c[7] -12*c[1]^2*c[5]*c[6] -6*c[1]*c[2]*c[4]*c[6] +6*c[1]*c[2]*c[5]^2 +22*c[1]*c[4]*c[8] -19*c[1]*c[5]*c[7] -3*c[1]*c[6]^2 -6*c[2]*c[4]*c[7] +6*c[2]*c[5]*c[6] +3*c[3]*c[4]*c[6] -3*c[3]*c[5]^2 +21*c[4]*c[9] -16*c[5]*c[8] -5*c[6]*c[7] )
+t^14*( -5*c[1]^4*c[4]*c[6] +5*c[1]^4*c[5]^2 -18*c[1]^3*c[4]*c[7] +18*c[1]^3*c[5]*c[6] +12*c[1]^2*c[2]*c[4]*c[6] -12*c[1]^2*c[2]*c[5]^2 -46*c[1]^2*c[4]*c[8] +37*c[1]^2*c[5]*c[7] +9*c[1]^2*c[6]^2 +21*c[1]*c[2]*c[4]*c[7] -21*c[1]*c[2]*c[5]*c[6] -9*c[1]*c[3]*c[4]*c[6] +9*c[1]*c[3]*c[5]^2 -3*c[2]^2*c[4]*c[6] +3*c[2]^2*c[5]^2 -97*c[1]*c[4]*c[9] +47*c[1]*c[5]*c[8] +50*c[1]*c[6]*c[7] +5*c[2]*c[4]*c[8] -14*c[2]*c[5]*c[7] +9*c[2]*c[6]^2 -18*c[3]*c[4]*c[7] +18*c[3]*c[5]*c[6] -94*c[4]*c[10] +24*c[5]*c[9] +36*c[6]*c[8] +34*c[7]^2 )
+t^15*( 6*c[1]^5*c[4]*c[6] -6*c[1]^5*c[5]^2 +25*c[1]^4*c[4]*c[7] -25*c[1]^4*c[5]*c[6] -20*c[1]^3*c[2]*c[4]*c[6] +20*c[1]^3*c[2]*c[5]^2 +80*c[1]^3*c[4]*c[8] -62*c[1]^3*c[5]*c[7] -18*c[1]^3*c[6]^2 -48*c[1]^2*c[2]*c[4]*c[7] +48*c[1]^2*c[2]*c[5]*c[6] +18*c[1]^2*c[3]*c[4]*c[6] -18*c[1]^2*c[3]*c[5]^2 +12*c[1]*c[2]^2*c[4]*c[6] -12*c[1]*c[2]^2*c[5]^2 +245*c[1]^2*c[4]*c[9] -100*c[1]^2*c[5]*c[8] -145*c[1]^2*c[6]*c[7] -37*c[1]*c[2]*c[4]*c[8] +58*c[1]*c[2]*c[5]*c[7] -21*c[1]*c[2]*c[6]^2 +60*c[1]*c[3]*c[4]*c[7] -60*c[1]*c[3]*c[5]*c[6] +c[1]*c[4]^2*c[6] -c[1]*c[4]*c[5]^2 +9*c[2]^2*c[4]*c[7] -9*c[2]^2*c[5]*c[6] -9*c[2]*c[3]*c[4]*c[6] +9*c[2]*c[3]*c[5]^2 +504*c[1]*c[4]*c[10] -9*c[1]*c[5]*c[9] -288*c[1]*c[6]*c[8] -207*c[1]*c[7]^2 +21*c[2]*c[4]*c[9] +69*c[2]*c[5]*c[8] -90*c[2]*c[6]*c[7] +78*c[3]*c[4]*c[8] -39*c[3]*c[5]*c[7] -39*c[3]*c[6]^2 +8*c[4]^2*c[7] -3*c[4]*c[5]*c[6] -5*c[5]^3 +426*c[4]*c[11] +110*c[5]*c[10] -192*c[6]*c[9] -344*c[7]*c[8] )
+t^16*( -7*c[1]^6*c[4]*c[6] +7*c[1]^6*c[5]^2 -33*c[1]^5*c[4]*c[7] +33*c[1]^5*c[5]*c[6] +30*c[1]^4*c[2]*c[4]*c[6] -30*c[1]^4*c[2]*c[5]^2 -125*c[1]^4*c[4]*c[8] +95*c[1]^4*c[5]*c[7] +30*c[1]^4*c[6]^2 +90*c[1]^3*c[2]*c[4]*c[7] -90*c[1]^3*c[2]*c[5]*c[6] -30*c[1]^3*c[3]*c[4]*c[6] +30*c[1]^3*c[3]*c[5]^2 -30*c[1]^2*c[2]^2*c[4]*c[6] +30*c[1]^2*c[2]^2*c[5]^2 -483*c[1]^3*c[4]*c[9] +183*c[1]^3*c[5]*c[8] +300*c[1]^3*c[6]*c[7] +122*c[1]^2*c[2]*c[4]*c[8] -152*c[1]^2*c[2]*c[5]*c[7] +30*c[1]^2*c[2]*c[6]^2 -132*c[1]^2*c[3]*c[4]*c[7] +132*c[1]^2*c[3]*c[5]*c[6] -4*c[1]^2*c[4]^2*c[6] +4*c[1]^2*c[4]*c[5]^2 -42*c[1]*c[2]^2*c[4]*c[7] +42*c[1]*c[2]^2*c[5]*c[6] +36*c[1]*c[2]*c[3]*c[4]*c[6] -36*c[1]*c[2]*c[3]*c[5]^2 +4*c[2]^3*c[4]*c[6] -4*c[2]^3*c[5]^2 -1398*c[1]^2*c[4]*c[10] -47*c[1]^2*c[5]*c[9] +858*c[1]^2*c[6]*c[8] +587*c[1]^2*c[7]^2 +84*c[1]*c[2]*c[4]*c[9] -275*c[1]*c[2]*c[5]*c[8] +191*c[1]*c[2]*c[6]*c[7] -296*c[1]*c[3]*c[4]*c[8] +149*c[1]*c[3]*c[5]*c[7] +147*c[1]*c[3]*c[6]^2 -34*c[1]*c[4]^2*c[7] +16*c[1]*c[4]*c[5]*c[6] +18*c[1]*c[5]^3 +14*c[2]^2*c[4]*c[8] +19*c[2]^2*c[5]*c[7] -33*c[2]^2*c[6]^2 +60*c[2]*c[3]*c[4]*c[7] -60*c[2]*c[3]*c[5]*c[6] +2*c[2]*c[4]^2*c[6] -2*c[2]*c[4]*c[5]^2 -6*c[3]^2*c[4]*c[6] +6*c[3]^2*c[5]^2 -2374*c[1]*c[4]*c[11] -928*c[1]*c[5]*c[10] +1172*c[1]*c[6]*c[9] +2130*c[1]*c[7]*c[8] -42*c[2]*c[4]*c[10] -329*c[2]*c[5]*c[9] +204*c[2]*c[6]*c[8] +167*c[2]*c[7]^2 -306*c[3]*c[4]*c[9] +17*c[3]*c[5]*c[8] +289*c[3]*c[6]*c[7] -54*c[4]^2*c[8] -60*c[4]*c[5]*c[7] +72*c[4]*c[6]^2 +42*c[5]^2*c[6] -1706*c[4]*c[12] -1102*c[5]*c[11] +520*c[6]*c[10] +1464*c[7]*c[9] +824*c[8]^2 )

+t^10*( s[[5,5]] )
+t^11*( -2*s[[5,5,1]] -5*s[[6,5]] )
+t^12*( 11*s[[6,5,1]] +10*s[[6,6]] +15*s[[7,5]] +3*s[[5,5,1,1]] +s[[5,5,2]] )
+t^13*( -4*s[[5,5,1,1,1]] -2*s[[5,5,2,1]] -s[[5,5,3]] -18*s[[6,5,1,1]] -9*s[[6,5,2]] -27*s[[6,6,1]] -43*s[[7,5,1]] -50*s[[7,6]] -50*s[[8,5]] )
+t^14*( 80*s[[7,5,2]] +234*s[[7,6,1]] +150*s[[7,7]] +222*s[[8,5,1]] +355*s[[8,6]] +252*s[[9,5]] +5*s[[5,5,1,1,1,1]] +3*s[[5,5,2,1,1]] +s[[5,5,2,2]] +3*s[[5,5,3,1]] +5*s[[5,5,4]] +26*s[[6,5,1,1,1]] +22*s[[6,5,2,1]] +23*s[[6,5,3]] +51*s[[6,6,1,1]] +54*s[[6,6,2]] +85*s[[7,5,1,1]] )
+t^15*( -142*s[[7,5,1,1,1]] -236*s[[7,5,2,1]] -255*s[[7,5,3]] -576*s[[7,6,1,1]] -829*s[[7,6,2]] -997*s[[7,7,1]] -545*s[[8,5,1,1]] -655*s[[8,5,2]] -2181*s[[8,6,1]] -2055*s[[8,7]] -1390*s[[9,5,1]] -2721*s[[9,6]] -6*s[[5,5,1,1,1,1,1]] -4*s[[5,5,2,1,1,1]] -2*s[[5,5,2,2,1]] -6*s[[5,5,3,1,1]] -3*s[[5,5,3,2]] -16*s[[5,5,4,1]] -13*s[[5,5,5]] -35*s[[6,5,1,1,1,1]] -39*s[[6,5,2,1,1]] -16*s[[6,5,2,2]] -73*s[[6,5,3,1]] -83*s[[6,5,4]] -82*s[[6,6,1,1,1]] -158*s[[6,6,2,1]] -202*s[[6,6,3]] -1384*s[[10,5]] )
+t^16*( 16865*s[[10,6]] +6720*s[[11,5]] +1049*s[[8,5,1,1,1]] +2130*s[[8,5,2,1]] +1911*s[[8,5,3]] +6020*s[[8,6,1,1]] +7910*s[[8,6,2]] +13395*s[[8,7,1]] +7375*s[[8,8]] +3794*s[[9,5,1,1]] +4346*s[[9,5,2]] +16716*s[[9,6,1]] +17715*s[[9,7]] +7936*s[[10,5,1]] +318*s[[6,6,2,1,1]] +147*s[[6,6,2,2]] +670*s[[6,6,3,1]] +642*s[[6,6,4]] +215*s[[7,5,1,1,1,1]] +479*s[[7,5,2,1,1]] +218*s[[7,5,2,2]] +855*s[[7,5,3,1]] +741*s[[7,5,4]] +1100*s[[7,6,1,1,1]] +2680*s[[7,6,2,1]] +2800*s[[7,6,3]] +2785*s[[7,7,1,1]] +3965*s[[7,7,2]] +7*s[[5,5,1,1,1,1,1,1]] +5*s[[5,5,2,1,1,1,1]] +3*s[[5,5,2,2,1,1]] +s[[5,5,2,2,2]] +10*s[[5,5,3,1,1,1]] +8*s[[5,5,3,2,1]] +s[[5,5,3,3]] +34*s[[5,5,4,1,1]] +17*s[[5,5,4,2]] +45*s[[5,5,5,1]] +45*s[[6,5,1,1,1,1,1]] +60*s[[6,5,2,1,1,1]] +39*s[[6,5,2,2,1]] +154*s[[6,5,3,1,1]] +77*s[[6,5,3,2]] +280*s[[6,5,4,1]] +201*s[[6,5,5]] +120*s[[6,6,1,1,1,1]] )

+t^12*( 72*c[1]^2*c[10] +60*c[1]*c[2]*c[9] +26*c[1]*c[3]*c[8] +17*c[1]*c[4]*c[7] +5*c[1]*c[5]*c[6] +12*c[2]^2*c[8] +10*c[2]*c[3]*c[7] +7*c[2]*c[4]*c[6] +c[2]*c[5]^2 +2*c[3]^2*c[6] +3*c[3]*c[4]*c[5] +c[4]^3 +360*c[1]*c[11] +156*c[2]*c[10] +70*c[3]*c[9] +43*c[4]*c[8] +14*c[5]*c[7] +5*c[6]^2 +432*c[12] )
+t^13*( -216*c[1]^3*c[10] -180*c[1]^2*c[2]*c[9] -78*c[1]^2*c[3]*c[8] -51*c[1]^2*c[4]*c[7] -15*c[1]^2*c[5]*c[6] -36*c[1]*c[2]^2*c[8] -30*c[1]*c[2]*c[3]*c[7] -21*c[1]*c[2]*c[4]*c[6] -3*c[1]*c[2]*c[5]^2 -6*c[1]*c[3]^2*c[6] -9*c[1]*c[3]*c[4]*c[5] -3*c[1]*c[4]^3 -2592*c[1]^2*c[11] -1728*c[1]*c[2]*c[10] -756*c[1]*c[3]*c[9] -430*c[1]*c[4]*c[8] -168*c[1]*c[5]*c[7] -50*c[1]*c[6]^2 -252*c[2]^2*c[9] -210*c[2]*c[3]*c[8] -119*c[2]*c[4]*c[7] -49*c[2]*c[5]*c[6] -42*c[3]^2*c[7] -49*c[3]*c[4]*c[6] -14*c[3]*c[5]^2 -21*c[4]^2*c[5] -8856*c[1]*c[12] -3276*c[2]*c[11] -1470*c[3]*c[10] -791*c[4]*c[9] -343*c[5]*c[8] -168*c[6]*c[7] -9072*c[13] )
+t^14*( 432*c[1]^4*c[10] +360*c[1]^3*c[2]*c[9] +156*c[1]^3*c[3]*c[8] +102*c[1]^3*c[4]*c[7] +30*c[1]^3*c[5]*c[6] +72*c[1]^2*c[2]^2*c[8] +60*c[1]^2*c[2]*c[3]*c[7] +42*c[1]^2*c[2]*c[4]*c[6] +6*c[1]^2*c[2]*c[5]^2 +12*c[1]^2*c[3]^2*c[6] +18*c[1]^2*c[3]*c[4]*c[5] +6*c[1]^2*c[4]^3 +7128*c[1]^3*c[11] +4860*c[1]^2*c[2]*c[10] +2214*c[1]^2*c[3]*c[9] +1247*c[1]^2*c[4]*c[8] +498*c[1]^2*c[5]*c[7] +145*c[1]^2*c[6]^2 +648*c[1]*c[2]^2*c[9] +612*c[1]*c[2]*c[3]*c[8] +340*c[1]*c[2]*c[4]*c[7] +146*c[1]*c[2]*c[5]*c[6] +138*c[1]*c[3]^2*c[7] +161*c[1]*c[3]*c[4]*c[6] +46*c[1]*c[3]*c[5]^2 +69*c[1]*c[4]^2*c[5] -36*c[2]^3*c[8] -30*c[2]^2*c[3]*c[7] -21*c[2]^2*c[4]*c[6] -3*c[2]^2*c[5]^2 -6*c[2]*c[3]^2*c[6] -9*c[2]*c[3]*c[4]*c[5] -3*c[2]*c[4]^3 +45000*c[1]^2*c[12] +24324*c[1]*c[2]*c[11] +11174*c[1]*c[3]*c[10] +5795*c[1]*c[4]*c[9] +2579*c[1]*c[5]*c[8] +1272*c[1]*c[6]*c[7] +2460*c[2]^2*c[10] +2230*c[2]*c[3]*c[9] +1103*c[2]*c[4]*c[8] +508*c[2]*c[5]*c[7] +155*c[2]*c[6]^2 +488*c[3]^2*c[8] +494*c[3]*c[4]*c[7] +238*c[3]*c[5]*c[6] +142*c[4]^2*c[6] +102*c[4]*c[5]^2 +117648*c[1]*c[13] +36768*c[2]*c[12] +17080*c[3]*c[11] +8588*c[4]*c[10] +3988*c[5]*c[9] +1900*c[6]*c[8] +652*c[7]^2 +105408*c[14] )
+t^15*( -720*c[1]^5*c[10] -600*c[1]^4*c[2]*c[9] -260*c[1]^4*c[3]*c[8] -170*c[1]^4*c[4]*c[7] -50*c[1]^4*c[5]*c[6] -120*c[1]^3*c[2]^2*c[8] -100*c[1]^3*c[2]*c[3]*c[7] -70*c[1]^3*c[2]*c[4]*c[6] -10*c[1]^3*c[2]*c[5]^2 -20*c[1]^3*c[3]^2*c[6] -30*c[1]^3*c[3]*c[4]*c[5] -10*c[1]^3*c[4]^3 -14400*c[1]^4*c[11] -9696*c[1]^3*c[2]*c[10] -4600*c[1]^3*c[3]*c[9] -2580*c[1]^3*c[4]*c[8] -1040*c[1]^3*c[5]*c[7] -300*c[1]^3*c[6]^2 -1080*c[1]^2*c[2]^2*c[9] -1188*c[1]^2*c[2]*c[3]*c[8] -646*c[1]^2*c[2]*c[4]*c[7] -290*c[1]^2*c[2]*c[5]*c[6] -300*c[1]^2*c[3]^2*c[7] -350*c[1]^2*c[3]*c[4]*c[6] -100*c[1]^2*c[3]*c[5]^2 -150*c[1]^2*c[4]^2*c[5] +144*c[1]*c[2]^3*c[8] +120*c[1]*c[2]^2*c[3]*c[7] +84*c[1]*c[2]^2*c[4]*c[6] +12*c[1]*c[2]^2*c[5]^2 +24*c[1]*c[2]*c[3]^2*c[6] +36*c[1]*c[2]*c[3]*c[4]*c[5] +12*c[1]*c[2]*c[4]^3 -121104*c[1]^3*c[12] -66000*c[1]^2*c[2]*c[11] -33388*c[1]^2*c[3]*c[10] -17066*c[1]^2*c[4]*c[9] -7648*c[1]^2*c[5]*c[8] -3770*c[1]^2*c[6]*c[7] -4092*c[1]*c[2]^2*c[10] -6110*c[1]*c[2]*c[3]*c[9] -2809*c[1]*c[2]*c[4]*c[8] -1352*c[1]*c[2]*c[5]*c[7] -421*c[1]*c[2]*c[6]^2 -1822*c[1]*c[3]^2*c[8] -1815*c[1]*c[3]*c[4]*c[7] -867*c[1]*c[3]*c[5]*c[6] -506*c[1]*c[4]^2*c[6] -366*c[1]*c[4]*c[5]^2 +900*c[2]^3*c[9] +714*c[2]^2*c[3]*c[8] +425*c[2]^2*c[4]*c[7] +175*c[2]^2*c[5]*c[6] +120*c[2]*c[3]^2*c[7] +154*c[2]*c[3]*c[4]*c[6] +47*c[2]*c[3]*c[5]^2 +75*c[2]*c[4]^2*c[5] -6*c[3]^3*c[6] -9*c[3]^2*c[4]*c[5] -3*c[3]*c[4]^3 -528192*c[1]^2*c[13] -228408*c[1]*c[2]*c[12] -116096*c[1]*c[3]*c[11] -56572*c[1]*c[4]*c[10] -26274*c[1]*c[5]*c[9] -12572*c[1]*c[6]*c[8] -4318*c[1]*c[7]^2 -13212*c[2]^2*c[11] -15978*c[2]*c[3]*c[10] -7007*c[2]*c[4]*c[9] -3241*c[2]*c[5]*c[8] -1710*c[2]*c[6]*c[7] -4362*c[3]^2*c[9] -4007*c[3]*c[4]*c[8] -1810*c[3]*c[5]*c[7] -597*c[3]*c[6]^2 -934*c[4]^2*c[7] -1014*c[4]*c[5]*c[6] -128*c[5]^3 -1124064*c[1]*c[14] -291456*c[2]*c[13] -146616*c[3]*c[12] -70468*c[4]*c[11] -33308*c[5]*c[10] -15948*c[6]*c[9] -8988*c[7]*c[8] -896832*c[15] )
+t^16*( 1080*c[1]^6*c[10] +900*c[1]^5*c[2]*c[9] +390*c[1]^5*c[3]*c[8] +255*c[1]^5*c[4]*c[7] +75*c[1]^5*c[5]*c[6] +180*c[1]^4*c[2]^2*c[8] +150*c[1]^4*c[2]*c[3]*c[7] +105*c[1]^4*c[2]*c[4]*c[6] +15*c[1]^4*c[2]*c[5]^2 +30*c[1]^4*c[3]^2*c[6] +45*c[1]^4*c[3]*c[4]*c[5] +15*c[1]^4*c[4]^3 +24840*c[1]^5*c[11] +16380*c[1]^4*c[2]*c[10] +8070*c[1]^4*c[3]*c[9] +4515*c[1]^4*c[4]*c[8] +1830*c[1]^4*c[5]*c[7] +525*c[1]^4*c[6]^2 +1440*c[1]^3*c[2]^2*c[9] +1920*c[1]^3*c[2]*c[3]*c[8] +1020*c[1]^3*c[2]*c[4]*c[7] +480*c[1]^3*c[2]*c[5]*c[6] +540*c[1]^3*c[3]^2*c[7] +630*c[1]^3*c[3]*c[4]*c[6] +180*c[1]^3*c[3]*c[5]^2 +270*c[1]^3*c[4]^2*c[5] -360*c[1]^2*c[2]^3*c[8] -300*c[1]^2*c[2]^2*c[3]*c[7] -210*c[1]^2*c[2]^2*c[4]*c[6] -30*c[1]^2*c[2]^2*c[5]^2 -60*c[1]^2*c[2]*c[3]^2*c[6] -90*c[1]^2*c[2]*c[3]*c[4]*c[5] -30*c[1]^2*c[2]*c[4]^3 +251208*c[1]^4*c[12] +130932*c[1]^3*c[2]*c[11] +73038*c[1]^3*c[3]*c[10] +36987*c[1]^3*c[4]*c[9] +16636*c[1]^3*c[5]*c[8] +8195*c[1]^3*c[6]*c[7] +900*c[1]^2*c[2]^2*c[10] +10686*c[1]^2*c[2]*c[3]*c[9] +4401*c[1]^2*c[2]*c[4]*c[8] +2271*c[1]^2*c[2]*c[5]*c[7] +732*c[1]^2*c[2]*c[6]^2 +4410*c[1]^2*c[3]^2*c[8] +4347*c[1]^2*c[3]*c[4]*c[7] +2064*c[1]^2*c[3]*c[5]*c[6] +1187*c[1]^2*c[4]^2*c[6] +862*c[1]^2*c[4]*c[5]^2 -3528*c[1]*c[2]^3*c[9] -2940*c[1]*c[2]^2*c[3]*c[8] -1734*c[1]*c[2]^2*c[4]*c[7] -726*c[1]*c[2]^2*c[5]*c[6] -528*c[1]*c[2]*c[3]^2*c[7] -672*c[1]*c[2]*c[3]*c[4]*c[6] -204*c[1]*c[2]*c[3]*c[5]^2 -324*c[1]*c[2]*c[4]^2*c[5] +24*c[1]*c[3]^3*c[6] +36*c[1]*c[3]^2*c[4]*c[5] +12*c[1]*c[3]*c[4]^3 +72*c[2]^4*c[8] +60*c[2]^3*c[3]*c[7] +42*c[2]^3*c[4]*c[6] +6*c[2]^3*c[5]^2 +12*c[2]^2*c[3]^2*c[6] +18*c[2]^2*c[3]*c[4]*c[5] +6*c[2]^2*c[4]^3 +1428408*c[1]^3*c[13] +593748*c[1]^2*c[2]*c[12] +360690*c[1]^2*c[3]*c[11] +171137*c[1]^2*c[4]*c[10] +79790*c[1]^2*c[5]*c[9] +38167*c[1]^2*c[6]*c[8] +13084*c[1]^2*c[7]^2 -14976*c[1]*c[2]^2*c[11] +36624*c[1]*c[2]*c[3]*c[10] +11672*c[1]*c[2]*c[4]*c[9] +5754*c[1]*c[2]*c[5]*c[8] +3202*c[1]*c[2]*c[6]*c[7] +18816*c[1]*c[3]^2*c[9] +16400*c[1]*c[3]*c[4]*c[8] +7452*c[1]*c[3]*c[5]*c[7] +2426*c[1]*c[3]*c[6]^2 +3501*c[1]*c[4]^2*c[7] +3885*c[1]*c[4]*c[5]*c[6] +500*c[1]*c[5]^3 -11520*c[2]^3*c[10] -9024*c[2]^2*c[3]*c[9] -5032*c[2]^2*c[4]*c[8] -2253*c[2]^2*c[5]*c[7] -695*c[2]^2*c[6]^2 -1296*c[2]*c[3]^2*c[8] -1700*c[2]*c[3]*c[4]*c[7] -830*c[2]*c[3]*c[5]*c[6] -633*c[2]*c[4]^2*c[6] -437*c[2]*c[4]*c[5]^2 +156*c[3]^3*c[7] +174*c[3]^2*c[4]*c[6] +52*c[3]^2*c[5]^2 +66*c[3]*c[4]^2*c[5] -4*c[4]^4 +4782960*c[1]^2*c[14] +1586256*c[1]*c[2]*c[13] +962360*c[1]*c[3]*c[12] +442028*c[1]*c[4]*c[11] +208795*c[1]*c[5]*c[10] +99861*c[1]*c[6]*c[9] +56116*c[1]*c[7]*c[8] +11856*c[2]^2*c[12] +82168*c[2]*c[3]*c[11] +27940*c[2]*c[4]*c[10] +12699*c[2]*c[5]*c[9] +6306*c[2]*c[6]*c[8] +2203*c[2]*c[7]^2 +33992*c[3]^2*c[10] +28076*c[3]*c[4]*c[9] +12633*c[3]*c[5]*c[8] +6645*c[3]*c[6]*c[7] +5453*c[4]^2*c[8] +5227*c[4]*c[5]*c[7] +1833*c[4]*c[6]^2 +1505*c[5]^2*c[6] +8580528*c[1]*c[15] +1777080*c[2]*c[14] +1032316*c[3]*c[13] +472670*c[4]*c[12] +225300*c[5]*c[11] +108490*c[6]*c[10] +55880*c[7]*c[9] +20424*c[8]^2 +6162912*c[16] )

+t^12*( s[[4,4,4]] +5*s[[5,4,3]] +5*s[[5,5,2]] +6*s[[6,3,3]] +19*s[[6,4,2]] +24*s[[6,5,1]] +24*s[[6,6]] +30*s[[7,3,2]] +65*s[[7,4,1]] +89*s[[7,5]] +36*s[[8,2,2]] +114*s[[8,3,1]] +211*s[[8,4]] +180*s[[9,2,1]] +390*s[[9,3]] +216*s[[10,1,1]] +684*s[[10,2]] +1080*s[[11,1]] +1296*s[[12]] )
+t^13*( -3*s[[4,4,4,1]] -15*s[[5,4,3,1]] -39*s[[5,4,4]] -15*s[[5,5,2,1]] -65*s[[5,5,3]] -18*s[[6,3,3,1]] -57*s[[6,4,2,1]] -195*s[[6,4,3]] -72*s[[6,5,1,1]] -312*s[[6,5,2]] -312*s[[6,6,1]] -90*s[[7,3,2,1]] -234*s[[7,3,3]] -195*s[[7,4,1,1]] -741*s[[7,4,2]] -1157*s[[7,5,1]] -1130*s[[7,6]] -108*s[[8,2,2,1]] -342*s[[8,3,1,1]] -1170*s[[8,3,2]] -2535*s[[8,4,1]] -3000*s[[8,5]] -540*s[[9,2,1,1]] -1404*s[[9,2,2]] -4446*s[[9,3,1]] -6234*s[[9,4]] -648*s[[10,1,1,1]] -7020*s[[10,2,1]] -11412*s[[10,3]] -8424*s[[11,1,1]] -19656*s[[11,2]] -29808*s[[12,1]] -31104*s[[13]] )
+t^14*( 90*s[[7,3,2,2]] +738*s[[7,3,3,1]] +390*s[[7,4,1,1,1]] +2337*s[[7,4,2,1]] +3995*s[[7,4,3]] +3382*s[[7,5,1,1]] +7534*s[[7,5,2]] +9694*s[[7,6,1]] +6078*s[[7,7]] +216*s[[8,2,2,1,1]] +108*s[[8,2,2,2]] +684*s[[8,3,1,1,1]] +3690*s[[8,3,2,1]] +4794*s[[8,3,3]] +7362*s[[8,4,1,1]] +15181*s[[8,4,2]] +24999*s[[8,5,1]] +22213*s[[8,6]] +1080*s[[9,2,1,1,1]] +4428*s[[9,2,2,1]] +12852*s[[9,3,1,1]] +23970*s[[9,3,2]] +49940*s[[9,4,1]] +50427*s[[9,5]] +1296*s[[10,1,1,1,1]] +20088*s[[10,2,1,1]] +28764*s[[10,2,2]] +87288*s[[10,3,1]] +99148*s[[10,4]] +23328*s[[11,1,1,1]] +136800*s[[11,2,1]] +179832*s[[11,3]] +160272*s[[12,1,1]] +304272*s[[12,2]] +442368*s[[13,1]] +409536*s[[14]] +6*s[[4,4,4,1,1]] +3*s[[4,4,4,2]] +30*s[[5,4,3,1,1]] +15*s[[5,4,3,2]] +123*s[[5,4,4,1]] +30*s[[5,5,2,1,1]] +15*s[[5,5,2,2]] +205*s[[5,5,3,1]] +352*s[[5,5,4]] +36*s[[6,3,3,1,1]] +18*s[[6,3,3,2]] +114*s[[6,4,2,1,1]] +57*s[[6,4,2,2]] +615*s[[6,4,3,1]] +799*s[[6,4,4]] +144*s[[6,5,1,1,1]] +984*s[[6,5,2,1]] +1947*s[[6,5,3]] +912*s[[6,6,1,1]] +2131*s[[6,6,2]] +180*s[[7,3,2,1,1]] )
+t^15*( -10*s[[4,4,4,1,1,1]] -8*s[[4,4,4,2,1]] -s[[4,4,4,3]] -300*s[[7,3,2,1,1,1]] -240*s[[7,3,2,2,1]] -1548*s[[7,3,3,1,1]] -774*s[[7,3,3,2]] -650*s[[7,4,1,1,1,1]] -4902*s[[7,4,2,1,1]] -2386*s[[7,4,2,2]] -13225*s[[7,4,3,1]] -11463*s[[7,4,4]] -6942*s[[7,5,1,1,1]] -24847*s[[7,5,2,1]] -32117*s[[7,5,3]] -28356*s[[7,6,1,1]] -46924*s[[7,6,2]] -44042*s[[7,7,1]] -360*s[[8,2,2,1,1,1]] -288*s[[8,2,2,2,1]] -1140*s[[8,3,1,1,1,1]] -7740*s[[8,3,2,1,1]] -3756*s[[8,3,2,2]] -15870*s[[8,3,3,1]] -15082*s[[8,4,1,1,1]] -50044*s[[8,4,2,1]] -57315*s[[8,4,3]] -72827*s[[8,5,1,1]] -115732*s[[8,5,2]] -159022*s[[8,6,1]] -108765*s[[8,7]] -1800*s[[9,2,1,1,1,1]] -9288*s[[9,2,2,1,1]] -4464*s[[9,2,2,2]] -26292*s[[9,3,1,1,1]] -78960*s[[9,3,2,1]] -68778*s[[9,3,3]] -144706*s[[9,4,1,1]] -217132*s[[9,4,2]] -353254*s[[9,5,1]] -281040*s[[9,6]] -50*s[[5,4,3,1,1,1]] -40*s[[5,4,3,2,1]] -5*s[[5,4,3,3]] -258*s[[5,4,4,1,1]] -129*s[[5,4,4,2]] -50*s[[5,5,2,1,1,1]] -40*s[[5,5,2,2,1]] -430*s[[5,5,3,1,1]] -215*s[[5,5,3,2]] -1164*s[[5,5,4,1]] -824*s[[5,5,5]] -60*s[[6,3,3,1,1,1]] -48*s[[6,3,3,2,1]] -6*s[[6,3,3,3]] -190*s[[6,4,2,1,1,1]] -152*s[[6,4,2,2,1]] -1290*s[[6,4,3,1,1]] -645*s[[6,4,3,2]] -2645*s[[6,4,4,1]] -240*s[[6,5,1,1,1,1]] -2064*s[[6,5,2,1,1]] -1008*s[[6,5,2,2]] -6443*s[[6,5,3,1]] -7354*s[[6,5,4]] -1872*s[[6,6,1,1,1]] -7031*s[[6,6,2,1]] -9716*s[[6,6,3]] -2160*s[[10,1,1,1,1,1]] -40968*s[[10,2,1,1,1]] -94536*s[[10,2,2,1]] -251220*s[[10,3,1,1]] -342624*s[[10,3,2]] -675782*s[[10,4,1]] -589385*s[[10,5]] -47088*s[[11,1,1,1,1]] -387864*s[[11,2,1,1]] -410328*s[[11,2,2]] -1175388*s[[11,3,1]] -1127940*s[[11,4]] -433296*s[[12,1,1,1]] -1822248*s[[12,2,1]] -2027880*s[[12,3]] -2065392*s[[13,1,1]] -3371760*s[[13,2]] -4699296*s[[14,1]] -3919104*s[[15]] )
+t^16*( 1038508*s[[9,5,1,1]] +1332666*s[[9,5,2]] +1833663*s[[9,6,1]] +1192990*s[[9,7]] +3240*s[[10,1,1,1,1,1,1]] +70740*s[[10,2,1,1,1,1]] +207144*s[[10,2,2,1,1]] +95868*s[[10,2,2,2]] +529650*s[[10,3,1,1,1]] +1170360*s[[10,3,2,1]] +770046*s[[10,3,3]] +1977415*s[[10,4,1,1]] +2416707*s[[10,4,2]] +3783935*s[[10,5,1]] +2691100*s[[10,6]] +81000*s[[11,1,1,1,1,1]] +813780*s[[11,2,1,1,1]] +1395576*s[[11,2,2,1]] +3413550*s[[11,3,1,1]] +3810294*s[[11,3,2]] +7080530*s[[11,4,1]] +5408691*s[[11,5]] +894888*s[[12,1,1,1,1]] +5201964*s[[12,2,1,1]] +4547124*s[[12,2,2]] +12251076*s[[12,3,1]] +10196394*s[[12,4]] +5581656*s[[13,1,1,1]] +18765720*s[[13,2,1]] +18183060*s[[13,3]] +20513952*s[[14,1,1]] +29729160*s[[14,2]] +39749616*s[[15,1]] +30163104*s[[16]] +25803*s[[7,5,2,2]] +110706*s[[7,5,3,1]] +94491*s[[7,5,4]] +60095*s[[7,6,1,1,1]] +160658*s[[7,6,2,1]] +165160*s[[7,6,3]] +130215*s[[7,7,1,1]] +175926*s[[7,7,2]] +540*s[[8,2,2,1,1,1,1]] +540*s[[8,2,2,2,1,1]] +216*s[[8,2,2,2,2]] +1710*s[[8,3,1,1,1,1,1]] +13500*s[[8,3,2,1,1,1]] +10458*s[[8,3,2,2,1]] +34866*s[[8,3,3,1,1]] +17208*s[[8,3,3,2]] +26085*s[[8,4,1,1,1,1]] +109776*s[[8,4,2,1,1]] +51791*s[[8,4,2,2]] +197611*s[[8,4,3,1]] +128130*s[[8,4,4]] +154117*s[[8,5,1,1,1]] +396033*s[[8,5,2,1]] +382281*s[[8,5,3]] +469238*s[[8,6,1,1]] +622251*s[[8,6,2]] +717361*s[[8,7,1]] +331799*s[[8,8]] +2700*s[[9,2,1,1,1,1,1]] +16200*s[[9,2,2,1,1,1]] +12420*s[[9,2,2,2,1]] +45450*s[[9,3,1,1,1,1]] +173160*s[[9,3,2,1,1]] +81366*s[[9,3,2,2]] +237270*s[[9,3,3,1]] +305745*s[[9,4,1,1,1]] +742524*s[[9,4,2,1]] +641315*s[[9,4,3]] +90*s[[6,3,3,1,1,1,1]] +90*s[[6,3,3,2,1,1]] +36*s[[6,3,3,2,2]] +18*s[[6,3,3,3,1]] +285*s[[6,4,2,1,1,1,1]] +285*s[[6,4,2,2,1,1]] +114*s[[6,4,2,2,2]] +2250*s[[6,4,3,1,1,1]] +1800*s[[6,4,3,2,1]] +199*s[[6,4,3,3]] +5811*s[[6,4,4,1,1]] +2849*s[[6,4,4,2]] +360*s[[6,5,1,1,1,1,1]] +3600*s[[6,5,2,1,1,1]] +2808*s[[6,5,2,2,1]] +14149*s[[6,5,3,1,1]] +6970*s[[6,5,3,2]] +25329*s[[6,5,4,1]] +15054*s[[6,5,5]] +3240*s[[6,6,1,1,1,1]] +15429*s[[6,6,2,1,1]] +7310*s[[6,6,2,2]] +33493*s[[6,6,3,1]] +31572*s[[6,6,4]] +450*s[[7,3,2,1,1,1,1]] +450*s[[7,3,2,2,1,1]] +180*s[[7,3,2,2,2]] +2700*s[[7,3,3,1,1,1]] +2160*s[[7,3,3,2,1]] +246*s[[7,3,3,3]] +975*s[[7,4,1,1,1,1,1]] +8550*s[[7,4,2,1,1,1]] +6645*s[[7,4,2,2,1]] +29055*s[[7,4,3,1,1]] +14310*s[[7,4,3,2]] +39480*s[[7,4,4,1]] +12015*s[[7,5,1,1,1,1]] +54505*s[[7,5,2,1,1]] +15*s[[4,4,4,1,1,1,1]] +15*s[[4,4,4,2,1,1]] +6*s[[4,4,4,2,2]] +3*s[[4,4,4,3,1]] -s[[4,4,4,4]] +75*s[[5,4,3,1,1,1,1]] +75*s[[5,4,3,2,1,1]] +30*s[[5,4,3,2,2]] +15*s[[5,4,3,3,1]] +450*s[[5,4,4,1,1,1]] +360*s[[5,4,4,2,1]] +36*s[[5,4,4,3]] +75*s[[5,5,2,1,1,1,1]] +75*s[[5,5,2,2,1,1]] +30*s[[5,5,2,2,2]] +750*s[[5,5,3,1,1,1]] +600*s[[5,5,3,2,1]] +65*s[[5,5,3,3]] +2554*s[[5,5,4,1,1]] +1257*s[[5,5,4,2]] +2837*s[[5,5,5,1]] )

+t^13*( -4*c[1]*c[4]*c[8] +3*c[1]*c[5]*c[7] +c[1]*c[6]^2 -2*c[2]*c[4]*c[7] +2*c[2]*c[5]*c[6] -c[3]*c[4]*c[6] +c[3]*c[5]^2 -8*c[4]*c[9] +5*c[5]*c[8] +3*c[6]*c[7] )
+t^14*( 12*c[1]^2*c[4]*c[8] -9*c[1]^2*c[5]*c[7] -3*c[1]^2*c[6]^2 +6*c[1]*c[2]*c[4]*c[7] -6*c[1]*c[2]*c[5]*c[6] +3*c[1]*c[3]*c[4]*c[6] -3*c[1]*c[3]*c[5]^2 +68*c[1]*c[4]*c[9] -32*c[1]*c[5]*c[8] -36*c[1]*c[6]*c[7] +22*c[2]*c[4]*c[8] -12*c[2]*c[5]*c[7] -10*c[2]*c[6]^2 +11*c[3]*c[4]*c[7] -11*c[3]*c[5]*c[6] +4*c[4]^2*c[6] -4*c[4]*c[5]^2 +88*c[4]*c[10] -27*c[5]*c[9] -40*c[6]*c[8] -21*c[7]^2 )
+t^15*( -24*c[1]^3*c[4]*c[8] +18*c[1]^3*c[5]*c[7] +6*c[1]^3*c[6]^2 -12*c[1]^2*c[2]*c[4]*c[7] +12*c[1]^2*c[2]*c[5]*c[6] -6*c[1]^2*c[3]*c[4]*c[6] +6*c[1]^2*c[3]*c[5]^2 -192*c[1]^2*c[4]*c[9] +85*c[1]^2*c[5]*c[8] +107*c[1]^2*c[6]*c[7] -60*c[1]*c[2]*c[4]*c[8] +30*c[1]*c[2]*c[5]*c[7] +30*c[1]*c[2]*c[6]^2 -36*c[1]*c[3]*c[4]*c[7] +36*c[1]*c[3]*c[5]*c[6] -13*c[1]*c[4]^2*c[6] +13*c[1]*c[4]*c[5]^2 +6*c[2]^2*c[4]*c[7] -6*c[2]^2*c[5]*c[6] +3*c[2]*c[3]*c[4]*c[6] -3*c[2]*c[3]*c[5]^2 -572*c[1]*c[4]*c[10] +137*c[1]*c[5]*c[9] +272*c[1]*c[6]*c[8] +163*c[1]*c[7]^2 -118*c[2]*c[4]*c[9] +24*c[2]*c[5]*c[8] +94*c[2]*c[6]*c[7] -71*c[3]*c[4]*c[8] +37*c[3]*c[5]*c[7] +34*c[3]*c[6]^2 -32*c[4]^2*c[7] +21*c[4]*c[5]*c[6] +11*c[5]^3 -568*c[4]*c[11] +72*c[5]*c[10] +200*c[6]*c[9] +296*c[7]*c[8] )
+t^16*( 40*c[1]^4*c[4]*c[8] -30*c[1]^4*c[5]*c[7] -10*c[1]^4*c[6]^2 +20*c[1]^3*c[2]*c[4]*c[7] -20*c[1]^3*c[2]*c[5]*c[6] +10*c[1]^3*c[3]*c[4]*c[6] -10*c[1]^3*c[3]*c[5]^2 +392*c[1]^3*c[4]*c[9] -168*c[1]^3*c[5]*c[8] -224*c[1]^3*c[6]*c[7] +108*c[1]^2*c[2]*c[4]*c[8] -48*c[1]^2*c[2]*c[5]*c[7] -60*c[1]^2*c[2]*c[6]^2 +78*c[1]^2*c[3]*c[4]*c[7] -78*c[1]^2*c[3]*c[5]*c[6] +28*c[1]^2*c[4]^2*c[6] -28*c[1]^2*c[4]*c[5]^2 -24*c[1]*c[2]^2*c[4]*c[7] +24*c[1]*c[2]^2*c[5]*c[6] -12*c[1]*c[2]*c[3]*c[4]*c[6] +12*c[1]*c[2]*c[3]*c[5]^2 +1628*c[1]^2*c[4]*c[10] -348*c[1]^2*c[5]*c[9] -794*c[1]^2*c[6]*c[8] -486*c[1]^2*c[7]^2 +250*c[1]*c[2]*c[4]*c[9] -12*c[1]*c[2]*c[5]*c[8] -238*c[1]*c[2]*c[6]*c[7] +263*c[1]*c[3]*c[4]*c[8] -137*c[1]*c[3]*c[5]*c[7] -126*c[1]*c[3]*c[6]^2 +113*c[1]*c[4]^2*c[7] -75*c[1]*c[4]*c[5]*c[6] -38*c[1]*c[5]^3 -78*c[2]^2*c[4]*c[8] +42*c[2]^2*c[5]*c[7] +36*c[2]^2*c[6]^2 -33*c[2]*c[3]*c[4]*c[7] +33*c[2]*c[3]*c[5]*c[6] -14*c[2]*c[4]^2*c[6] +14*c[2]*c[4]*c[5]^2 +3*c[3]^2*c[4]*c[6] -3*c[3]^2*c[5]^2 +3404*c[1]*c[4]*c[11] -298*c[1]*c[5]*c[10] -1192*c[1]*c[6]*c[9] -1914*c[1]*c[7]*c[8] +386*c[2]*c[4]*c[10] +14*c[2]*c[5]*c[9] -212*c[2]*c[6]*c[8] -188*c[2]*c[7]^2 +373*c[3]*c[4]*c[9] -103*c[3]*c[5]*c[8] -270*c[3]*c[6]*c[7] +168*c[4]^2*c[8] -17*c[4]*c[5]*c[7] -54*c[4]*c[6]^2 -97*c[5]^2*c[6] +2792*c[4]*c[12] -64*c[5]*c[11] -628*c[6]*c[10] -1304*c[7]*c[9] -796*c[8]^2 )

+t^13*( s[[5,5,3]] +3*s[[6,5,2]] +3*s[[6,6,1]] +7*s[[7,5,1]] +10*s[[7,6]] +15*s[[8,5]] )
+t^14*( -147*s[[8,5,1]] -250*s[[8,6]] -214*s[[9,5]] -3*s[[5,5,3,1]] -7*s[[5,5,4]] -9*s[[6,5,2,1]] -27*s[[6,5,3]] -9*s[[6,6,1,1]] -39*s[[6,6,2]] -21*s[[7,5,1,1]] -67*s[[7,5,2]] -130*s[[7,6,1]] -100*s[[7,7]] )
+t^15*( 6*s[[5,5,3,1,1]] +3*s[[5,5,3,2]] +22*s[[5,5,4,1]] +27*s[[5,5,5]] +18*s[[6,5,2,1,1]] +9*s[[6,5,2,2]] +85*s[[6,5,3,1]] +123*s[[6,5,4]] +18*s[[6,6,1,1,1]] +123*s[[6,6,2,1]] +226*s[[6,6,3]] +42*s[[7,5,1,1,1]] +211*s[[7,5,2,1]] +335*s[[7,5,3]] +380*s[[7,6,1,1]] +807*s[[7,6,2]] +857*s[[7,7,1]] +418*s[[8,5,1,1]] +759*s[[8,5,2]] +1983*s[[8,6,1]] +1880*s[[8,7]] +1514*s[[9,5,1]] +2689*s[[9,6]] +1706*s[[10,5]] )
+t^16*( -4300*s[[9,5,1,1]] -5916*s[[9,5,2]] -18012*s[[9,6,1]] -17935*s[[9,7]] -10758*s[[10,5,1]] -19165*s[[10,6]] -10030*s[[11,5]] -214*s[[7,5,2,2]] -1107*s[[7,5,3,1]] -1165*s[[7,5,4]] -780*s[[7,6,1,1,1]] -2657*s[[7,6,2,1]] -3292*s[[7,6,3]] -2505*s[[7,7,1,1]] -4020*s[[7,7,2]] -850*s[[8,5,1,1,1]] -2494*s[[8,5,2,1]] -2759*s[[8,5,3]] -5729*s[[8,6,1,1]] -8684*s[[8,6,2]] -13190*s[[8,7,1]] -7200*s[[8,8]] -30*s[[6,5,2,1,1,1]] -24*s[[6,5,2,2,1]] -178*s[[6,5,3,1,1]] -89*s[[6,5,3,2]] -406*s[[6,5,4,1]] -393*s[[6,5,5]] -30*s[[6,6,1,1,1,1]] -258*s[[6,6,2,1,1]] -126*s[[6,6,2,2]] -746*s[[6,6,3,1]] -848*s[[6,6,4]] -70*s[[7,5,1,1,1,1]] -442*s[[7,5,2,1,1]] -10*s[[5,5,3,1,1,1]] -8*s[[5,5,3,2,1]] -s[[5,5,3,3]] -46*s[[5,5,4,1,1]] -23*s[[5,5,4,2]] -89*s[[5,5,5,1]] )

+t^14*( -8*c[1]*c[4]*c[9] +12*c[1]*c[5]*c[8] -4*c[1]*c[6]*c[7] -4*c[2]*c[4]*c[8] +6*c[2]*c[5]*c[7] -2*c[2]*c[6]^2 -2*c[3]*c[4]*c[7] +2*c[3]*c[5]*c[6] -2*c[4]^2*c[6] +2*c[4]*c[5]^2 -16*c[4]*c[10] +24*c[5]*c[9] -8*c[6]*c[8] )
+t^15*( 24*c[1]^2*c[4]*c[9] -36*c[1]^2*c[5]*c[8] +12*c[1]^2*c[6]*c[7] +12*c[1]*c[2]*c[4]*c[8] -18*c[1]*c[2]*c[5]*c[7] +6*c[1]*c[2]*c[6]^2 +6*c[1]*c[3]*c[4]*c[7] -6*c[1]*c[3]*c[5]*c[6] +6*c[1]*c[4]^2*c[6] -6*c[1]*c[4]*c[5]^2 +136*c[1]*c[4]*c[10] -180*c[1]*c[5]*c[9] +32*c[1]*c[6]*c[8] +12*c[1]*c[7]^2 +44*c[2]*c[4]*c[9] -54*c[2]*c[5]*c[8] +10*c[2]*c[6]*c[7] +22*c[3]*c[4]*c[8] -24*c[3]*c[5]*c[7] +2*c[3]*c[6]^2 +14*c[4]^2*c[7] -6*c[4]*c[5]*c[6] -8*c[5]^3 +176*c[4]*c[11] -216*c[5]*c[10] +16*c[6]*c[9] +24*c[7]*c[8] )
+t^16*( -48*c[1]^3*c[4]*c[9] +72*c[1]^3*c[5]*c[8] -24*c[1]^3*c[6]*c[7] -24*c[1]^2*c[2]*c[4]*c[8] +36*c[1]^2*c[2]*c[5]*c[7] -12*c[1]^2*c[2]*c[6]^2 -12*c[1]^2*c[3]*c[4]*c[7] +12*c[1]^2*c[3]*c[5]*c[6] -12*c[1]^2*c[4]^2*c[6] +12*c[1]^2*c[4]*c[5]^2 -384*c[1]^2*c[4]*c[10] +496*c[1]^2*c[5]*c[9] -72*c[1]^2*c[6]*c[8] -40*c[1]^2*c[7]^2 -120*c[1]*c[2]*c[4]*c[9] +140*c[1]*c[2]*c[5]*c[8] -20*c[1]*c[2]*c[6]*c[7] -72*c[1]*c[3]*c[4]*c[8] +78*c[1]*c[3]*c[5]*c[7] -6*c[1]*c[3]*c[6]^2 -46*c[1]*c[4]^2*c[7] +20*c[1]*c[4]*c[5]*c[6] +26*c[1]*c[5]^3 +12*c[2]^2*c[4]*c[8] -18*c[2]^2*c[5]*c[7] +6*c[2]^2*c[6]^2 +6*c[2]*c[3]*c[4]*c[7] -6*c[2]*c[3]*c[5]*c[6] +6*c[2]*c[4]^2*c[6] -6*c[2]*c[4]*c[5]^2 -1144*c[1]*c[4]*c[11] +1316*c[1]*c[5]*c[10] -28*c[1]*c[6]*c[9] -144*c[1]*c[7]*c[8] -236*c[2]*c[4]*c[10] +234*c[2]*c[5]*c[9] +20*c[2]*c[6]*c[8] -18*c[2]*c[7]^2 -142*c[3]*c[4]*c[9] +146*c[3]*c[5]*c[8] -4*c[3]*c[6]*c[7] -78*c[4]^2*c[8] +32*c[4]*c[5]*c[7] -18*c[4]*c[6]^2 +64*c[5]^2*c[6] -1136*c[4]*c[12] +1224*c[5]*c[11] +40*c[6]*c[10] -72*c[7]*c[9] -56*c[8]^2 )

+t^14*( 2*s[[5,5,4]] +4*s[[6,5,3]] +8*s[[7,5,2]] +16*s[[8,5,1]] +32*s[[9,5]] )
+t^15*( -48*s[[8,5,1,1]] -160*s[[8,5,2]] -96*s[[8,6,1]] -320*s[[9,5,1]] -192*s[[9,6]] -448*s[[10,5]] -6*s[[5,5,4,1]] -14*s[[5,5,5]] -12*s[[6,5,3,1]] -40*s[[6,5,4]] -24*s[[6,6,3]] -24*s[[7,5,2,1]] -80*s[[7,5,3]] -48*s[[7,6,2]] )
+t^16*( 912*s[[9,5,1,1]] +1696*s[[9,5,2]] +1968*s[[9,6,1]] +640*s[[9,7]] +3200*s[[10,5,1]] +2720*s[[10,6]] +3520*s[[11,5]] +24*s[[7,5,2,2]] +252*s[[7,5,3,1]] +424*s[[7,5,4]] +152*s[[7,6,2,1]] +492*s[[7,6,3]] +160*s[[7,7,2]] +96*s[[8,5,1,1,1]] +504*s[[8,5,2,1]] +848*s[[8,5,3]] +304*s[[8,6,1,1]] +984*s[[8,6,2]] +320*s[[8,7,1]] +24*s[[6,5,3,1,1]] +12*s[[6,5,3,2]] +126*s[[6,5,4,1]] +192*s[[6,5,5]] +76*s[[6,6,3,1]] +206*s[[6,6,4]] +48*s[[7,5,2,1,1]] +12*s[[5,5,4,1,1]] +6*s[[5,5,4,2]] +44*s[[5,5,5,1]] )

+t^16*( 3456*c[1]^3*c[13] +3744*c[1]^2*c[2]*c[12] +1464*c[1]^2*c[3]*c[11] +704*c[1]^2*c[4]*c[10] +238*c[1]^2*c[5]*c[9] +124*c[1]^2*c[6]*c[8] +62*c[1]^2*c[7]^2 +1296*c[1]*c[2]^2*c[11] +972*c[1]*c[2]*c[3]*c[10] +468*c[1]*c[2]*c[4]*c[9] +143*c[1]*c[2]*c[5]*c[8] +97*c[1]*c[2]*c[6]*c[7] +174*c[1]*c[3]^2*c[9] +167*c[1]*c[3]*c[4]*c[8] +53*c[1]*c[3]*c[5]*c[7] +16*c[1]*c[3]*c[6]^2 +46*c[1]*c[4]^2*c[7] +23*c[1]*c[4]*c[5]*c[6] +c[1]*c[5]^3 +144*c[2]^3*c[10] +156*c[2]^2*c[3]*c[9] +76*c[2]^2*c[4]*c[8] +21*c[2]^2*c[5]*c[7] +11*c[2]^2*c[6]^2 +54*c[2]*c[3]^2*c[8] +53*c[2]*c[3]*c[4]*c[7] +17*c[2]*c[3]*c[5]*c[6] +16*c[2]*c[4]^2*c[6] +4*c[2]*c[4]*c[5]^2 +6*c[3]^3*c[7] +9*c[3]^2*c[4]*c[6] +2*c[3]^2*c[5]^2 +6*c[3]*c[4]^2*c[5] +c[4]^4 +31104*c[1]^2*c[14] +23328*c[1]*c[2]*c[13] +9432*c[1]*c[3]*c[12] +4512*c[1]*c[4]*c[11] +1658*c[1]*c[5]*c[10] +818*c[1]*c[6]*c[9] +572*c[1]*c[7]*c[8] +4176*c[2]^2*c[12] +3228*c[2]*c[3]*c[11] +1532*c[2]*c[4]*c[10] +513*c[2]*c[5]*c[9] +292*c[2]*c[6]*c[8] +99*c[2]*c[7]^2 +594*c[3]^2*c[10] +557*c[3]*c[4]*c[9] +182*c[3]*c[5]*c[8] +93*c[3]*c[6]*c[7] +142*c[4]^2*c[8] +77*c[4]*c[5]*c[7] +26*c[4]*c[6]^2 +9*c[5]^2*c[6] +89856*c[1]*c[15] +35136*c[2]*c[14] +14736*c[3]*c[13] +7072*c[4]*c[12] +2796*c[5]*c[11] +1356*c[6]*c[10] +756*c[7]*c[9] +356*c[8]^2 +82944*c[16] )

+t^16*( 3704*s[[9,5,1,1]] +10840*s[[9,5,2]] +13520*s[[9,6,1]] +11520*s[[9,7]] +576*s[[10,2,2,2]] +5040*s[[10,3,2,1]] +6840*s[[10,3,3]] +6920*s[[10,4,1,1]] +19684*s[[10,4,2]] +27536*s[[10,5,1]] +25280*s[[10,6]] +5184*s[[11,2,2,1]] +11040*s[[11,3,1,1]] +29136*s[[11,3,2]] +51240*s[[11,4,1]] +50624*s[[11,5]] +14976*s[[12,2,1,1]] +31680*s[[12,2,2]] +84384*s[[12,3,1]] +95536*s[[12,4]] +13824*s[[13,1,1,1]] +120960*s[[13,2,1]] +166080*s[[13,3]] +124416*s[[14,1,1]] +264960*s[[14,2]] +359424*s[[15,1]] +331776*s[[16]] +240*s[[7,5,2,2]] +666*s[[7,5,3,1]] +889*s[[7,5,4]] +804*s[[7,6,2,1]] +1490*s[[7,6,3]] +520*s[[7,7,1,1]] +1476*s[[7,7,2]] +216*s[[8,3,3,2]] +460*s[[8,4,2,2]] +1214*s[[8,4,3,1]] +1351*s[[8,4,4]] +1900*s[[8,5,2,1]] +3520*s[[8,5,3]] +1736*s[[8,6,1,1]] +5120*s[[8,6,2]] +5504*s[[8,7,1]] +3376*s[[8,8]] +624*s[[9,3,2,2]] +1320*s[[9,3,3,1]] +3516*s[[9,4,2,1]] +6090*s[[9,4,3]] +26*s[[6,4,3,3]] +55*s[[6,4,4,2]] +104*s[[6,5,3,2]] +160*s[[6,5,4,1]] +116*s[[6,5,5]] +76*s[[6,6,2,2]] +200*s[[6,6,3,1]] +280*s[[6,6,4]] +24*s[[7,3,3,3]] +210*s[[7,4,3,2]] +285*s[[7,4,4,1]] +s[[4,4,4,4]] +9*s[[5,4,4,3]] +10*s[[5,5,3,3]] +21*s[[5,5,4,2]] +14*s[[5,5,5,1]] )