SSM-Thom polynomials for l=4

+t^0*( 1 )
+t^5*( -c[5] )
+t^6*( c[1]*c[5] +4*c[6] )
+t^7*( -c[1]^2*c[5] -5*c[1]*c[6] +c[2]*c[5] -10*c[7] )
+t^8*( c[1]^3*c[5] +6*c[1]^2*c[6] -2*c[1]*c[2]*c[5] +15*c[1]*c[7] -6*c[2]*c[6] +c[3]*c[5] +20*c[8] )
+t^9*( -c[1]^4*c[5] -7*c[1]^3*c[6] +3*c[1]^2*c[2]*c[5] -21*c[1]^2*c[7] +14*c[1]*c[2]*c[6] -2*c[1]*c[3]*c[5] -c[2]^2*c[5] -35*c[1]*c[8] +21*c[2]*c[7] -7*c[3]*c[6] +c[4]*c[5] -35*c[9] )
+t^10*( c[1]^5*c[5] +8*c[1]^4*c[6] -4*c[1]^3*c[2]*c[5] +28*c[1]^3*c[7] -24*c[1]^2*c[2]*c[6] +3*c[1]^2*c[3]*c[5] +3*c[1]*c[2]^2*c[5] +56*c[1]^2*c[8] -56*c[1]*c[2]*c[7] +16*c[1]*c[3]*c[6] -2*c[1]*c[4]*c[5] +8*c[2]^2*c[6] -2*c[2]*c[3]*c[5] +70*c[1]*c[9] -56*c[2]*c[8] +28*c[3]*c[7] -8*c[4]*c[6] +c[5]^2 +56*c[10] )
+t^11*( -c[1]^6*c[5] -9*c[1]^5*c[6] +5*c[1]^4*c[2]*c[5] -36*c[1]^4*c[7] +36*c[1]^3*c[2]*c[6] -4*c[1]^3*c[3]*c[5] -6*c[1]^2*c[2]^2*c[5] -84*c[1]^3*c[8] +108*c[1]^2*c[2]*c[7] -27*c[1]^2*c[3]*c[6] +3*c[1]^2*c[4]*c[5] -27*c[1]*c[2]^2*c[6] +6*c[1]*c[2]*c[3]*c[5] +c[2]^3*c[5] -126*c[1]^2*c[9] +168*c[1]*c[2]*c[8] -72*c[1]*c[3]*c[7] +18*c[1]*c[4]*c[6] -2*c[1]*c[5]^2 -36*c[2]^2*c[7] +18*c[2]*c[3]*c[6] -2*c[2]*c[4]*c[5] -c[3]^2*c[5] -126*c[1]*c[10] +126*c[2]*c[9] -84*c[3]*c[8] +36*c[4]*c[7] -8*c[5]*c[6] -84*c[11] )
+t^12*( c[1]^7*c[5] +10*c[1]^6*c[6] -6*c[1]^5*c[2]*c[5] +45*c[1]^5*c[7] -50*c[1]^4*c[2]*c[6] +5*c[1]^4*c[3]*c[5] +10*c[1]^3*c[2]^2*c[5] +120*c[1]^4*c[8] -180*c[1]^3*c[2]*c[7] +40*c[1]^3*c[3]*c[6] -4*c[1]^3*c[4]*c[5] +60*c[1]^2*c[2]^2*c[6] -12*c[1]^2*c[2]*c[3]*c[5] -4*c[1]*c[2]^3*c[5] +210*c[1]^3*c[9] -360*c[1]^2*c[2]*c[8] +135*c[1]^2*c[3]*c[7] -30*c[1]^2*c[4]*c[6] +3*c[1]^2*c[5]^2 +135*c[1]*c[2]^2*c[7] -60*c[1]*c[2]*c[3]*c[6] +6*c[1]*c[2]*c[4]*c[5] +3*c[1]*c[3]^2*c[5] -10*c[2]^3*c[6] +3*c[2]^2*c[3]*c[5] +252*c[1]^2*c[10] -420*c[1]*c[2]*c[9] +240*c[1]*c[3]*c[8] -90*c[1]*c[4]*c[7] +18*c[1]*c[5]*c[6] +120*c[2]^2*c[8] -90*c[2]*c[3]*c[7] +20*c[2]*c[4]*c[6] -2*c[2]*c[5]^2 +10*c[3]^2*c[6] -2*c[3]*c[4]*c[5] +210*c[1]*c[11] -252*c[2]*c[10] +210*c[3]*c[9] -120*c[4]*c[8] +45*c[5]*c[7] -9*c[6]^2 +120*c[12] )
+t^13*( -c[1]^8*c[5] -11*c[1]^7*c[6] +7*c[1]^6*c[2]*c[5] -55*c[1]^6*c[7] +66*c[1]^5*c[2]*c[6] -6*c[1]^5*c[3]*c[5] -15*c[1]^4*c[2]^2*c[5] -165*c[1]^5*c[8] +275*c[1]^4*c[2]*c[7] -55*c[1]^4*c[3]*c[6] +5*c[1]^4*c[4]*c[5] -110*c[1]^3*c[2]^2*c[6] +20*c[1]^3*c[2]*c[3]*c[5] +10*c[1]^2*c[2]^3*c[5] -330*c[1]^4*c[9] +660*c[1]^3*c[2]*c[8] -220*c[1]^3*c[3]*c[7] +44*c[1]^3*c[4]*c[6] -4*c[1]^3*c[5]^2 -330*c[1]^2*c[2]^2*c[7] +132*c[1]^2*c[2]*c[3]*c[6] -12*c[1]^2*c[2]*c[4]*c[5] -6*c[1]^2*c[3]^2*c[5] +44*c[1]*c[2]^3*c[6] -12*c[1]*c[2]^2*c[3]*c[5] -c[2]^4*c[5] -462*c[1]^3*c[10] +990*c[1]^2*c[2]*c[9] -495*c[1]^2*c[3]*c[8] +165*c[1]^2*c[4]*c[7] -30*c[1]^2*c[5]*c[6] -495*c[1]*c[2]^2*c[8] +330*c[1]*c[2]*c[3]*c[7] -66*c[1]*c[2]*c[4]*c[6] +6*c[1]*c[2]*c[5]^2 -33*c[1]*c[3]^2*c[6] +6*c[1]*c[3]*c[4]*c[5] +55*c[2]^3*c[7] -33*c[2]^2*c[3]*c[6] +3*c[2]^2*c[4]*c[5] +3*c[2]*c[3]^2*c[5] -462*c[1]^2*c[11] +924*c[1]*c[2]*c[10] -660*c[1]*c[3]*c[9] +330*c[1]*c[4]*c[8] -110*c[1]*c[5]*c[7] +20*c[1]*c[6]^2 -330*c[2]^2*c[9] +330*c[2]*c[3]*c[8] -110*c[2]*c[4]*c[7] +20*c[2]*c[5]*c[6] -55*c[3]^2*c[7] +22*c[3]*c[4]*c[6] -2*c[3]*c[5]^2 -c[4]^2*c[5] -330*c[1]*c[12] +462*c[2]*c[11] -462*c[3]*c[10] +330*c[4]*c[9] -160*c[5]*c[8] +40*c[6]*c[7] -165*c[13] )
+t^14*( c[1]^9*c[5] +12*c[1]^8*c[6] -8*c[1]^7*c[2]*c[5] +66*c[1]^7*c[7] -84*c[1]^6*c[2]*c[6] +7*c[1]^6*c[3]*c[5] +21*c[1]^5*c[2]^2*c[5] +220*c[1]^6*c[8] -396*c[1]^5*c[2]*c[7] +72*c[1]^5*c[3]*c[6] -6*c[1]^5*c[4]*c[5] +180*c[1]^4*c[2]^2*c[6] -30*c[1]^4*c[2]*c[3]*c[5] -20*c[1]^3*c[2]^3*c[5] +495*c[1]^5*c[9] -1100*c[1]^4*c[2]*c[8] +330*c[1]^4*c[3]*c[7] -60*c[1]^4*c[4]*c[6] +5*c[1]^4*c[5]^2 +660*c[1]^3*c[2]^2*c[7] -240*c[1]^3*c[2]*c[3]*c[6] +20*c[1]^3*c[2]*c[4]*c[5] +10*c[1]^3*c[3]^2*c[5] -120*c[1]^2*c[2]^3*c[6] +30*c[1]^2*c[2]^2*c[3]*c[5] +5*c[1]*c[2]^4*c[5] +792*c[1]^4*c[10] -1980*c[1]^3*c[2]*c[9] +880*c[1]^3*c[3]*c[8] -264*c[1]^3*c[4]*c[7] +44*c[1]^3*c[5]*c[6] +1320*c[1]^2*c[2]^2*c[8] -792*c[1]^2*c[2]*c[3]*c[7] +144*c[1]^2*c[2]*c[4]*c[6] -12*c[1]^2*c[2]*c[5]^2 +72*c[1]^2*c[3]^2*c[6] -12*c[1]^2*c[3]*c[4]*c[5] -264*c[1]*c[2]^3*c[7] +144*c[1]*c[2]^2*c[3]*c[6] -12*c[1]*c[2]^2*c[4]*c[5] -12*c[1]*c[2]*c[3]^2*c[5] +12*c[2]^4*c[6] -4*c[2]^3*c[3]*c[5] +924*c[1]^3*c[11] -2376*c[1]^2*c[2]*c[10] +1485*c[1]^2*c[3]*c[9] -660*c[1]^2*c[4]*c[8] +198*c[1]^2*c[5]*c[7] -33*c[1]^2*c[6]^2 +1485*c[1]*c[2]^2*c[9] -1320*c[1]*c[2]*c[3]*c[8] +396*c[1]*c[2]*c[4]*c[7] -66*c[1]*c[2]*c[5]*c[6] +198*c[1]*c[3]^2*c[7] -72*c[1]*c[3]*c[4]*c[6] +6*c[1]*c[3]*c[5]^2 +3*c[1]*c[4]^2*c[5] -220*c[2]^3*c[8] +198*c[2]^2*c[3]*c[7] -36*c[2]^2*c[4]*c[6] +3*c[2]^2*c[5]^2 -36*c[2]*c[3]^2*c[6] +6*c[2]*c[3]*c[4]*c[5] +c[3]^3*c[5] +792*c[1]^2*c[12] -1848*c[1]*c[2]*c[11] +1584*c[1]*c[3]*c[10] -990*c[1]*c[4]*c[9] +429*c[1]*c[5]*c[8] -99*c[1]*c[6]*c[7] +792*c[2]^2*c[10] -990*c[2]*c[3]*c[9] +440*c[2]*c[4]*c[8] -132*c[2]*c[5]*c[7] +22*c[2]*c[6]^2 +220*c[3]^2*c[8] -132*c[3]*c[4]*c[7] +22*c[3]*c[5]*c[6] +12*c[4]^2*c[6] -2*c[4]*c[5]^2 +495*c[1]*c[13] -792*c[2]*c[12] +924*c[3]*c[11] -792*c[4]*c[10] +485*c[5]*c[9] -224*c[6]*c[8] +69*c[7]^2 +220*c[14] )
+t^15*( -c[1]^10*c[5] -13*c[1]^9*c[6] +9*c[1]^8*c[2]*c[5] -78*c[1]^8*c[7] +104*c[1]^7*c[2]*c[6] -8*c[1]^7*c[3]*c[5] -28*c[1]^6*c[2]^2*c[5] -286*c[1]^7*c[8] +546*c[1]^6*c[2]*c[7] -91*c[1]^6*c[3]*c[6] +7*c[1]^6*c[4]*c[5] -273*c[1]^5*c[2]^2*c[6] +42*c[1]^5*c[2]*c[3]*c[5] +35*c[1]^4*c[2]^3*c[5] -715*c[1]^6*c[9] +1716*c[1]^5*c[2]*c[8] -468*c[1]^5*c[3]*c[7] +78*c[1]^5*c[4]*c[6] -6*c[1]^5*c[5]^2 -1170*c[1]^4*c[2]^2*c[7] +390*c[1]^4*c[2]*c[3]*c[6] -30*c[1]^4*c[2]*c[4]*c[5] -15*c[1]^4*c[3]^2*c[5] +260*c[1]^3*c[2]^3*c[6] -60*c[1]^3*c[2]^2*c[3]*c[5] -15*c[1]^2*c[2]^4*c[5] -1287*c[1]^5*c[10] +3575*c[1]^4*c[2]*c[9] -1430*c[1]^4*c[3]*c[8] +390*c[1]^4*c[4]*c[7] -60*c[1]^4*c[5]*c[6] -2860*c[1]^3*c[2]^2*c[8] +1560*c[1]^3*c[2]*c[3]*c[7] -260*c[1]^3*c[2]*c[4]*c[6] +20*c[1]^3*c[2]*c[5]^2 -130*c[1]^3*c[3]^2*c[6] +20*c[1]^3*c[3]*c[4]*c[5] +780*c[1]^2*c[2]^3*c[7] -390*c[1]^2*c[2]^2*c[3]*c[6] +30*c[1]^2*c[2]^2*c[4]*c[5] +30*c[1]^2*c[2]*c[3]^2*c[5] -65*c[1]*c[2]^4*c[6] +20*c[1]*c[2]^3*c[3]*c[5] +c[2]^5*c[5] -1716*c[1]^4*c[11] +5148*c[1]^3*c[2]*c[10] -2860*c[1]^3*c[3]*c[9] +1144*c[1]^3*c[4]*c[8] -312*c[1]^3*c[5]*c[7] +48*c[1]^3*c[6]^2 -4290*c[1]^2*c[2]^2*c[9] +3432*c[1]^2*c[2]*c[3]*c[8] -936*c[1]^2*c[2]*c[4]*c[7] +144*c[1]^2*c[2]*c[5]*c[6] -468*c[1]^2*c[3]^2*c[7] +156*c[1]^2*c[3]*c[4]*c[6] -12*c[1]^2*c[3]*c[5]^2 -6*c[1]^2*c[4]^2*c[5] +1144*c[1]*c[2]^3*c[8] -936*c[1]*c[2]^2*c[3]*c[7] +156*c[1]*c[2]^2*c[4]*c[6] -12*c[1]*c[2]^2*c[5]^2 +156*c[1]*c[2]*c[3]^2*c[6] -24*c[1]*c[2]*c[3]*c[4]*c[5] -4*c[1]*c[3]^3*c[5] -78*c[2]^4*c[7] +52*c[2]^3*c[3]*c[6] -4*c[2]^3*c[4]*c[5] -6*c[2]^2*c[3]^2*c[5] -1716*c[1]^3*c[12] +5148*c[1]^2*c[2]*c[11] -3861*c[1]^2*c[3]*c[10] +2145*c[1]^2*c[4]*c[9] -840*c[1]^2*c[5]*c[8] +180*c[1]^2*c[6]*c[7] -3861*c[1]*c[2]^2*c[10] +4290*c[1]*c[2]*c[3]*c[9] -1716*c[1]*c[2]*c[4]*c[8] +468*c[1]*c[2]*c[5]*c[7] -72*c[1]*c[2]*c[6]^2 -858*c[1]*c[3]^2*c[8] +468*c[1]*c[3]*c[4]*c[7] -72*c[1]*c[3]*c[5]*c[6] -39*c[1]*c[4]^2*c[6] +6*c[1]*c[4]*c[5]^2 +715*c[2]^3*c[9] -858*c[2]^2*c[3]*c[8] +234*c[2]^2*c[4]*c[7] -36*c[2]^2*c[5]*c[6] +234*c[2]*c[3]^2*c[7] -78*c[2]*c[3]*c[4]*c[6] +6*c[2]*c[3]*c[5]^2 +3*c[2]*c[4]^2*c[5] -13*c[3]^3*c[6] +3*c[3]^2*c[4]*c[5] -1287*c[1]^2*c[13] +3432*c[1]*c[2]*c[12] -3432*c[1]*c[3]*c[11] +2574*c[1]*c[4]*c[10] -1405*c[1]*c[5]*c[9] +580*c[1]*c[6]*c[8] -165*c[1]*c[7]^2 -1716*c[2]^2*c[11] +2574*c[2]*c[3]*c[10] -1430*c[2]*c[4]*c[9] +560*c[2]*c[5]*c[8] -120*c[2]*c[6]*c[7] -715*c[3]^2*c[9] +572*c[3]*c[4]*c[8] -156*c[3]*c[5]*c[7] +24*c[3]*c[6]^2 -78*c[4]^2*c[7] +24*c[4]*c[5]*c[6] -c[5]^3 -715*c[1]*c[14] +1287*c[2]*c[13] -1716*c[3]*c[12] +1716*c[4]*c[11] -1262*c[5]*c[10] +690*c[6]*c[9] -220*c[7]*c[8] -286*c[15] )
+t^16*( 60*c[1]^2*c[2]*c[3]*c[4]*c[5] +336*c[1]*c[2]*c[3]*c[4]*c[6] +364*c[16] -342*c[8]^2 -60*c[1]^3*c[2]*c[3]^2*c[5] +30*c[1]*c[2]^2*c[3]^2*c[5] +42*c[1]^5*c[2]*c[4]*c[5] -60*c[1]^3*c[2]^2*c[4]*c[5] +20*c[1]*c[2]^3*c[4]*c[5] -30*c[1]^4*c[3]*c[4]*c[5] -12*c[2]^2*c[3]*c[4]*c[5] -12*c[1]*c[3]^2*c[4]*c[5] -12*c[1]*c[2]*c[4]^2*c[5] -24*c[1]*c[2]*c[3]*c[5]^2 -588*c[1]^5*c[2]*c[3]*c[6] +840*c[1]^3*c[2]^2*c[3]*c[6] -280*c[1]*c[2]^3*c[3]*c[6] -420*c[1]^2*c[2]*c[3]^2*c[6] +420*c[1]^4*c[2]*c[4]*c[6] -420*c[1]^2*c[2]^2*c[4]*c[6] -280*c[1]^3*c[3]*c[4]*c[6] -260*c[1]^3*c[2]*c[5]*c[6] +156*c[1]*c[2]^2*c[5]*c[6] +156*c[1]^2*c[3]*c[5]*c[6] -78*c[2]*c[3]*c[5]*c[6] -78*c[1]*c[4]*c[5]*c[6] -2730*c[1]^4*c[2]*c[3]*c[7] +2730*c[1]^2*c[2]^2*c[3]*c[7] -1092*c[1]*c[2]*c[3]^2*c[7] +1820*c[1]^3*c[2]*c[4]*c[7] -1092*c[1]*c[2]^2*c[4]*c[7] -1092*c[1]^2*c[3]*c[4]*c[7] +546*c[2]*c[3]*c[4]*c[7] -1092*c[1]^2*c[2]*c[5]*c[7] +546*c[1]*c[3]*c[5]*c[7] +429*c[1]*c[2]*c[6]*c[7] -7280*c[1]^3*c[2]*c[3]*c[8] +4368*c[1]*c[2]^2*c[3]*c[8] +4368*c[1]^2*c[2]*c[4]*c[8] -2184*c[1]*c[3]*c[4]*c[8] -2145*c[1]*c[2]*c[5]*c[8] -12012*c[1]^2*c[2]*c[3]*c[9] +6006*c[1]*c[2]*c[4]*c[9] -12012*c[1]*c[2]*c[3]*c[10] -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] +9009*c[1]^2*c[3]*c[11] -6006*c[2]*c[3]*c[11] -6006*c[1]*c[4]*c[11] -10296*c[1]^2*c[2]*c[12] +6864*c[1]*c[3]*c[12] -6006*c[1]*c[2]*c[13] +84*c[2]^2*c[3]^2*c[6] +56*c[1]*c[3]^3*c[6] -98*c[1]^6*c[4]*c[6] +56*c[2]^3*c[4]*c[6] -42*c[3]^2*c[4]*c[6] +84*c[1]^2*c[4]^2*c[6] -42*c[2]*c[4]^2*c[6] +78*c[1]^5*c[5]*c[6] +156*c[1]^2*c[2]*c[6]^2 -78*c[1]*c[3]*c[6]^2 -728*c[1]^7*c[2]*c[7] +1911*c[1]^5*c[2]^2*c[7] -1820*c[1]^3*c[2]^3*c[7] +455*c[1]*c[2]^4*c[7] +637*c[1]^6*c[3]*c[7] -364*c[2]^3*c[3]*c[7] +910*c[1]^3*c[3]^2*c[7] -546*c[1]^5*c[4]*c[7] +273*c[1]*c[4]^2*c[7] +455*c[1]^4*c[5]*c[7] +273*c[2]^2*c[5]*c[7] -182*c[4]*c[5]*c[7] -286*c[1]^3*c[6]*c[7] -143*c[3]*c[6]*c[7] -2548*c[1]^6*c[2]*c[8] +5460*c[1]^4*c[2]^2*c[8] -3640*c[1]^2*c[2]^3*c[8] -10*c[1]^9*c[2]*c[5] +36*c[1]^7*c[2]^2*c[5] -56*c[1]^5*c[2]^3*c[5] +35*c[1]^3*c[2]^4*c[5] -6*c[1]*c[2]^5*c[5] +9*c[1]^8*c[3]*c[5] +5*c[2]^4*c[3]*c[5] +21*c[1]^5*c[3]^2*c[5] +10*c[1]^2*c[3]^3*c[5] -4*c[2]*c[3]^3*c[5] -8*c[1]^7*c[4]*c[5] +10*c[1]^3*c[4]^2*c[5] +3*c[3]*c[4]^2*c[5] -30*c[1]^4*c[2]*c[5]^2 +30*c[1]^2*c[2]^2*c[5]^2 +20*c[1]^3*c[3]*c[5]^2 -12*c[1]^2*c[4]*c[5]^2 +6*c[2]*c[4]*c[5]^2 -126*c[1]^8*c[2]*c[6] +392*c[1]^6*c[2]^2*c[6] -490*c[1]^4*c[2]^3*c[6] +210*c[1]^2*c[2]^4*c[6] +112*c[1]^7*c[3]*c[6] +210*c[1]^4*c[3]^2*c[6] +2184*c[1]^5*c[3]*c[8] +2184*c[1]^2*c[3]^2*c[8] -1092*c[2]*c[3]^2*c[8] -1820*c[1]^4*c[4]*c[8] -1092*c[2]^2*c[4]*c[8] +1430*c[1]^3*c[5]*c[8] +715*c[3]*c[5]*c[8] -1103*c[1]^2*c[6]*c[8] +734*c[2]*c[6]*c[8] +583*c[1]*c[7]*c[8] -6006*c[1]^5*c[2]*c[9] +10010*c[1]^3*c[2]^2*c[9] -4004*c[1]*c[2]^3*c[9] +5005*c[1]^4*c[3]*c[9] +3003*c[2]^2*c[3]*c[9] +3003*c[1]*c[3]^2*c[9] -4004*c[1]^3*c[4]*c[9] -2002*c[3]*c[4]*c[9] +2957*c[1]^2*c[5]*c[9] -1971*c[2]*c[5]*c[9] -1947*c[1]*c[6]*c[9] -10010*c[1]^4*c[2]*c[10] +12012*c[1]^2*c[2]^2*c[10] +8008*c[1]^3*c[3]*c[10] -6006*c[1]^2*c[4]*c[10] +4004*c[2]*c[4]*c[10] +3938*c[1]*c[5]*c[10] -12012*c[1]^3*c[2]*c[11] +9009*c[1]*c[2]^2*c[11] +1001*c[1]*c[15] +c[1]^11*c[5] +7*c[1]^6*c[5]^2 -4*c[2]^3*c[5]^2 +3*c[3]^2*c[5]^2 +3*c[1]*c[5]^3 +14*c[1]^10*c[6] -14*c[2]^5*c[6] +12*c[5]^2*c[6] -65*c[1]^4*c[6]^2 -39*c[2]^2*c[6]^2 +26*c[4]*c[6]^2 +91*c[1]^9*c[7] +91*c[3]^3*c[7] +291*c[1]^2*c[7]^2 -193*c[2]*c[7]^2 +364*c[1]^8*c[8] +364*c[2]^4*c[8] +364*c[4]^2*c[8] +1001*c[1]^7*c[9] +1096*c[7]*c[9] +2002*c[1]^6*c[10] -2002*c[2]^3*c[10] +2002*c[3]^2*c[10] -1996*c[6]*c[10] +3003*c[1]^5*c[11] +2958*c[5]*c[11] +3432*c[1]^4*c[12] +3432*c[2]^2*c[12] -3432*c[4]*c[12] +3003*c[1]^3*c[13] +3003*c[3]*c[13] +2002*c[1]^2*c[14] -2002*c[2]*c[14] )

+t^0*( s[[0]] )
+t^5*( -s[[5]] )
+t^6*( 5*s[[6]] +s[[5,1]] )
+t^7*( -15*s[[7]] -6*s[[6,1]] -s[[5,1,1]] )
+t^8*( 35*s[[8]] +21*s[[7,1]] +7*s[[6,1,1]] +s[[5,1,1,1]] )
+t^9*( -s[[5,1,1,1,1]] -8*s[[6,1,1,1]] -28*s[[7,1,1]] -56*s[[8,1]] -70*s[[9]] )
+t^10*( s[[5,1,1,1,1,1]] +9*s[[6,1,1,1,1]] +36*s[[7,1,1,1]] +84*s[[8,1,1]] +126*s[[9,1]] +126*s[[10]] )
+t^11*( -s[[5,1,1,1,1,1,1]] -10*s[[6,1,1,1,1,1]] -45*s[[7,1,1,1,1]] -120*s[[8,1,1,1]] -210*s[[9,1,1]] -252*s[[10,1]] -210*s[[11]] )
+t^12*( s[[5,1,1,1,1,1,1,1]] +11*s[[6,1,1,1,1,1,1]] +s[[6,6]] +55*s[[7,1,1,1,1,1]] +165*s[[8,1,1,1,1]] +330*s[[9,1,1,1]] +462*s[[10,1,1]] +462*s[[11,1]] +330*s[[12]] )
+t^13*( -s[[5,1,1,1,1,1,1,1,1]] -12*s[[6,1,1,1,1,1,1,1]] -2*s[[6,6,1]] -66*s[[7,1,1,1,1,1,1]] -6*s[[7,6]] -220*s[[8,1,1,1,1,1]] -495*s[[9,1,1,1,1]] -792*s[[10,1,1,1]] -924*s[[11,1,1]] -792*s[[12,1]] -495*s[[13]] )
+t^14*( s[[5,1,1,1,1,1,1,1,1,1]] +13*s[[6,1,1,1,1,1,1,1,1]] +3*s[[6,6,1,1]] +s[[6,6,2]] +78*s[[7,1,1,1,1,1,1,1]] +13*s[[7,6,1]] +15*s[[7,7]] +286*s[[8,1,1,1,1,1,1]] +21*s[[8,6]] +715*s[[9,1,1,1,1,1]] +1287*s[[10,1,1,1,1]] +1716*s[[11,1,1,1]] +1716*s[[12,1,1]] +1287*s[[13,1]] +715*s[[14]] )
+t^15*( -s[[5,1,1,1,1,1,1,1,1,1,1]] -14*s[[6,1,1,1,1,1,1,1,1,1]] -70*s[[8,7]] -1001*s[[9,1,1,1,1,1,1]] -56*s[[9,6]] -2002*s[[10,1,1,1,1,1]] -3003*s[[11,1,1,1,1]] -3432*s[[12,1,1,1]] -3003*s[[13,1,1]] -2002*s[[14,1]] -1001*s[[15]] -4*s[[6,6,1,1,1]] -2*s[[6,6,2,1]] -91*s[[7,1,1,1,1,1,1,1,1]] -21*s[[7,6,1,1]] -7*s[[7,6,2]] -35*s[[7,7,1]] -364*s[[8,1,1,1,1,1,1,1]] -49*s[[8,6,1]] )
+t^16*( 15*s[[6,1,1,1,1,1,1,1,1,1,1]] +s[[5,1,1,1,1,1,1,1,1,1,1,1]] +30*s[[7,6,1,1,1]] +15*s[[7,6,2,1]] +60*s[[7,7,1,1]] +21*s[[7,7,2]] +455*s[[8,1,1,1,1,1,1,1,1]] +85*s[[8,6,1,1]] +28*s[[8,6,2]] +175*s[[8,7,1]] +105*s[[8,8]] +1365*s[[9,1,1,1,1,1,1,1]] +140*s[[9,6,1]] +210*s[[9,7]] +3003*s[[10,1,1,1,1,1,1]] +126*s[[10,6]] +5005*s[[11,1,1,1,1,1]] +6435*s[[12,1,1,1,1]] +6435*s[[13,1,1,1]] +5005*s[[14,1,1]] +3003*s[[15,1]] +1365*s[[16]] +5*s[[6,6,1,1,1,1]] +3*s[[6,6,2,1,1]] +s[[6,6,2,2]] +105*s[[7,1,1,1,1,1,1,1,1,1]] )

+t^5*( c[5] )
+t^6*( -c[1]*c[5] -4*c[6] )
+t^7*( c[1]^2*c[5] +5*c[1]*c[6] -c[2]*c[5] +10*c[7] )
+t^8*( -c[1]^3*c[5] -6*c[1]^2*c[6] +2*c[1]*c[2]*c[5] -15*c[1]*c[7] +6*c[2]*c[6] -c[3]*c[5] -20*c[8] )
+t^9*( c[1]^4*c[5] +7*c[1]^3*c[6] -3*c[1]^2*c[2]*c[5] +21*c[1]^2*c[7] -14*c[1]*c[2]*c[6] +2*c[1]*c[3]*c[5] +c[2]^2*c[5] +35*c[1]*c[8] -21*c[2]*c[7] +7*c[3]*c[6] -c[4]*c[5] +35*c[9] )
+t^10*( -c[1]^5*c[5] -8*c[1]^4*c[6] +4*c[1]^3*c[2]*c[5] -28*c[1]^3*c[7] +24*c[1]^2*c[2]*c[6] -3*c[1]^2*c[3]*c[5] -3*c[1]*c[2]^2*c[5] -56*c[1]^2*c[8] +56*c[1]*c[2]*c[7] -16*c[1]*c[3]*c[6] +2*c[1]*c[4]*c[5] -8*c[2]^2*c[6] +2*c[2]*c[3]*c[5] -78*c[1]*c[9] +52*c[2]*c[8] -30*c[3]*c[7] +7*c[4]*c[6] -2*c[5]^2 -72*c[10] )
+t^11*( c[1]^6*c[5] +9*c[1]^5*c[6] -5*c[1]^4*c[2]*c[5] +36*c[1]^4*c[7] -36*c[1]^3*c[2]*c[6] +4*c[1]^3*c[3]*c[5] +6*c[1]^2*c[2]^2*c[5] +84*c[1]^3*c[8] -108*c[1]^2*c[2]*c[7] +27*c[1]^2*c[3]*c[6] -3*c[1]^2*c[4]*c[5] +27*c[1]*c[2]^2*c[6] -6*c[1]*c[2]*c[3]*c[5] -c[2]^3*c[5] +142*c[1]^2*c[9] -160*c[1]*c[2]*c[8] +76*c[1]*c[3]*c[7] -16*c[1]*c[4]*c[6] +4*c[1]*c[5]^2 +36*c[2]^2*c[7] -18*c[2]*c[3]*c[6] +2*c[2]*c[4]*c[5] +c[3]^2*c[5] +262*c[1]*c[10] -74*c[2]*c[9] +110*c[3]*c[8] -23*c[4]*c[7] +21*c[5]*c[6] +292*c[11] )
+t^12*( -c[1]^7*c[5] -10*c[1]^6*c[6] +6*c[1]^5*c[2]*c[5] -45*c[1]^5*c[7] +50*c[1]^4*c[2]*c[6] -5*c[1]^4*c[3]*c[5] -10*c[1]^3*c[2]^2*c[5] -120*c[1]^4*c[8] +180*c[1]^3*c[2]*c[7] -40*c[1]^3*c[3]*c[6] +4*c[1]^3*c[4]*c[5] -60*c[1]^2*c[2]^2*c[6] +12*c[1]^2*c[2]*c[3]*c[5] +4*c[1]*c[2]^3*c[5] -234*c[1]^3*c[9] +348*c[1]^2*c[2]*c[8] -141*c[1]^2*c[3]*c[7] +27*c[1]^2*c[4]*c[6] -6*c[1]^2*c[5]^2 -135*c[1]*c[2]^2*c[7] +60*c[1]*c[2]*c[3]*c[6] -6*c[1]*c[2]*c[4]*c[5] -3*c[1]*c[3]^2*c[5] +10*c[2]^3*c[6] -3*c[2]^2*c[3]*c[5] -532*c[1]^2*c[10] +320*c[1]*c[2]*c[9] -298*c[1]*c[3]*c[8] +61*c[1]*c[4]*c[7] -47*c[1]*c[5]*c[6] -112*c[2]^2*c[8] +94*c[2]*c[3]*c[7] -18*c[2]*c[4]*c[6] +4*c[2]*c[5]^2 -10*c[3]^2*c[6] +2*c[3]*c[4]*c[5] -1434*c[1]*c[11] -96*c[2]*c[10] -400*c[3]*c[9] +25*c[4]*c[8] -110*c[5]*c[7] -21*c[6]^2 -1640*c[12] )
+t^13*( c[1]^8*c[5] +11*c[1]^7*c[6] -7*c[1]^6*c[2]*c[5] +55*c[1]^6*c[7] -66*c[1]^5*c[2]*c[6] +6*c[1]^5*c[3]*c[5] +15*c[1]^4*c[2]^2*c[5] +165*c[1]^5*c[8] -275*c[1]^4*c[2]*c[7] +55*c[1]^4*c[3]*c[6] -5*c[1]^4*c[4]*c[5] +110*c[1]^3*c[2]^2*c[6] -20*c[1]^3*c[2]*c[3]*c[5] -10*c[1]^2*c[2]^3*c[5] +362*c[1]^4*c[9] -644*c[1]^3*c[2]*c[8] +228*c[1]^3*c[3]*c[7] -40*c[1]^3*c[4]*c[6] +8*c[1]^3*c[5]^2 +330*c[1]^2*c[2]^2*c[7] -132*c[1]^2*c[2]*c[3]*c[6] +12*c[1]^2*c[2]*c[4]*c[5] +6*c[1]^2*c[3]^2*c[5] -44*c[1]*c[2]^3*c[6] +12*c[1]*c[2]^2*c[3]*c[5] +c[2]^4*c[5] +910*c[1]^3*c[10] -846*c[1]^2*c[2]*c[9] +591*c[1]^2*c[3]*c[8] -117*c[1]^2*c[4]*c[7] +78*c[1]^2*c[5]*c[6] +471*c[1]*c[2]^2*c[8] -342*c[1]*c[2]*c[3]*c[7] +60*c[1]*c[2]*c[4]*c[6] -12*c[1]*c[2]*c[5]^2 +33*c[1]*c[3]^2*c[6] -6*c[1]*c[3]*c[4]*c[5] -55*c[2]^3*c[7] +33*c[2]^2*c[3]*c[6] -3*c[2]^2*c[4]*c[5] -3*c[2]*c[3]^2*c[5] +3102*c[1]^2*c[11] -340*c[1]*c[2]*c[10] +1144*c[1]*c[3]*c[9] -96*c[1]*c[4]*c[8] +270*c[1]*c[5]*c[7] +54*c[1]*c[6]^2 +202*c[2]^2*c[9] -386*c[2]*c[3]*c[8] +78*c[2]*c[4]*c[7] -52*c[2]*c[5]*c[6] +59*c[3]^2*c[7] -20*c[3]*c[4]*c[6] +4*c[3]*c[5]^2 +c[4]^2*c[5] +8194*c[1]*c[12] +1086*c[2]*c[11] +1524*c[3]*c[10] +185*c[4]*c[9] +455*c[5]*c[8] +180*c[6]*c[7] +8405*c[13] )
+t^14*( -c[1]^9*c[5] -12*c[1]^8*c[6] +8*c[1]^7*c[2]*c[5] -66*c[1]^7*c[7] +84*c[1]^6*c[2]*c[6] -7*c[1]^6*c[3]*c[5] -21*c[1]^5*c[2]^2*c[5] -220*c[1]^6*c[8] +396*c[1]^5*c[2]*c[7] -72*c[1]^5*c[3]*c[6] +6*c[1]^5*c[4]*c[5] -180*c[1]^4*c[2]^2*c[6] +30*c[1]^4*c[2]*c[3]*c[5] +20*c[1]^3*c[2]^3*c[5] -535*c[1]^5*c[9] +1080*c[1]^4*c[2]*c[8] -340*c[1]^4*c[3]*c[7] +55*c[1]^4*c[4]*c[6] -10*c[1]^4*c[5]^2 -660*c[1]^3*c[2]^2*c[7] +240*c[1]^3*c[2]*c[3]*c[6] -20*c[1]^3*c[2]*c[4]*c[5] -10*c[1]^3*c[3]^2*c[5] +120*c[1]^2*c[2]^3*c[6] -30*c[1]^2*c[2]^2*c[3]*c[5] -5*c[1]*c[2]^4*c[5] -1432*c[1]^4*c[10] +1796*c[1]^3*c[2]*c[9] -1020*c[1]^3*c[3]*c[8] +194*c[1]^3*c[4]*c[7] -114*c[1]^3*c[5]*c[6] -1272*c[1]^2*c[2]^2*c[8] +816*c[1]^2*c[2]*c[3]*c[7] -132*c[1]^2*c[2]*c[4]*c[6] +24*c[1]^2*c[2]*c[5]^2 -72*c[1]^2*c[3]^2*c[6] +12*c[1]^2*c[3]*c[4]*c[5] +264*c[1]*c[2]^3*c[7] -144*c[1]*c[2]^2*c[3]*c[6] +12*c[1]*c[2]^2*c[4]*c[5] +12*c[1]*c[2]*c[3]^2*c[5] -12*c[2]^4*c[6] +4*c[2]^3*c[3]*c[5] -5436*c[1]^3*c[11] +1712*c[1]^2*c[2]*c[10] -2381*c[1]^2*c[3]*c[9] +236*c[1]^2*c[4]*c[8] -488*c[1]^2*c[5]*c[7] -101*c[1]^2*c[6]^2 -1089*c[1]*c[2]^2*c[9] +1506*c[1]*c[2]*c[3]*c[8] -291*c[1]*c[2]*c[4]*c[7] +171*c[1]*c[2]*c[5]*c[6] -210*c[1]*c[3]^2*c[7] +66*c[1]*c[3]*c[4]*c[6] -12*c[1]*c[3]*c[5]^2 -3*c[1]*c[4]^2*c[5] +208*c[2]^3*c[8] -204*c[2]^2*c[3]*c[7] +33*c[2]^2*c[4]*c[6] -6*c[2]^2*c[5]^2 +36*c[2]*c[3]^2*c[6] -6*c[2]*c[3]*c[4]*c[5] -c[3]^3*c[5] -18688*c[1]^2*c[12] +236*c[1]*c[2]*c[11] -4738*c[1]*c[3]*c[10] -383*c[1]*c[4]*c[9] -1224*c[1]*c[5]*c[8] -495*c[1]*c[6]*c[7] +292*c[2]^2*c[10] +1416*c[2]*c[3]*c[9] -149*c[2]*c[4]*c[8] +326*c[2]*c[5]*c[7] +67*c[2]*c[6]^2 -290*c[3]^2*c[8] +101*c[3]*c[4]*c[7] -57*c[3]*c[5]*c[6] -10*c[4]^2*c[6] +4*c[4]*c[5]^2 -41199*c[1]*c[13] -3920*c[2]*c[12] -6104*c[3]*c[11] -1486*c[4]*c[10] -1710*c[5]*c[9] -540*c[6]*c[8] -390*c[7]^2 -37180*c[14] )
+t^15*( c[1]^10*c[5] +13*c[1]^9*c[6] -9*c[1]^8*c[2]*c[5] +78*c[1]^8*c[7] -104*c[1]^7*c[2]*c[6] +8*c[1]^7*c[3]*c[5] +28*c[1]^6*c[2]^2*c[5] +286*c[1]^7*c[8] -546*c[1]^6*c[2]*c[7] +91*c[1]^6*c[3]*c[6] -7*c[1]^6*c[4]*c[5] +273*c[1]^5*c[2]^2*c[6] -42*c[1]^5*c[2]*c[3]*c[5] -35*c[1]^4*c[2]^3*c[5] +763*c[1]^6*c[9] -1692*c[1]^5*c[2]*c[8] +480*c[1]^5*c[3]*c[7] -72*c[1]^5*c[4]*c[6] +12*c[1]^5*c[5]^2 +1170*c[1]^4*c[2]^2*c[7] -390*c[1]^4*c[2]*c[3]*c[6] +30*c[1]^4*c[2]*c[4]*c[5] +15*c[1]^4*c[3]^2*c[5] -260*c[1]^3*c[2]^3*c[6] +60*c[1]^3*c[2]^2*c[3]*c[5] +15*c[1]^2*c[2]^4*c[5] +2143*c[1]^5*c[10] -3355*c[1]^4*c[2]*c[9] +1620*c[1]^4*c[3]*c[8] -295*c[1]^4*c[4]*c[7] +155*c[1]^4*c[5]*c[6] +2780*c[1]^3*c[2]^2*c[8] -1600*c[1]^3*c[2]*c[3]*c[7] +240*c[1]^3*c[2]*c[4]*c[6] -40*c[1]^3*c[2]*c[5]^2 +130*c[1]^3*c[3]^2*c[6] -20*c[1]^3*c[3]*c[4]*c[5] -780*c[1]^2*c[2]^3*c[7] +390*c[1]^2*c[2]^2*c[3]*c[6] -30*c[1]^2*c[2]^2*c[4]*c[5] -30*c[1]^2*c[2]*c[3]^2*c[5] +65*c[1]*c[2]^4*c[6] -20*c[1]*c[2]^3*c[3]*c[5] -c[2]^5*c[5] +8612*c[1]^4*c[11] -4604*c[1]^3*c[2]*c[10] +4300*c[1]^3*c[3]*c[9] -472*c[1]^3*c[4]*c[8] +772*c[1]^3*c[5]*c[7] +164*c[1]^3*c[6]^2 +3474*c[1]^2*c[2]^2*c[9] -3840*c[1]^2*c[2]*c[3]*c[8] +708*c[1]^2*c[2]*c[4]*c[7] -372*c[1]^2*c[2]*c[5]*c[6] +492*c[1]^2*c[3]^2*c[7] -144*c[1]^2*c[3]*c[4]*c[6] +24*c[1]^2*c[3]*c[5]^2 +6*c[1]^2*c[4]^2*c[5] -1096*c[1]*c[2]^3*c[8] +960*c[1]*c[2]^2*c[3]*c[7] -144*c[1]*c[2]^2*c[4]*c[6] +24*c[1]*c[2]^2*c[5]^2 -156*c[1]*c[2]*c[3]^2*c[6] +24*c[1]*c[2]*c[3]*c[4]*c[5] +4*c[1]*c[3]^3*c[5] +78*c[2]^4*c[7] -52*c[2]^3*c[3]*c[6] +4*c[2]^3*c[4]*c[5] +6*c[2]^2*c[3]^2*c[5] +34364*c[1]^3*c[12] -5920*c[1]^2*c[2]*c[11] +10439*c[1]^2*c[3]*c[10] +544*c[1]^2*c[4]*c[9] +2407*c[1]^2*c[5]*c[8] +990*c[1]^2*c[6]*c[7] +473*c[1]*c[2]^2*c[10] -5900*c[1]*c[2]*c[3]*c[9] +683*c[1]*c[2]*c[4]*c[8] -1160*c[1]*c[2]*c[5]*c[7] -245*c[1]*c[2]*c[6]^2 +1086*c[1]*c[3]^2*c[8] -366*c[1]*c[3]*c[4]*c[7] +186*c[1]*c[3]*c[5]*c[6] +33*c[1]*c[4]^2*c[6] -12*c[1]*c[4]*c[5]^2 -487*c[2]^3*c[9] +948*c[2]^2*c[3]*c[8] -177*c[2]^2*c[4]*c[7] +93*c[2]^2*c[5]*c[6] -246*c[2]*c[3]^2*c[7] +72*c[2]*c[3]*c[4]*c[6] -12*c[2]*c[3]*c[5]^2 -3*c[2]*c[4]^2*c[5] +13*c[3]^3*c[6] -3*c[3]^2*c[4]*c[5] +99271*c[1]^2*c[13] -7128*c[1]*c[2]*c[12] +21500*c[1]*c[3]*c[11] +3800*c[1]*c[4]*c[10] +5011*c[1]*c[5]*c[9] +1662*c[1]*c[6]*c[8] +1107*c[1]*c[7]^2 -4696*c[2]^2*c[11] -4984*c[2]*c[3]*c[10] -553*c[2]*c[4]*c[9] -1603*c[2]*c[5]*c[8] -660*c[2]*c[6]*c[7] +1389*c[3]^2*c[9] -311*c[3]*c[4]*c[8] +392*c[3]*c[5]*c[7] +81*c[3]*c[6]^2 +40*c[4]^2*c[7] -60*c[4]*c[5]*c[6] +3*c[5]^3 +181723*c[1]*c[14] +5729*c[2]*c[13] +25264*c[3]*c[12] +6754*c[4]*c[11] +5952*c[5]*c[10] +1914*c[6]*c[9] +2036*c[7]*c[8] +145534*c[15] )
+t^16*( -60*c[1]^2*c[2]*c[3]*c[4]*c[5] -312*c[1]*c[2]*c[3]*c[4]*c[6] -518028*c[16] -1786*c[8]^2 +60*c[1]^3*c[2]*c[3]^2*c[5] -30*c[1]*c[2]^2*c[3]^2*c[5] -42*c[1]^5*c[2]*c[4]*c[5] +60*c[1]^3*c[2]^2*c[4]*c[5] -20*c[1]*c[2]^3*c[4]*c[5] +30*c[1]^4*c[3]*c[4]*c[5] +12*c[2]^2*c[3]*c[4]*c[5] +12*c[1]*c[3]^2*c[4]*c[5] +12*c[1]*c[2]*c[4]^2*c[5] +48*c[1]*c[2]*c[3]*c[5]^2 +588*c[1]^5*c[2]*c[3]*c[6] -840*c[1]^3*c[2]^2*c[3]*c[6] +280*c[1]*c[2]^3*c[3]*c[6] +420*c[1]^2*c[2]*c[3]^2*c[6] -390*c[1]^4*c[2]*c[4]*c[6] +390*c[1]^2*c[2]^2*c[4]*c[6] +260*c[1]^3*c[3]*c[4]*c[6] +670*c[1]^3*c[2]*c[5]*c[6] -402*c[1]*c[2]^2*c[5]*c[6] -402*c[1]^2*c[3]*c[5]*c[6] +201*c[2]*c[3]*c[5]*c[6] +195*c[1]*c[4]*c[5]*c[6] +2790*c[1]^4*c[2]*c[3]*c[7] -2790*c[1]^2*c[2]^2*c[3]*c[7] +1140*c[1]*c[2]*c[3]^2*c[7] -1410*c[1]^3*c[2]*c[4]*c[7] +846*c[1]*c[2]^2*c[4]*c[7] +870*c[1]^2*c[3]*c[4]*c[7] -435*c[2]*c[3]*c[4]*c[7] +2716*c[1]^2*c[2]*c[5]*c[7] -1374*c[1]*c[3]*c[5]*c[7] +2574*c[1]*c[2]*c[6]*c[7] +8020*c[1]^3*c[2]*c[3]*c[8] -4764*c[1]*c[2]^2*c[3]*c[8] -1954*c[1]^2*c[2]*c[4]*c[8] +1245*c[1]*c[3]*c[4]*c[8] +6172*c[1]*c[2]*c[5]*c[8] +15952*c[1]^2*c[2]*c[3]*c[9] +1492*c[1]*c[2]*c[4]*c[9] +22748*c[1]*c[2]*c[3]*c[10] +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] -51293*c[1]^2*c[3]*c[11] +17890*c[2]*c[3]*c[11] -17628*c[1]*c[4]*c[11] +46848*c[1]^2*c[2]*c[12] -102284*c[1]*c[3]*c[12] +81294*c[1]*c[2]*c[13] -84*c[2]^2*c[3]^2*c[6] -56*c[1]*c[3]^3*c[6] +91*c[1]^6*c[4]*c[6] -52*c[2]^3*c[4]*c[6] +39*c[3]^2*c[4]*c[6] -72*c[1]^2*c[4]^2*c[6] +36*c[2]*c[4]^2*c[6] -201*c[1]^5*c[5]*c[6] +586*c[1]^2*c[2]*c[6]^2 -291*c[1]*c[3]*c[6]^2 +728*c[1]^7*c[2]*c[7] -1911*c[1]^5*c[2]^2*c[7] +1820*c[1]^3*c[2]^3*c[7] -455*c[1]*c[2]^4*c[7] -651*c[1]^6*c[3]*c[7] +372*c[2]^3*c[3]*c[7] -950*c[1]^3*c[3]^2*c[7] +423*c[1]^5*c[4]*c[7] -150*c[1]*c[4]^2*c[7] -1130*c[1]^4*c[5]*c[7] -680*c[2]^2*c[5]*c[7] +415*c[4]*c[5]*c[7] -1716*c[1]^3*c[6]*c[7] -854*c[3]*c[6]*c[7] +2520*c[1]^6*c[2]*c[8] -5340*c[1]^4*c[2]^2*c[8] +3520*c[1]^2*c[2]^3*c[8] +10*c[1]^9*c[2]*c[5] -36*c[1]^7*c[2]^2*c[5] +56*c[1]^5*c[2]^3*c[5] -35*c[1]^3*c[2]^4*c[5] +6*c[1]*c[2]^5*c[5] -9*c[1]^8*c[3]*c[5] -5*c[2]^4*c[3]*c[5] -21*c[1]^5*c[3]^2*c[5] -10*c[1]^2*c[3]^3*c[5] +4*c[2]*c[3]^3*c[5] +8*c[1]^7*c[4]*c[5] -10*c[1]^3*c[4]^2*c[5] -3*c[3]*c[4]^2*c[5] +60*c[1]^4*c[2]*c[5]^2 -60*c[1]^2*c[2]^2*c[5]^2 -40*c[1]^3*c[3]*c[5]^2 +24*c[1]^2*c[4]*c[5]^2 -12*c[2]*c[4]*c[5]^2 +126*c[1]^8*c[2]*c[6] -392*c[1]^6*c[2]^2*c[6] +490*c[1]^4*c[2]^3*c[6] -210*c[1]^2*c[2]^4*c[6] -112*c[1]^7*c[3]*c[6] -210*c[1]^4*c[3]^2*c[6] -2430*c[1]^5*c[3]*c[8] -2676*c[1]^2*c[3]^2*c[8] +1326*c[2]*c[3]^2*c[8] +835*c[1]^4*c[4]*c[8] +476*c[2]^2*c[4]*c[8] -4117*c[1]^3*c[5]*c[8] -2161*c[3]*c[5]*c[8] -3675*c[1]^2*c[6]*c[8] +2478*c[2]*c[6]*c[8] -6341*c[1]*c[7]*c[8] +5754*c[1]^5*c[2]*c[9] -8610*c[1]^3*c[2]^2*c[9] +3052*c[1]*c[2]^3*c[9] -7135*c[1]^4*c[3]*c[9] -3695*c[2]^2*c[3]*c[9] -5397*c[1]*c[3]^2*c[9] -589*c[1]^3*c[4]*c[9] +429*c[3]*c[4]*c[9] -10656*c[1]^2*c[5]*c[9] +6952*c[2]*c[5]*c[9] -6293*c[1]*c[6]*c[9] +9830*c[1]^4*c[2]*c[10] -4996*c[1]^2*c[2]^2*c[10] -19674*c[1]^3*c[3]*c[10] -7252*c[1]^2*c[4]*c[10] +7172*c[2]*c[4]*c[10] -19118*c[1]*c[5]*c[10] +18744*c[1]^3*c[2]*c[11] +10535*c[1]*c[2]^2*c[11] -720153*c[1]*c[15] -c[1]^11*c[5] -14*c[1]^6*c[5]^2 +8*c[2]^3*c[5]^2 -6*c[3]^2*c[5]^2 -9*c[1]*c[5]^3 -14*c[1]^10*c[6] +14*c[2]^5*c[6] -51*c[5]^2*c[6] -245*c[1]^4*c[6]^2 -146*c[2]^2*c[6]^2 +98*c[4]*c[6]^2 -91*c[1]^9*c[7] -97*c[3]^3*c[7] -2296*c[1]^2*c[7]^2 +1532*c[2]*c[7]^2 -364*c[1]^8*c[8] -348*c[2]^4*c[8] +32*c[4]^2*c[8] -1057*c[1]^7*c[9] -6320*c[7]*c[9] -3098*c[1]^6*c[10] -302*c[2]^3*c[10] -6780*c[3]^2*c[10] -6608*c[6]*c[10] -12851*c[1]^5*c[11] -19980*c[5]*c[11] -56704*c[1]^4*c[12] +25848*c[2]^2*c[12] -22586*c[4]*c[12] -193499*c[1]^3*c[13] -105551*c[3]*c[13] -463106*c[1]^2*c[14] +27594*c[2]*c[14] )

+t^5*( s[[5]] )
+t^6*( -5*s[[6]] -s[[5,1]] )
+t^7*( 15*s[[7]] +6*s[[6,1]] +s[[5,1,1]] )
+t^8*( -35*s[[8]] -21*s[[7,1]] -7*s[[6,1,1]] -s[[5,1,1,1]] )
+t^9*( s[[5,1,1,1,1]] +8*s[[6,1,1,1]] +28*s[[7,1,1]] +56*s[[8,1]] +70*s[[9]] )
+t^10*( -2*s[[6,4]] -36*s[[7,1,1,1]] -4*s[[7,3]] -84*s[[8,1,1]] -8*s[[8,2]] -142*s[[9,1]] -158*s[[10]] -s[[5,1,1,1,1,1]] -s[[5,5]] -9*s[[6,1,1,1,1]] )
+t^11*( s[[5,1,1,1,1,1,1]] +2*s[[5,5,1]] +10*s[[6,1,1,1,1,1]] +4*s[[6,4,1]] +19*s[[6,5]] +45*s[[7,1,1,1,1]] +8*s[[7,3,1]] +38*s[[7,4]] +120*s[[8,1,1,1]] +16*s[[8,2,1]] +76*s[[8,3]] +242*s[[9,1,1]] +152*s[[9,2]] +556*s[[10,1]] +690*s[[11]] )
+t^12*( -s[[5,1,1,1,1,1,1,1]] -3*s[[5,5,1,1]] -s[[5,5,2]] -11*s[[6,1,1,1,1,1,1]] -6*s[[6,4,1,1]] -2*s[[6,4,2]] -41*s[[6,5,1]] -65*s[[6,6]] -55*s[[7,1,1,1,1,1]] -12*s[[7,3,1,1]] -4*s[[7,3,2]] -82*s[[7,4,1]] -195*s[[7,5]] -165*s[[8,1,1,1,1]] -24*s[[8,2,1,1]] -8*s[[8,2,2]] -164*s[[8,3,1]] -390*s[[8,4]] -378*s[[9,1,1,1]] -328*s[[9,2,1]] -780*s[[9,3]] -1086*s[[10,1,1]] -1560*s[[10,2]] -3518*s[[11,1]] -4330*s[[12]] )
+t^13*( 132*s[[7,4,1,1]] +44*s[[7,4,2]] +452*s[[7,5,1]] +636*s[[7,6]] +220*s[[8,1,1,1,1,1]] +32*s[[8,2,1,1,1]] +16*s[[8,2,2,1]] +264*s[[8,3,1,1]] +88*s[[8,3,2]] +904*s[[8,4,1]] +1437*s[[8,5]] +559*s[[9,1,1,1,1]] +528*s[[9,2,1,1]] +176*s[[9,2,2]] +1808*s[[9,3,1]] +2874*s[[9,4]] +1784*s[[10,1,1,1]] +3616*s[[10,2,1]] +5748*s[[10,3]] +7452*s[[11,1,1]] +11496*s[[11,2]] +22632*s[[12,1]] +24975*s[[13]] +s[[5,1,1,1,1,1,1,1,1]] +4*s[[5,5,1,1,1]] +2*s[[5,5,2,1]] +12*s[[6,1,1,1,1,1,1,1]] +8*s[[6,4,1,1,1]] +4*s[[6,4,2,1]] +66*s[[6,5,1,1]] +22*s[[6,5,2]] +150*s[[6,6,1]] +66*s[[7,1,1,1,1,1,1]] +16*s[[7,3,1,1,1]] +8*s[[7,3,2,1]] )
+t^14*( -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]] -13*s[[6,1,1,1,1,1,1,1,1]] -10*s[[6,4,1,1,1,1]] -6*s[[6,4,2,1,1]] -2*s[[6,4,2,2]] -94*s[[6,5,1,1,1]] -47*s[[6,5,2,1]] -257*s[[6,6,1,1]] -86*s[[6,6,2]] -78*s[[7,1,1,1,1,1,1,1]] -20*s[[7,3,1,1,1,1]] -12*s[[7,3,2,1,1]] -4*s[[7,3,2,2]] -188*s[[7,4,1,1,1]] -94*s[[7,4,2,1]] -778*s[[7,5,1,1]] -259*s[[7,5,2]] -1573*s[[7,6,1]] -1241*s[[7,7]] -286*s[[8,1,1,1,1,1,1]] -40*s[[8,2,1,1,1,1]] -24*s[[8,2,2,1,1]] -8*s[[8,2,2,2]] -376*s[[8,3,1,1,1]] -188*s[[8,3,2,1]] -1556*s[[8,4,1,1]] -518*s[[8,4,2]] -3563*s[[8,5,1]] -4088*s[[8,6]] -795*s[[9,1,1,1,1,1]] -752*s[[9,2,1,1,1]] -376*s[[9,2,2,1]] -3112*s[[9,3,1,1]] -1036*s[[9,3,2]] -7126*s[[9,4,1]] -8526*s[[9,5]] -2695*s[[10,1,1,1,1]] -6224*s[[10,2,1,1]] -2072*s[[10,2,2]] -14252*s[[10,3,1]] -17052*s[[10,4]] -12724*s[[11,1,1,1]] -28504*s[[11,2,1]] -34104*s[[11,3]] -50564*s[[12,1,1]] -68208*s[[12,2]] -126375*s[[13,1]] -123595*s[[14]] )
+t^15*( s[[5,1,1,1,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]] +14*s[[6,1,1,1,1,1,1,1,1,1]] +2877*s[[7,6,1,1]] +959*s[[7,6,2]] +3269*s[[7,7,1]] +364*s[[8,1,1,1,1,1,1,1]] +48*s[[8,2,1,1,1,1,1]] +32*s[[8,2,2,1,1,1]] +16*s[[8,2,2,2,1]] +500*s[[8,3,1,1,1,1]] +300*s[[8,3,2,1,1]] +100*s[[8,3,2,2]] +2360*s[[8,4,1,1,1]] +1178*s[[8,4,2,1]] +6535*s[[8,5,1,1]] +2170*s[[8,5,2]] +10787*s[[8,6,1]] +8939*s[[8,7]] +1097*s[[9,1,1,1,1,1,1]] +1000*s[[9,2,1,1,1,1]] +600*s[[9,2,2,1,1]] +200*s[[9,2,2,2]] +4720*s[[9,3,1,1,1]] +2356*s[[9,3,2,1]] +13070*s[[9,4,1,1]] +4340*s[[9,4,2]] +22526*s[[9,5,1]] +21322*s[[9,6]] +3874*s[[10,1,1,1,1,1]] +9440*s[[10,2,1,1,1]] +4712*s[[10,2,2,1]] +26140*s[[10,3,1,1]] +8680*s[[10,3,2]] +45052*s[[10,4,1]] +43302*s[[10,5]] +19611*s[[11,1,1,1,1]] +52280*s[[11,2,1,1]] +17360*s[[11,2,2]] +90104*s[[11,3,1]] +86604*s[[11,4]] +90744*s[[12,1,1,1]] +180208*s[[12,2,1]] +173208*s[[12,3]] +296667*s[[13,1,1]] +346416*s[[13,2]] +614194*s[[14,1]] +537257*s[[15]] +12*s[[6,4,1,1,1,1,1]] +8*s[[6,4,2,1,1,1]] +4*s[[6,4,2,2,1]] +125*s[[6,5,1,1,1,1]] +75*s[[6,5,2,1,1]] +25*s[[6,5,2,2]] +388*s[[6,6,1,1,1]] +195*s[[6,6,2,1]] +91*s[[7,1,1,1,1,1,1,1,1]] +24*s[[7,3,1,1,1,1,1]] +16*s[[7,3,2,1,1,1]] +8*s[[7,3,2,2,1]] +250*s[[7,4,1,1,1,1]] +150*s[[7,4,2,1,1]] +50*s[[7,4,2,2]] +1180*s[[7,5,1,1,1]] +589*s[[7,5,2,1]] )
+t^16*( -390964*s[[12,4]] -562051*s[[13,1,1,1]] -971824*s[[13,2,1]] -781928*s[[13,3]] -1514541*s[[14,1,1]] -1563856*s[[14,2]] -2665691*s[[15,1]] -2109205*s[[16]] -6958*s[[8,6,2]] -25032*s[[8,7,1]] -13300*s[[8,8]] -1477*s[[9,1,1,1,1,1,1,1]] -1272*s[[9,2,1,1,1,1,1]] -848*s[[9,2,2,1,1,1]] -424*s[[9,2,2,2,1]] -6660*s[[9,3,1,1,1,1]] -3988*s[[9,3,2,1,1]] -1328*s[[9,3,2,2]] -21050*s[[9,4,1,1,1]] -10472*s[[9,4,2,1]] -43886*s[[9,5,1,1]] -14518*s[[9,5,2]] -59780*s[[9,6,1]] -45290*s[[9,7]] -5387*s[[10,1,1,1,1,1,1]] -13320*s[[10,2,1,1,1,1]] -7976*s[[10,2,2,1,1]] -2656*s[[10,2,2,2]] -42100*s[[10,3,1,1,1]] -20944*s[[10,3,2,1]] -87772*s[[10,4,1,1]] -29036*s[[10,4,2]] -121478*s[[10,5,1]] -97174*s[[10,6]] -28445*s[[11,1,1,1,1,1]] -84200*s[[11,2,1,1,1]] -41888*s[[11,2,2,1]] -175544*s[[11,3,1,1]] -58072*s[[11,3,2]] -242956*s[[11,4,1]] -195482*s[[11,5]] -146195*s[[12,1,1,1,1]] -351088*s[[12,2,1,1]] -116144*s[[12,2,2]] -485912*s[[12,3,1]] -20*s[[7,3,2,1,1,1,1]] -12*s[[7,3,2,2,1,1]] -4*s[[7,3,2,2,2]] -318*s[[7,4,1,1,1,1,1]] -212*s[[7,4,2,1,1,1]] -106*s[[7,4,2,2,1]] -1665*s[[7,5,1,1,1,1]] -997*s[[7,5,2,1,1]] -332*s[[7,5,2,2]] -4620*s[[7,6,1,1,1]] -2310*s[[7,6,2,1]] -6344*s[[7,7,1,1]] -2114*s[[7,7,2]] -455*s[[8,1,1,1,1,1,1,1,1]] -56*s[[8,2,1,1,1,1,1,1]] -40*s[[8,2,2,1,1,1,1]] -24*s[[8,2,2,2,1,1]] -8*s[[8,2,2,2,2]] -636*s[[8,3,1,1,1,1,1]] -424*s[[8,3,2,1,1,1]] -212*s[[8,3,2,2,1]] -3330*s[[8,4,1,1,1,1]] -1994*s[[8,4,2,1,1]] -664*s[[8,4,2,2]] -10525*s[[8,5,1,1,1]] -5236*s[[8,5,2,1]] -20984*s[[8,6,1,1]] -14*s[[6,4,1,1,1,1,1,1]] -10*s[[6,4,2,1,1,1,1]] -6*s[[6,4,2,2,1,1]] -2*s[[6,4,2,2,2]] -159*s[[6,5,1,1,1,1,1]] -106*s[[6,5,2,1,1,1]] -53*s[[6,5,2,2,1]] -545*s[[6,6,1,1,1,1]] -329*s[[6,6,2,1,1]] -110*s[[6,6,2,2]] -105*s[[7,1,1,1,1,1,1,1,1,1]] -28*s[[7,3,1,1,1,1,1,1]] -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]] -15*s[[6,1,1,1,1,1,1,1,1,1,1]] )

+t^10*( 8*c[1]*c[9] +4*c[2]*c[8] +2*c[3]*c[7] +c[4]*c[6] +c[5]^2 +16*c[10] )
+t^11*( -16*c[1]^2*c[9] -8*c[1]*c[2]*c[8] -4*c[1]*c[3]*c[7] -2*c[1]*c[4]*c[6] -2*c[1]*c[5]^2 -136*c[1]*c[10] -52*c[2]*c[9] -26*c[3]*c[8] -13*c[4]*c[7] -13*c[5]*c[6] -208*c[11] )
+t^12*( 24*c[1]^3*c[9] +12*c[1]^2*c[2]*c[8] +6*c[1]^2*c[3]*c[7] +3*c[1]^2*c[4]*c[6] +3*c[1]^2*c[5]^2 +280*c[1]^2*c[10] +100*c[1]*c[2]*c[9] +58*c[1]*c[3]*c[8] +29*c[1]*c[4]*c[7] +29*c[1]*c[5]*c[6] -8*c[2]^2*c[8] -4*c[2]*c[3]*c[7] -2*c[2]*c[4]*c[6] -2*c[2]*c[5]^2 +1224*c[1]*c[11] +348*c[2]*c[10] +190*c[3]*c[9] +95*c[4]*c[8] +66*c[5]*c[7] +29*c[6]^2 +1520*c[12] )
+t^13*( -32*c[1]^4*c[9] -16*c[1]^3*c[2]*c[8] -8*c[1]^3*c[3]*c[7] -4*c[1]^3*c[4]*c[6] -4*c[1]^3*c[5]^2 -448*c[1]^3*c[10] -144*c[1]^2*c[2]*c[9] -96*c[1]^2*c[3]*c[8] -48*c[1]^2*c[4]*c[7] -48*c[1]^2*c[5]*c[6] +24*c[1]*c[2]^2*c[8] +12*c[1]*c[2]*c[3]*c[7] +6*c[1]*c[2]*c[4]*c[6] +6*c[1]*c[2]*c[5]^2 -2640*c[1]^2*c[11] -584*c[1]*c[2]*c[10] -484*c[1]*c[3]*c[9] -234*c[1]*c[4]*c[8] -162*c[1]*c[5]*c[7] -72*c[1]*c[6]^2 +128*c[2]^2*c[9] +56*c[2]*c[3]*c[8] +32*c[2]*c[4]*c[7] +32*c[2]*c[5]*c[6] -4*c[3]^2*c[7] -2*c[3]*c[4]*c[6] -2*c[3]*c[5]^2 -7864*c[1]*c[12] -1548*c[2]*c[11] -1062*c[3]*c[10] -515*c[4]*c[9] -299*c[5]*c[8] -216*c[6]*c[7] -8240*c[13] )
+t^14*( 40*c[1]^5*c[9] +20*c[1]^4*c[2]*c[8] +10*c[1]^4*c[3]*c[7] +5*c[1]^4*c[4]*c[6] +5*c[1]^4*c[5]^2 +640*c[1]^4*c[10] +184*c[1]^3*c[2]*c[9] +140*c[1]^3*c[3]*c[8] +70*c[1]^3*c[4]*c[7] +70*c[1]^3*c[5]*c[6] -48*c[1]^2*c[2]^2*c[8] -24*c[1]^2*c[2]*c[3]*c[7] -12*c[1]^2*c[2]*c[4]*c[6] -12*c[1]^2*c[2]*c[5]^2 +4512*c[1]^3*c[11] +664*c[1]^2*c[2]*c[10] +896*c[1]^2*c[3]*c[9] +424*c[1]^2*c[4]*c[8] +293*c[1]^2*c[5]*c[7] +131*c[1]^2*c[6]^2 -396*c[1]*c[2]^2*c[9] -186*c[1]*c[2]*c[3]*c[8] -105*c[1]*c[2]*c[4]*c[7] -105*c[1]*c[2]*c[5]*c[6] +12*c[1]*c[3]^2*c[7] +6*c[1]*c[3]*c[4]*c[6] +6*c[1]*c[3]*c[5]^2 +12*c[2]^3*c[8] +6*c[2]^2*c[3]*c[7] +3*c[2]^2*c[4]*c[6] +3*c[2]^2*c[5]^2 +17896*c[1]^2*c[12] +1612*c[1]*c[2]*c[11] +3154*c[1]*c[3]*c[10] +1373*c[1]*c[4]*c[9] +804*c[1]*c[5]*c[8] +585*c[1]*c[6]*c[7] -1084*c[2]^2*c[10] -426*c[2]*c[3]*c[9] -291*c[2]*c[4]*c[8] -196*c[2]*c[5]*c[7] -87*c[2]*c[6]^2 +70*c[3]^2*c[8] +31*c[3]*c[4]*c[7] +35*c[3]*c[5]*c[6] -2*c[4]^2*c[6] -2*c[4]*c[5]^2 +40704*c[1]*c[13] +4712*c[2]*c[12] +5180*c[3]*c[11] +2278*c[4]*c[10] +1236*c[5]*c[9] +756*c[6]*c[8] +318*c[7]^2 +36960*c[14] )
+t^15*( -48*c[1]^6*c[9] -24*c[1]^5*c[2]*c[8] -12*c[1]^5*c[3]*c[7] -6*c[1]^5*c[4]*c[6] -6*c[1]^5*c[5]^2 -856*c[1]^5*c[10] -220*c[1]^4*c[2]*c[9] -190*c[1]^4*c[3]*c[8] -95*c[1]^4*c[4]*c[7] -95*c[1]^4*c[5]*c[6] +80*c[1]^3*c[2]^2*c[8] +40*c[1]^3*c[2]*c[3]*c[7] +20*c[1]^3*c[2]*c[4]*c[6] +20*c[1]^3*c[2]*c[5]^2 -6896*c[1]^4*c[11] -544*c[1]^3*c[2]*c[10] -1440*c[1]^3*c[3]*c[9] -672*c[1]^3*c[4]*c[8] -464*c[1]^3*c[5]*c[7] -208*c[1]^3*c[6]^2 +816*c[1]^2*c[2]^2*c[9] +408*c[1]^2*c[2]*c[3]*c[8] +228*c[1]^2*c[2]*c[4]*c[7] +228*c[1]^2*c[2]*c[5]*c[6] -24*c[1]^2*c[3]^2*c[7] -12*c[1]^2*c[3]*c[4]*c[6] -12*c[1]^2*c[3]*c[5]^2 -48*c[1]*c[2]^3*c[8] -24*c[1]*c[2]^2*c[3]*c[7] -12*c[1]*c[2]^2*c[4]*c[6] -12*c[1]*c[2]^2*c[5]^2 -32648*c[1]^3*c[12] +772*c[1]^2*c[2]*c[11] -6578*c[1]^2*c[3]*c[10] -2689*c[1]^2*c[4]*c[9] -1582*c[1]^2*c[5]*c[8] -1155*c[1]^2*c[6]*c[7] +3388*c[1]*c[2]^2*c[10] +1610*c[1]*c[2]*c[3]*c[9] +1033*c[1]*c[2]*c[4]*c[8] +698*c[1]*c[2]*c[5]*c[7] +311*c[1]*c[2]*c[6]^2 -228*c[1]*c[3]^2*c[8] -102*c[1]*c[3]*c[4]*c[7] -114*c[1]*c[3]*c[5]*c[6] +6*c[1]*c[4]^2*c[6] +6*c[1]*c[4]*c[5]^2 -228*c[2]^3*c[9] -90*c[2]^2*c[3]*c[8] -57*c[2]^2*c[4]*c[7] -57*c[2]^2*c[5]*c[6] +12*c[2]*c[3]^2*c[7] +6*c[2]*c[3]*c[4]*c[6] +6*c[2]*c[3]*c[5]^2 -98416*c[1]^2*c[13] +3336*c[1]*c[2]*c[12] -18224*c[1]*c[3]*c[11] -6444*c[1]*c[4]*c[10] -3676*c[1]*c[5]*c[9] -2238*c[1]*c[6]*c[8] -938*c[1]*c[7]^2 +6340*c[2]^2*c[11] +2350*c[2]*c[3]*c[10] +1957*c[2]*c[4]*c[9] +1036*c[2]*c[5]*c[8] +765*c[2]*c[6]*c[7] -686*c[3]^2*c[9] -271*c[3]*c[4]*c[8] -245*c[3]*c[5]*c[7] -104*c[3]*c[6]^2 +36*c[4]^2*c[7] +33*c[4]*c[5]*c[6] -3*c[5]^3 -183168*c[1]*c[14] -7952*c[2]*c[13] -23968*c[3]*c[12] -8664*c[4]*c[11] -4827*c[5]*c[10] -2633*c[6]*c[9] -1828*c[7]*c[8] -147840*c[15] )
+t^16*( 56*c[1]^7*c[9] +28*c[1]^6*c[2]*c[8] +14*c[1]^6*c[3]*c[7] +7*c[1]^6*c[4]*c[6] +7*c[1]^6*c[5]^2 +1096*c[1]^6*c[10] +252*c[1]^5*c[2]*c[9] +246*c[1]^5*c[3]*c[8] +123*c[1]^5*c[4]*c[7] +123*c[1]^5*c[5]*c[6] -120*c[1]^4*c[2]^2*c[8] -60*c[1]^4*c[2]*c[3]*c[7] -30*c[1]^4*c[2]*c[4]*c[6] -30*c[1]^4*c[2]*c[5]^2 +9848*c[1]^5*c[11] +180*c[1]^4*c[2]*c[10] +2130*c[1]^4*c[3]*c[9] +985*c[1]^4*c[4]*c[8] +680*c[1]^4*c[5]*c[7] +305*c[1]^4*c[6]^2 -1400*c[1]^3*c[2]^2*c[9] -740*c[1]^3*c[2]*c[3]*c[8] -410*c[1]^3*c[2]*c[4]*c[7] -410*c[1]^3*c[2]*c[5]*c[6] +40*c[1]^3*c[3]^2*c[7] +20*c[1]^3*c[3]*c[4]*c[6] +20*c[1]^3*c[3]*c[5]^2 +120*c[1]^2*c[2]^3*c[8] +60*c[1]^2*c[2]^2*c[3]*c[7] +30*c[1]^2*c[2]^2*c[4]*c[6] +30*c[1]^2*c[2]^2*c[5]^2 +53272*c[1]^4*c[12] -6732*c[1]^3*c[2]*c[11] +11666*c[1]^3*c[3]*c[10] +4593*c[1]^3*c[4]*c[9] +2709*c[1]^3*c[5]*c[8] +1980*c[1]^3*c[6]*c[7] -7016*c[1]^2*c[2]^2*c[10] -3940*c[1]^2*c[2]*c[3]*c[9] -2414*c[1]^2*c[2]*c[4]*c[8] -1636*c[1]^2*c[2]*c[5]*c[7] -730*c[1]^2*c[2]*c[6]^2 +492*c[1]^2*c[3]^2*c[8] +222*c[1]^2*c[3]*c[4]*c[7] +246*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 +952*c[1]*c[2]^3*c[9] +396*c[1]*c[2]^2*c[3]*c[8] +246*c[1]*c[2]^2*c[4]*c[7] +246*c[1]*c[2]^2*c[5]*c[6] -48*c[1]*c[2]*c[3]^2*c[7] -24*c[1]*c[2]*c[3]*c[4]*c[6] -24*c[1]*c[2]*c[3]*c[5]^2 -16*c[2]^4*c[8] -8*c[2]^3*c[3]*c[7] -4*c[2]^3*c[4]*c[6] -4*c[2]^3*c[5]^2 +191792*c[1]^3*c[13] -35472*c[1]^2*c[2]*c[12] +42752*c[1]^2*c[3]*c[11] +13468*c[1]^2*c[4]*c[10] +7877*c[1]^2*c[5]*c[9] +4789*c[1]^2*c[6]*c[8] +2002*c[1]^2*c[7]^2 -19328*c[1]*c[2]^2*c[11] -10556*c[1]*c[2]*c[3]*c[10] -7420*c[1]*c[2]*c[4]*c[9] -4009*c[1]*c[2]*c[5]*c[8] -2955*c[1]*c[2]*c[6]*c[7] +2430*c[1]*c[3]^2*c[9] +969*c[1]*c[3]*c[4]*c[8] +855*c[1]*c[3]*c[5]*c[7] +366*c[1]*c[3]*c[6]^2 -117*c[1]*c[4]^2*c[7] -108*c[1]*c[4]*c[5]*c[6] +9*c[1]*c[5]^3 +2304*c[2]^3*c[10] +692*c[2]^2*c[3]*c[9] +616*c[2]^2*c[4]*c[8] +410*c[2]^2*c[5]*c[7] +182*c[2]^2*c[6]^2 -234*c[2]*c[3]^2*c[8] -111*c[2]*c[3]*c[4]*c[7] -123*c[2]*c[3]*c[5]*c[6] +6*c[2]*c[4]^2*c[6] +6*c[2]*c[4]*c[5]^2 +6*c[3]^3*c[7] +3*c[3]^2*c[4]*c[6] +3*c[3]^2*c[5]^2 +479248*c[1]^2*c[14] -62760*c[1]*c[2]*c[13] +100892*c[1]*c[3]*c[12] +26106*c[1]*c[4]*c[11] +16600*c[1]*c[5]*c[10] +8777*c[1]*c[6]*c[9] +6009*c[1]*c[7]*c[8] -27336*c[2]^2*c[12] -10264*c[2]*c[3]*c[11] -10474*c[2]*c[4]*c[10] -4627*c[2]*c[5]*c[9] -3028*c[2]*c[6]*c[8] -1283*c[2]*c[7]^2 +5102*c[3]^2*c[10] +1843*c[3]*c[4]*c[9] +1610*c[3]*c[5]*c[8] +1049*c[3]*c[6]*c[7] -342*c[4]^2*c[8] -172*c[4]*c[5]*c[7] -104*c[4]*c[6]^2 +66*c[5]^2*c[6] +785248*c[1]*c[15] -320*c[2]*c[14] +113888*c[3]*c[13] +31256*c[4]*c[12] +19831*c[5]*c[11] +9826*c[6]*c[10] +5805*c[7]*c[9] +2322*c[8]^2 +587648*c[16] )

+t^10*( 32*s[[10]] +s[[5,5]] +2*s[[6,4]] +4*s[[7,3]] +8*s[[8,2]] +16*s[[9,1]] )
+t^11*( -2*s[[5,5,1]] -4*s[[6,4,1]] -19*s[[6,5]] -8*s[[7,3,1]] -38*s[[7,4]] -16*s[[8,2,1]] -76*s[[8,3]] -32*s[[9,1,1]] -152*s[[9,2]] -304*s[[10,1]] -480*s[[11]] )
+t^12*( 3*s[[5,5,1,1]] +s[[5,5,2]] +6*s[[6,4,1,1]] +2*s[[6,4,2]] +41*s[[6,5,1]] +63*s[[6,6]] +12*s[[7,3,1,1]] +4*s[[7,3,2]] +82*s[[7,4,1]] +195*s[[7,5]] +24*s[[8,2,1,1]] +8*s[[8,2,2]] +164*s[[8,3,1]] +390*s[[8,4]] +48*s[[9,1,1,1]] +328*s[[9,2,1]] +780*s[[9,3]] +624*s[[10,1,1]] +1560*s[[10,2]] +3056*s[[11,1]] +4000*s[[12]] )
+t^13*( -8*s[[6,4,1,1,1]] -4*s[[6,4,2,1]] -66*s[[6,5,1,1]] -22*s[[6,5,2]] -146*s[[6,6,1]] -16*s[[7,3,1,1,1]] -8*s[[7,3,2,1]] -132*s[[7,4,1,1]] -44*s[[7,4,2]] -452*s[[7,5,1]] -624*s[[7,6]] -32*s[[8,2,1,1,1]] -16*s[[8,2,2,1]] -264*s[[8,3,1,1]] -88*s[[8,3,2]] -904*s[[8,4,1]] -1437*s[[8,5]] -64*s[[9,1,1,1,1]] -528*s[[9,2,1,1]] -176*s[[9,2,2]] -1808*s[[9,3,1]] -2874*s[[9,4]] -992*s[[10,1,1,1]] -3616*s[[10,2,1]] -5748*s[[10,3]] -6528*s[[11,1,1]] -11496*s[[11,2]] -21840*s[[12,1]] -24480*s[[13]] -4*s[[5,5,1,1,1]] -2*s[[5,5,2,1]] )
+t^14*( 1211*s[[7,7]] +40*s[[8,2,1,1,1,1]] +24*s[[8,2,2,1,1]] +8*s[[8,2,2,2]] +376*s[[8,3,1,1,1]] +188*s[[8,3,2,1]] +1556*s[[8,4,1,1]] +518*s[[8,4,2]] +3563*s[[8,5,1]] +4046*s[[8,6]] +80*s[[9,1,1,1,1,1]] +752*s[[9,2,1,1,1]] +376*s[[9,2,2,1]] +3112*s[[9,3,1,1]] +1036*s[[9,3,2]] +7126*s[[9,4,1]] +8526*s[[9,5]] +1408*s[[10,1,1,1,1]] +6224*s[[10,2,1,1]] +2072*s[[10,2,2]] +14252*s[[10,3,1]] +17052*s[[10,4]] +11008*s[[11,1,1,1]] +28504*s[[11,2,1]] +34104*s[[11,3]] +48848*s[[12,1,1]] +68208*s[[12,2]] +125088*s[[13,1]] +122880*s[[14]] +5*s[[5,5,1,1,1,1]] +3*s[[5,5,2,1,1]] +s[[5,5,2,2]] +10*s[[6,4,1,1,1,1]] +6*s[[6,4,2,1,1]] +2*s[[6,4,2,2]] +94*s[[6,5,1,1,1]] +47*s[[6,5,2,1]] +251*s[[6,6,1,1]] +84*s[[6,6,2]] +20*s[[7,3,1,1,1,1]] +12*s[[7,3,2,1,1]] +4*s[[7,3,2,2]] +188*s[[7,4,1,1,1]] +94*s[[7,4,2,1]] +778*s[[7,5,1,1]] +259*s[[7,5,2]] +1547*s[[7,6,1]] )
+t^15*( -6*s[[5,5,1,1,1,1,1]] -4*s[[5,5,2,1,1,1]] -2*s[[5,5,2,2,1]] -s[[5,5,5]] -12*s[[6,4,1,1,1,1,1]] -8*s[[6,4,2,1,1,1]] -4*s[[6,4,2,2,1]] -125*s[[6,5,1,1,1,1]] -75*s[[6,5,2,1,1]] -25*s[[6,5,2,2]] -5*s[[6,5,4]] -380*s[[6,6,1,1,1]] -191*s[[6,6,2,1]] -5*s[[6,6,3]] -24*s[[7,3,1,1,1,1,1]] -16*s[[7,3,2,1,1,1]] -8*s[[7,3,2,2,1]] -250*s[[7,4,1,1,1,1]] -150*s[[7,4,2,1,1]] -50*s[[7,4,2,2]] -6*s[[7,4,4]] -1180*s[[7,5,1,1,1]] -589*s[[7,5,2,1]] -19*s[[7,5,3]] -2835*s[[7,6,1,1]] -969*s[[7,6,2]] -3223*s[[7,7,1]] -48*s[[8,2,1,1,1,1,1]] -32*s[[8,2,2,1,1,1]] -16*s[[8,2,2,2,1]] -500*s[[8,3,1,1,1,1]] -300*s[[8,3,2,1,1]] -100*s[[8,3,2,2]] -2360*s[[8,4,1,1,1]] -1178*s[[8,4,2,1]] -30*s[[8,4,3]] -6535*s[[8,5,1,1]] -2235*s[[8,5,2]] -10778*s[[8,6,1]] -8912*s[[8,7]] -96*s[[9,1,1,1,1,1,1]] -1000*s[[9,2,1,1,1,1]] -600*s[[9,2,2,1,1]] -200*s[[9,2,2,2]] -4720*s[[9,3,1,1,1]] -2356*s[[9,3,2,1]] -36*s[[9,3,3]] -13070*s[[9,4,1,1]] -4454*s[[9,4,2]] -22737*s[[9,5,1]] -21510*s[[9,6]] -1872*s[[10,1,1,1,1,1]] -9440*s[[10,2,1,1,1]] -4712*s[[10,2,2,1]] -26140*s[[10,3,1,1]] -8860*s[[10,3,2]] -45442*s[[10,4,1]] -43967*s[[10,5]] -16608*s[[11,1,1,1,1]] -52280*s[[11,2,1,1]] -17576*s[[11,2,2]] -90788*s[[11,3,1]] -87870*s[[11,4]] -87312*s[[12,1,1,1]] -181288*s[[12,2,1]] -175548*s[[12,3]] -294960*s[[13,1,1]] -350520*s[[13,2]] -618672*s[[14,1]] -544032*s[[15]] )
+t^16*( 435964*s[[12,4]] +559504*s[[13,1,1,1]] +1020424*s[[13,2,1]] +864440*s[[13,3]] +1567856*s[[14,1,1]] +1706416*s[[14,2]] +2880416*s[[15,1]] +2341120*s[[16]] +8237*s[[8,6,2]] +26377*s[[8,7,1]] +14446*s[[8,8]] +112*s[[9,1,1,1,1,1,1,1]] +1272*s[[9,2,1,1,1,1,1]] +848*s[[9,2,2,1,1,1]] +424*s[[9,2,2,2,1]] +6660*s[[9,3,1,1,1,1]] +3988*s[[9,3,2,1,1]] +1328*s[[9,3,2,2]] +108*s[[9,3,3,1]] +21050*s[[9,4,1,1,1]] +10814*s[[9,4,2,1]] +1350*s[[9,4,3]] +44519*s[[9,5,1,1]] +17443*s[[9,5,2]] +64000*s[[9,6,1]] +49826*s[[9,7]] +2384*s[[10,1,1,1,1,1,1]] +13320*s[[10,2,1,1,1,1]] +7976*s[[10,2,2,1,1]] +2656*s[[10,2,2,2]] +42100*s[[10,3,1,1,1]] +21484*s[[10,3,2,1]] +1620*s[[10,3,3]] +88942*s[[10,4,1,1]] +34166*s[[10,4,2]] +130973*s[[10,5,1]] +108502*s[[10,6]] +23440*s[[11,1,1,1,1,1]] +84200*s[[11,2,1,1,1]] +42536*s[[11,2,2,1]] +177596*s[[11,3,1,1]] +66172*s[[11,3,2]] +260506*s[[11,4,1]] +219230*s[[11,5]] +139760*s[[12,1,1,1,1]] +354328*s[[12,2,1,1]] +125864*s[[12,2,2]] +516692*s[[12,3,1]] +20*s[[7,3,2,1,1,1,1]] +12*s[[7,3,2,2,1,1]] +4*s[[7,3,2,2,2]] +318*s[[7,4,1,1,1,1,1]] +212*s[[7,4,2,1,1,1]] +106*s[[7,4,2,2,1]] +18*s[[7,4,4,1]] +1665*s[[7,5,1,1,1,1]] +997*s[[7,5,2,1,1]] +332*s[[7,5,2,2]] +57*s[[7,5,3,1]] +225*s[[7,5,4]] +4560*s[[7,6,1,1,1]] +2352*s[[7,6,2,1]] +360*s[[7,6,3]] +6296*s[[7,7,1,1]] +2432*s[[7,7,2]] +56*s[[8,2,1,1,1,1,1,1]] +40*s[[8,2,2,1,1,1,1]] +24*s[[8,2,2,2,1,1]] +8*s[[8,2,2,2,2]] +636*s[[8,3,1,1,1,1,1]] +424*s[[8,3,2,1,1,1]] +212*s[[8,3,2,2,1]] +3330*s[[8,4,1,1,1,1]] +1994*s[[8,4,2,1,1]] +664*s[[8,4,2,2]] +90*s[[8,4,3,1]] +270*s[[8,4,4]] +10525*s[[8,5,1,1,1]] +5431*s[[8,5,2,1]] +855*s[[8,5,3]] +21081*s[[8,6,1,1]] +14*s[[6,4,1,1,1,1,1,1]] +10*s[[6,4,2,1,1,1,1]] +6*s[[6,4,2,2,1,1]] +2*s[[6,4,2,2,2]] +159*s[[6,5,1,1,1,1,1]] +106*s[[6,5,2,1,1,1]] +53*s[[6,5,2,2,1]] +15*s[[6,5,4,1]] +45*s[[6,5,5]] +535*s[[6,6,1,1,1,1]] +323*s[[6,6,2,1,1]] +108*s[[6,6,2,2]] +15*s[[6,6,3,1]] +75*s[[6,6,4]] +28*s[[7,3,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]] +3*s[[5,5,5,1]] )

+t^12*( -c[5]*c[7] +c[6]^2 )
+t^13*( 2*c[1]*c[5]*c[7] -2*c[1]*c[6]^2 +4*c[5]*c[8] -4*c[6]*c[7] )
+t^14*( -3*c[1]^2*c[5]*c[7] +3*c[1]^2*c[6]^2 -9*c[1]*c[5]*c[8] +9*c[1]*c[6]*c[7] +2*c[2]*c[5]*c[7] -2*c[2]*c[6]^2 -11*c[5]*c[9] +8*c[6]*c[8] +3*c[7]^2 )
+t^15*( 4*c[1]^3*c[5]*c[7] -4*c[1]^3*c[6]^2 +15*c[1]^2*c[5]*c[8] -15*c[1]^2*c[6]*c[7] -6*c[1]*c[2]*c[5]*c[7] +6*c[1]*c[2]*c[6]^2 +27*c[1]*c[5]*c[9] -18*c[1]*c[6]*c[8] -9*c[1]*c[7]^2 -10*c[2]*c[5]*c[8] +10*c[2]*c[6]*c[7] +2*c[3]*c[5]*c[7] -2*c[3]*c[6]^2 +24*c[5]*c[10] -12*c[6]*c[9] -12*c[7]*c[8] )
+t^16*( -5*c[1]^4*c[5]*c[7] +5*c[1]^4*c[6]^2 -22*c[1]^3*c[5]*c[8] +22*c[1]^3*c[6]*c[7] +12*c[1]^2*c[2]*c[5]*c[7] -12*c[1]^2*c[2]*c[6]^2 -49*c[1]^2*c[5]*c[9] +31*c[1]^2*c[6]*c[8] +18*c[1]^2*c[7]^2 +33*c[1]*c[2]*c[5]*c[8] -33*c[1]*c[2]*c[6]*c[7] -6*c[1]*c[3]*c[5]*c[7] +6*c[1]*c[3]*c[6]^2 -3*c[2]^2*c[5]*c[7] +3*c[2]^2*c[6]^2 -56*c[1]*c[5]*c[10] +22*c[1]*c[6]*c[9] +34*c[1]*c[7]*c[8] +37*c[2]*c[5]*c[9] -25*c[2]*c[6]*c[8] -12*c[2]*c[7]^2 -9*c[3]*c[5]*c[8] +9*c[3]*c[6]*c[7] +3*c[4]*c[5]*c[7] -3*c[4]*c[6]^2 -30*c[5]*c[11] +11*c[6]*c[10] +19*c[8]^2 )

+t^12*( s[[6,6]] )
+t^13*( -2*s[[6,6,1]] -6*s[[7,6]] )
+t^14*( 3*s[[6,6,1,1]] +s[[6,6,2]] +13*s[[7,6,1]] +15*s[[7,7]] +21*s[[8,6]] )
+t^15*( -49*s[[8,6,1]] -70*s[[8,7]] -56*s[[9,6]] -4*s[[6,6,1,1,1]] -2*s[[6,6,2,1]] -21*s[[7,6,1,1]] -7*s[[7,6,2]] -35*s[[7,7,1]] )
+t^16*( 5*s[[6,6,1,1,1,1]] +3*s[[6,6,2,1,1]] +s[[6,6,2,2]] -s[[6,6,4]] +30*s[[7,6,1,1,1]] +15*s[[7,6,2,1]] -3*s[[7,6,3]] +60*s[[7,7,1,1]] +18*s[[7,7,2]] +85*s[[8,6,1,1]] +21*s[[8,6,2]] +165*s[[8,7,1]] +95*s[[8,8]] +125*s[[9,6,1]] +185*s[[9,7]] +95*s[[10,6]] )

+t^15*( 432*c[1]^2*c[13] +360*c[1]*c[2]*c[12] +156*c[1]*c[3]*c[11] +70*c[1]*c[4]*c[10] +43*c[1]*c[5]*c[9] +14*c[1]*c[6]*c[8] +5*c[1]*c[7]^2 +72*c[2]^2*c[11] +60*c[2]*c[3]*c[10] +26*c[2]*c[4]*c[9] +17*c[2]*c[5]*c[8] +5*c[2]*c[6]*c[7] +12*c[3]^2*c[9] +10*c[3]*c[4]*c[8] +7*c[3]*c[5]*c[7] +c[3]*c[6]^2 +2*c[4]^2*c[7] +3*c[4]*c[5]*c[6] +c[5]^3 +2160*c[1]*c[14] +936*c[2]*c[13] +420*c[3]*c[12] +194*c[4]*c[11] +113*c[5]*c[10] +41*c[6]*c[9] +24*c[7]*c[8] +2592*c[15] )
+t^16*( -1296*c[1]^3*c[13] -1080*c[1]^2*c[2]*c[12] -468*c[1]^2*c[3]*c[11] -210*c[1]^2*c[4]*c[10] -129*c[1]^2*c[5]*c[9] -42*c[1]^2*c[6]*c[8] -15*c[1]^2*c[7]^2 -216*c[1]*c[2]^2*c[11] -180*c[1]*c[2]*c[3]*c[10] -78*c[1]*c[2]*c[4]*c[9] -51*c[1]*c[2]*c[5]*c[8] -15*c[1]*c[2]*c[6]*c[7] -36*c[1]*c[3]^2*c[9] -30*c[1]*c[3]*c[4]*c[8] -21*c[1]*c[3]*c[5]*c[7] -3*c[1]*c[3]*c[6]^2 -6*c[1]*c[4]^2*c[7] -9*c[1]*c[4]*c[5]*c[6] -3*c[1]*c[5]^3 -18144*c[1]^2*c[14] -12528*c[1]*c[2]*c[13] -5472*c[1]*c[3]*c[12] -2472*c[1]*c[4]*c[11] -1356*c[1]*c[5]*c[10] -564*c[1]*c[6]*c[9] -288*c[1]*c[7]*c[8] -1944*c[2]^2*c[12] -1620*c[2]*c[3]*c[11] -702*c[2]*c[4]*c[10] -387*c[2]*c[5]*c[9] -162*c[2]*c[6]*c[8] -45*c[2]*c[7]^2 -324*c[3]^2*c[10] -270*c[3]*c[4]*c[9] -153*c[3]*c[5]*c[8] -63*c[3]*c[6]*c[7] -54*c[4]^2*c[8] -63*c[4]*c[5]*c[7] -18*c[4]*c[6]^2 -27*c[5]^2*c[6] -66096*c[1]*c[15] -25272*c[2]*c[14] -11340*c[3]*c[13] -5238*c[4]*c[12] -2763*c[5]*c[11] -1242*c[6]*c[10] -585*c[7]*c[9] -216*c[8]^2 -69984*c[16] )

+t^15*( s[[5,5,5]] +5*s[[6,5,4]] +5*s[[6,6,3]] +6*s[[7,4,4]] +19*s[[7,5,3]] +24*s[[7,6,2]] +24*s[[7,7,1]] +30*s[[8,4,3]] +65*s[[8,5,2]] +89*s[[8,6,1]] +113*s[[8,7]] +36*s[[9,3,3]] +114*s[[9,4,2]] +211*s[[9,5,1]] +300*s[[9,6]] +180*s[[10,3,2]] +390*s[[10,4,1]] +665*s[[10,5]] +216*s[[11,2,2]] +684*s[[11,3,1]] +1266*s[[11,4]] +1080*s[[12,2,1]] +2340*s[[12,3]] +1296*s[[13,1,1]] +4104*s[[13,2]] +6480*s[[14,1]] +7776*s[[15]] )
+t^16*( -45000*s[[12,4]] -3888*s[[13,1,1,1]] -48600*s[[13,2,1]] -82512*s[[13,3]] -58320*s[[14,1,1]] -142560*s[[14,2]] -217728*s[[15,1]] -233280*s[[16]] -1335*s[[8,6,2]] -1695*s[[8,7,1]] -1356*s[[8,8]] -108*s[[9,3,3,1]] -342*s[[9,4,2,1]] -1350*s[[9,4,3]] -633*s[[9,5,1,1]] -2925*s[[9,5,2]] -4500*s[[9,6,1]] -4956*s[[9,7]] -540*s[[10,3,2,1]] -1620*s[[10,3,3]] -1170*s[[10,4,1,1]] -5130*s[[10,4,2]] -9495*s[[10,5,1]] -11580*s[[10,6]] -648*s[[11,2,2,1]] -2052*s[[11,3,1,1]] -8100*s[[11,3,2]] -17550*s[[11,4,1]] -23748*s[[11,5]] -3240*s[[12,2,1,1]] -9720*s[[12,2,2]] -30780*s[[12,3,1]] -18*s[[7,4,4,1]] -57*s[[7,5,3,1]] -225*s[[7,5,4]] -72*s[[7,6,2,1]] -360*s[[7,6,3]] -72*s[[7,7,1,1]] -360*s[[7,7,2]] -90*s[[8,4,3,1]] -270*s[[8,4,4]] -195*s[[8,5,2,1]] -855*s[[8,5,3]] -267*s[[8,6,1,1]] -15*s[[6,5,4,1]] -45*s[[6,5,5]] -15*s[[6,6,3,1]] -75*s[[6,6,4]] -3*s[[5,5,5,1]] )

+t^16*( -8*c[1]*c[5]*c[10] +5*c[1]*c[6]*c[9] +3*c[1]*c[7]*c[8] -4*c[2]*c[5]*c[9] +3*c[2]*c[6]*c[8] +c[2]*c[7]^2 -2*c[3]*c[5]*c[8] +2*c[3]*c[6]*c[7] -c[4]*c[5]*c[7] +c[4]*c[6]^2 -16*c[5]*c[11] +9*c[6]*c[10] +4*c[7]*c[9] +3*c[8]^2 )

+t^16*( s[[6,6,4]] +3*s[[7,6,3]] +3*s[[7,7,2]] +7*s[[8,6,2]] +10*s[[8,7,1]] +10*s[[8,8]] +15*s[[9,6,1]] +25*s[[9,7]] +31*s[[10,6]] )