Thom polynomials, relative dimension l=1

1

s[[0]]

c[2]

s[[2]]

c[1]*c[3] +c[2]^2 +2*c[4]

4*s[[4]] +s[[2,2]] +2*s[[3,1]]

2*c[1]^2*c[4] +3*c[1]*c[2]*c[3] +c[2]^3 +10*c[1]*c[5] +7*c[2]*c[4] +c[3]^2 +12*c[6]

36*s[[6]] +5*s[[3,3]] +19*s[[4,2]] +30*s[[5,1]] +s[[2,2,2]] +5*s[[3,2,1]] +6*s[[4,1,1]]

-c[2]*c[4] +c[3]^2

s[[3,3]]

-c[1]*c[2]*c[4] +c[1]*c[3]^2 -2*c[2]*c[5] +2*c[3]*c[4]

3*s[[4,3]] +s[[3,3,1]]

6*c[1]^3*c[5] +9*c[1]^2*c[2]*c[4] +2*c[1]^2*c[3]^2 +6*c[1]*c[2]^2*c[3] +c[2]^4 +54*c[1]^2*c[6] +53*c[1]*c[2]*c[5] +17*c[1]*c[3]*c[4] +16*c[2]^2*c[4] +4*c[2]*c[3]^2 +156*c[1]*c[7] +76*c[2]*c[6] +21*c[3]*c[5] +11*c[4]^2 +144*c[8]

576*s[[8]] +76*s[[4,4]] +240*s[[5,3]] +460*s[[6,2]] +624*s[[7,1]] +21*s[[3,3,2]] +55*s[[4,2,2]] +104*s[[4,3,1]] +210*s[[5,2,1]] +216*s[[6,1,1]] +s[[2,2,2,2]] +9*s[[3,2,2,1]] +10*s[[3,3,1,1]] +26*s[[4,2,1,1]] +24*s[[5,1,1,1]]

-2*c[1]*c[2]*c[5] +2*c[1]*c[3]*c[4] -2*c[2]^2*c[4] +2*c[2]*c[3]^2 -4*c[2]*c[6] +6*c[3]*c[5] -2*c[4]^2

8*s[[5,3]] +2*s[[3,3,2]] +4*s[[4,3,1]]

-2*c[1]^2*c[2]*c[5] +2*c[1]^2*c[3]*c[4] -2*c[1]*c[2]^2*c[4] +2*c[1]*c[2]*c[3]^2 -10*c[1]*c[2]*c[6] +9*c[1]*c[3]*c[5] +c[1]*c[4]^2 -5*c[2]^2*c[5] +4*c[2]*c[3]*c[4] +c[3]^3 -12*c[2]*c[7] +10*c[3]*c[6] +2*c[4]*c[5]

2*s[[3,3,2,1]] +3*s[[3,3,3]] +4*s[[4,3,1,1]] +12*s[[4,3,2]] +12*s[[4,4,1]] +24*s[[5,3,1]] +24*s[[5,4]] +32*s[[6,3]]

24*c[1]^4*c[6] +38*c[1]^3*c[2]*c[5] +12*c[1]^3*c[3]*c[4] +25*c[1]^2*c[2]^2*c[4] +10*c[1]^2*c[2]*c[3]^2 +10*c[1]*c[2]^3*c[3] +c[2]^5 +336*c[1]^3*c[7] +400*c[1]^2*c[2]*c[6] +115*c[1]^2*c[3]*c[5] +39*c[1]^2*c[4]^2 +170*c[1]*c[2]^2*c[5] +95*c[1]*c[2]*c[3]*c[4] +5*c[1]*c[3]^3 +30*c[2]^3*c[4] +10*c[2]^2*c[3]^2 +1704*c[1]^2*c[8] +1366*c[1]*c[2]*c[7] +389*c[1]*c[3]*c[6] +233*c[1]*c[4]*c[5] +285*c[2]^2*c[6] +136*c[2]*c[3]*c[5] +68*c[2]*c[4]^2 +19*c[3]^2*c[4] +3696*c[1]*c[9] +1508*c[2]*c[8] +450*c[3]*c[7] +268*c[4]*c[6] +78*c[5]^2 +2880*c[10]

2036*s[[6,2,1,1]] +2885*s[[6,2,2]] +6146*s[[6,3,1]] +4880*s[[6,4]] +1680*s[[7,1,1,1]] +9254*s[[7,2,1]] +9524*s[[7,3]] +8520*s[[8,1,1]] +15196*s[[8,2]] +18480*s[[9,1]] +14400*s[[10]] +s[[2,2,2,2,2]] +14*s[[3,2,2,2,1]] +35*s[[3,3,2,1,1]] +56*s[[3,3,2,2]] +70*s[[3,3,3,1]] +71*s[[4,2,2,1,1]] +125*s[[4,2,2,2]] +92*s[[4,3,1,1,1]] +573*s[[4,3,2,1]] +381*s[[4,3,3]] +430*s[[4,4,1,1]] +783*s[[4,4,2]] +154*s[[5,2,1,1,1]] +840*s[[5,2,2,1]] +1326*s[[5,3,1,1]] +2232*s[[5,3,2]] +2850*s[[5,4,1]] +1432*s[[5,5]] +120*s[[6,1,1,1,1]]

-6*c[1]^2*c[2]*c[6] +9*c[1]^2*c[3]*c[5] -3*c[1]^2*c[4]^2 -5*c[1]*c[2]^2*c[5] +2*c[1]*c[2]*c[3]*c[4] +3*c[1]*c[3]^3 -2*c[2]^3*c[4] +2*c[2]^2*c[3]^2 -30*c[1]*c[2]*c[7] +43*c[1]*c[3]*c[6] -13*c[1]*c[4]*c[5] -13*c[2]^2*c[6] +13*c[2]*c[3]*c[5] -9*c[2]*c[4]^2 +9*c[3]^2*c[4] -36*c[2]*c[8] +50*c[3]*c[7] -12*c[4]*c[6] -2*c[5]^2

2*s[[3,3,2,2]] +5*s[[3,3,3,1]] +12*s[[4,3,2,1]] +24*s[[4,3,3]] +4*s[[4,4,1,1]] +12*s[[4,4,2]] +16*s[[5,3,1,1]] +50*s[[5,3,2]] +28*s[[5,4,1]] +8*s[[5,5]] +84*s[[6,3,1]] +40*s[[6,4]] +104*s[[7,3]]

-3*c[1]^2*c[3]*c[5] +3*c[1]^2*c[4]^2 -2*c[1]*c[2]^2*c[5] +3*c[1]*c[2]*c[3]*c[4] -c[1]*c[3]^3 -c[2]^3*c[4] +c[2]^2*c[3]^2 -7*c[1]*c[3]*c[6] +7*c[1]*c[4]*c[5] -4*c[2]^2*c[6] +8*c[2]*c[3]*c[5] -2*c[2]*c[4]^2 -2*c[3]^2*c[4] -2*c[3]*c[7] -9*c[4]*c[6] +11*c[5]^2

s[[3,3,2,2]] +3*s[[4,3,2,1]] +6*s[[4,4,1,1]] +3*s[[4,4,2]] +2*s[[5,3,1,1]] +7*s[[5,3,2]] +20*s[[5,4,1]] +28*s[[5,5]] +6*s[[6,3,1]] +16*s[[6,4]] +4*s[[7,3]]

-6*c[1]^3*c[2]*c[6] +9*c[1]^3*c[3]*c[5] -3*c[1]^3*c[4]^2 -5*c[1]^2*c[2]^2*c[5] +2*c[1]^2*c[2]*c[3]*c[4] +3*c[1]^2*c[3]^3 -2*c[1]*c[2]^3*c[4] +2*c[1]*c[2]^2*c[3]^2 -54*c[1]^2*c[2]*c[7] +67*c[1]^2*c[3]*c[6] -13*c[1]^2*c[4]*c[5] -33*c[1]*c[2]^2*c[6] +19*c[1]*c[2]*c[3]*c[5] -7*c[1]*c[2]*c[4]^2 +21*c[1]*c[3]^2*c[4] -6*c[2]^3*c[5] +4*c[2]^2*c[3]*c[4] +2*c[2]*c[3]^3 -156*c[1]*c[2]*c[8] +162*c[1]*c[3]*c[7] +24*c[1]*c[4]*c[6] -30*c[1]*c[5]^2 -52*c[2]^2*c[7] +28*c[2]*c[3]*c[6] -12*c[2]*c[4]*c[5] +16*c[3]^2*c[5] +20*c[3]*c[4]^2 -144*c[2]*c[9] +128*c[3]*c[8] +52*c[4]*c[7] -36*c[5]*c[6]

432*s[[6,4,1]] +160*s[[6,5]] +524*s[[7,3,1]] +512*s[[7,4]] +520*s[[8,3]] +2*s[[3,3,2,2,1]] +5*s[[3,3,3,1,1]] +9*s[[3,3,3,2]] +12*s[[4,3,2,1,1]] +22*s[[4,3,2,2]] +63*s[[4,3,3,1]] +4*s[[4,4,1,1,1]] +56*s[[4,4,2,1]] +96*s[[4,4,3]] +16*s[[5,3,1,1,1]] +126*s[[5,3,2,1]] +172*s[[5,3,3]] +96*s[[5,4,1,1]] +242*s[[5,4,2]] +100*s[[5,5,1]] +164*s[[6,3,1,1]] +334*s[[6,3,2]]

-3*c[1]^3*c[3]*c[5] +3*c[1]^3*c[4]^2 -2*c[1]^2*c[2]^2*c[5] +3*c[1]^2*c[2]*c[3]*c[4] -c[1]^2*c[3]^3 -c[1]*c[2]^3*c[4] +c[1]*c[2]^2*c[3]^2 -17*c[1]^2*c[3]*c[6] +17*c[1]^2*c[4]*c[5] -10*c[1]*c[2]^2*c[6] +9*c[1]*c[2]*c[3]*c[5] +5*c[1]*c[2]*c[4]^2 -4*c[1]*c[3]^2*c[4] -3*c[2]^3*c[5] +2*c[2]^2*c[3]*c[4] +c[2]*c[3]^3 -26*c[1]*c[3]*c[7] -6*c[1]*c[4]*c[6] +32*c[1]*c[5]^2 -12*c[2]^2*c[7] +9*c[2]*c[3]*c[6] +7*c[2]*c[4]*c[5] +3*c[3]^2*c[5] -7*c[3]*c[4]^2 -8*c[3]*c[8] -32*c[4]*c[7] +40*c[5]*c[6]

134*s[[6,4,1]] +188*s[[6,5]] +34*s[[7,3,1]] +92*s[[7,4]] +20*s[[8,3]] +s[[3,3,2,2,1]] +2*s[[3,3,3,2]] +3*s[[4,3,2,1,1]] +8*s[[4,3,2,2]] +6*s[[4,3,3,1]] +6*s[[4,4,1,1,1]] +24*s[[4,4,2,1]] +6*s[[4,4,3]] +2*s[[5,3,1,1,1]] +24*s[[5,3,2,1]] +14*s[[5,3,3]] +56*s[[5,4,1,1]] +70*s[[5,4,2]] +116*s[[5,5,1]] +16*s[[6,3,1,1]] +41*s[[6,3,2]]

-2*c[1]^2*c[3]*c[6] +2*c[1]^2*c[4]*c[5] -4*c[1]*c[2]*c[3]*c[5] +2*c[1]*c[2]*c[4]^2 +2*c[1]*c[3]^2*c[4] -2*c[2]^2*c[3]*c[4] +2*c[2]*c[3]^3 -6*c[1]*c[3]*c[7] +6*c[1]*c[4]*c[6] -6*c[2]*c[3]*c[6] +2*c[2]*c[4]*c[5] +6*c[3]^2*c[5] -2*c[3]*c[4]^2 -4*c[3]*c[8] +2*c[4]*c[7] +2*c[5]*c[6]

4*s[[6,3,1,1]] +14*s[[6,3,2]] +28*s[[6,4,1]] +24*s[[6,5]] +12*s[[7,3,1]] +24*s[[7,4]] +8*s[[8,3]] +2*s[[3,3,3,2]] +2*s[[4,3,2,2]] +6*s[[4,3,3,1]] +6*s[[4,4,2,1]] +6*s[[4,4,3]] +6*s[[5,3,2,1]] +14*s[[5,3,3]] +8*s[[5,4,1,1]] +20*s[[5,4,2]] +16*s[[5,5,1]]

120*c[1]^5*c[7] +202*c[1]^4*c[2]*c[6] +55*c[1]^4*c[3]*c[5] +17*c[1]^4*c[4]^2 +141*c[1]^3*c[2]^2*c[5] +79*c[1]^3*c[2]*c[3]*c[4] +5*c[1]^3*c[3]^3 +55*c[1]^2*c[2]^3*c[4] +30*c[1]^2*c[2]^2*c[3]^2 +15*c[1]*c[2]^4*c[3] +c[2]^6 +2400*c[1]^4*c[8] +3272*c[1]^3*c[2]*c[7] +884*c[1]^3*c[3]*c[6] +450*c[1]^3*c[4]*c[5] +1704*c[1]^2*c[2]^2*c[6] +861*c[1]^2*c[2]*c[3]*c[5] +280*c[1]^2*c[2]*c[4]^2 +109*c[1]^2*c[3]^2*c[4] +425*c[1]*c[2]^3*c[5] +315*c[1]*c[2]^2*c[3]*c[4] +30*c[1]*c[2]*c[3]^3 +50*c[2]^4*c[4] +20*c[2]^3*c[3]^2 +18600*c[1]^3*c[9] +19358*c[1]^2*c[2]*c[8] +5393*c[1]^2*c[3]*c[7] +2594*c[1]^2*c[4]*c[6] +919*c[1]^2*c[5]^2 +6737*c[1]*c[2]^2*c[7] +3354*c[1]*c[2]*c[3]*c[6] +1890*c[1]*c[2]*c[4]*c[5] +378*c[1]*c[3]^2*c[5] +269*c[1]*c[3]*c[4]^2 +818*c[2]^3*c[6] +514*c[2]^2*c[3]*c[5] +247*c[2]^2*c[4]^2 +126*c[2]*c[3]^2*c[4] +3*c[3]^4 +69600*c[1]^2*c[10] +49432*c[1]*c[2]*c[9] +14544*c[1]*c[3]*c[8] +7012*c[1]*c[4]*c[7] +3868*c[1]*c[5]*c[6] +8686*c[2]^2*c[8] +4506*c[2]*c[3]*c[7] +2496*c[2]*c[4]*c[6] +706*c[2]*c[5]^2 +520*c[3]^2*c[6] +544*c[3]*c[4]*c[5] +86*c[4]^3 +125280*c[1]*c[11] +45816*c[2]*c[10] +14428*c[3]*c[9] +7064*c[4]*c[8] +3284*c[5]*c[7] +1408*c[6]^2 +86400*c[12]

164934*s[[7,3,2]] +219618*s[[7,4,1]] +133616*s[[7,5]] +14400*s[[8,1,1,1,1]] +147420*s[[8,2,1,1]] +174580*s[[8,2,2]] +371588*s[[8,3,1]] +271684*s[[8,4]] +111600*s[[9,1,1,1]] +493920*s[[9,2,1]] +463680*s[[9,3]] +417600*s[[10,1,1]] +672336*s[[10,2]] +751680*s[[11,1]] +518400*s[[12]] +20*s[[3,2,2,2,2,1]] +84*s[[3,3,2,2,1,1]] +120*s[[3,3,2,2,2]] +70*s[[3,3,3,1,1,1]] +336*s[[3,3,3,2,1]] +168*s[[3,3,3,3]] +155*s[[4,2,2,2,1,1]] +245*s[[4,2,2,2,2]] +455*s[[4,3,2,1,1,1]] +1973*s[[4,3,2,2,1]] +2030*s[[4,3,3,1,1]] +2926*s[[4,3,3,2]] +266*s[[4,4,1,1,1,1]] +3374*s[[4,4,2,1,1]] +4257*s[[4,4,2,2]] +7175*s[[4,4,3,1]] +3059*s[[4,4,4]] +580*s[[5,2,2,1,1,1]] +2520*s[[5,2,2,2,1]] +770*s[[5,3,1,1,1,1]] +9374*s[[5,3,2,1,1]] +11445*s[[5,3,2,2]] +15897*s[[5,3,3,1]] +7588*s[[5,4,1,1,1]] +34229*s[[5,4,2,1]] +26740*s[[5,4,3]] +19978*s[[5,5,1,1]] +31515*s[[5,5,2]] +1044*s[[6,2,1,1,1,1]] +10556*s[[6,2,2,1,1]] +12425*s[[6,2,2,2]] +15448*s[[6,3,1,1,1]] +64925*s[[6,3,2,1]] +40173*s[[6,3,3]] +64100*s[[6,4,1,1]] +99393*s[[6,4,2]] +96536*s[[6,5,1]] +39628*s[[6,6]] +720*s[[7,1,1,1,1,1]] +20160*s[[7,2,1,1,1]] +69020*s[[7,2,2,1]] +113890*s[[7,3,1,1]] +s[[2,2,2,2,2,2]]

-24*c[1]^3*c[2]*c[7] +34*c[1]^3*c[3]*c[6] -10*c[1]^3*c[4]*c[5] -26*c[1]^2*c[2]^2*c[6] +29*c[1]^2*c[2]*c[3]*c[5] -17*c[1]^2*c[2]*c[4]^2 +14*c[1]^2*c[3]^2*c[4] -9*c[1]*c[2]^3*c[5] +9*c[1]*c[2]*c[3]^3 -2*c[2]^4*c[4] +2*c[2]^3*c[3]^2 -216*c[1]^2*c[2]*c[8] +294*c[1]^2*c[3]*c[7] -72*c[1]^2*c[4]*c[6] -6*c[1]^2*c[5]^2 -162*c[1]*c[2]^2*c[7] +167*c[1]*c[2]*c[3]*c[6] -103*c[1]*c[2]*c[4]*c[5] +89*c[1]*c[3]^2*c[5] +9*c[1]*c[3]*c[4]^2 -29*c[2]^3*c[6] +20*c[2]^2*c[3]*c[5] -23*c[2]^2*c[4]^2 +29*c[2]*c[3]^2*c[4] +3*c[3]^4 -624*c[1]*c[2]*c[9] +824*c[1]*c[3]*c[8] -174*c[1]*c[4]*c[7] -26*c[1]*c[5]*c[6] -244*c[2]^2*c[8] +234*c[2]*c[3]*c[7] -124*c[2]*c[4]*c[6] -30*c[2]*c[5]^2 +128*c[3]^2*c[6] +46*c[3]*c[4]*c[5] -10*c[4]^3 -576*c[2]*c[10] +744*c[3]*c[9] -140*c[4]*c[8] -24*c[5]*c[7] -4*c[6]^2

1670*s[[7,3,2]] +1624*s[[7,4,1]] +728*s[[7,5]] +2364*s[[8,3,1]] +1632*s[[8,4]] +2232*s[[9,3]] +2*s[[3,3,2,2,2]] +13*s[[3,3,3,2,1]] +14*s[[3,3,3,3]] +24*s[[4,3,2,2,1]] +47*s[[4,3,3,1,1]] +118*s[[4,3,3,2]] +30*s[[4,4,2,1,1]] +60*s[[4,4,2,2]] +168*s[[4,4,3,1]] +48*s[[4,4,4]] +82*s[[5,3,2,1,1]] +170*s[[5,3,2,2]] +434*s[[5,3,3,1]] +44*s[[5,4,1,1,1]] +382*s[[5,4,2,1]] +540*s[[5,4,3]] +132*s[[5,5,1,1]] +302*s[[5,5,2]] +84*s[[6,3,1,1,1]] +720*s[[6,3,2,1]] +959*s[[6,3,3]] +492*s[[6,4,1,1]] +1052*s[[6,4,2]] +628*s[[6,5,1]] +176*s[[6,6]] +792*s[[7,3,1,1]]

-10*c[1]^3*c[3]*c[6] +10*c[1]^3*c[4]*c[5] -6*c[1]^2*c[2]^2*c[6] -5*c[1]^2*c[2]*c[3]*c[5] +13*c[1]^2*c[2]*c[4]^2 -2*c[1]^2*c[3]^2*c[4] -7*c[1]*c[2]^3*c[5] +8*c[1]*c[2]^2*c[3]*c[4] -c[1]*c[2]*c[3]^3 -2*c[2]^4*c[4] +2*c[2]^3*c[3]^2 -54*c[1]^2*c[3]*c[7] +48*c[1]^2*c[4]*c[6] +6*c[1]^2*c[5]^2 -30*c[1]*c[2]^2*c[7] +11*c[1]*c[2]*c[3]*c[6] +29*c[1]*c[2]*c[4]*c[5] -15*c[1]*c[3]^2*c[5] +5*c[1]*c[3]*c[4]^2 -17*c[2]^3*c[6] +28*c[2]^2*c[3]*c[5] -11*c[2]^2*c[4]^2 +c[2]*c[3]^2*c[4] -c[3]^4 -80*c[1]*c[3]*c[8] +10*c[1]*c[4]*c[7] +70*c[1]*c[5]*c[6] -36*c[2]^2*c[8] +50*c[2]*c[3]*c[7] -72*c[2]*c[4]*c[6] +70*c[2]*c[5]^2 -20*c[3]^2*c[6] +14*c[3]*c[4]*c[5] -6*c[4]^3 -24*c[3]*c[9] -92*c[4]*c[8] +168*c[5]*c[7] -52*c[6]^2

170*s[[7,3,2]] +544*s[[7,4,1]] +728*s[[7,5]] +132*s[[8,3,1]] +336*s[[8,4]] +72*s[[9,3]] +2*s[[3,3,2,2,2]] +3*s[[3,3,3,2,1]] +12*s[[4,3,2,2,1]] +9*s[[4,3,3,1,1]] +18*s[[4,3,3,2]] +30*s[[4,4,2,1,1]] +24*s[[4,4,2,2]] +54*s[[4,4,3,1]] +12*s[[4,4,4]] +22*s[[5,3,2,1,1]] +50*s[[5,3,2,2]] +54*s[[5,3,3,1]] +44*s[[5,4,1,1,1]] +202*s[[5,4,2,1]] +150*s[[5,4,3]] +132*s[[5,5,1,1]] +302*s[[5,5,2]] +12*s[[6,3,1,1,1]] +120*s[[6,3,2,1]] +81*s[[6,3,3]] +276*s[[6,4,1,1]] +368*s[[6,4,2]] +628*s[[6,5,1]] +176*s[[6,6]] +72*s[[7,3,1,1]]

-2*c[1]^3*c[3]*c[6] +2*c[1]^3*c[4]*c[5] -4*c[1]^2*c[2]*c[3]*c[5] +2*c[1]^2*c[2]*c[4]^2 +2*c[1]^2*c[3]^2*c[4] -2*c[1]*c[2]^2*c[3]*c[4] +2*c[1]*c[2]*c[3]^3 -14*c[1]^2*c[3]*c[7] +12*c[1]^2*c[4]*c[6] +2*c[1]^2*c[5]^2 -20*c[1]*c[2]*c[3]*c[6] +8*c[1]*c[2]*c[4]*c[5] +10*c[1]*c[3]^2*c[5] +2*c[1]*c[3]*c[4]^2 -6*c[2]^2*c[3]*c[5] +4*c[2]*c[3]^2*c[4] +2*c[3]^4 -28*c[1]*c[3]*c[8] +16*c[1]*c[4]*c[7] +12*c[1]*c[5]*c[6] -22*c[2]*c[3]*c[7] +4*c[2]*c[4]*c[6] +2*c[2]*c[5]^2 +10*c[3]^2*c[6] +10*c[3]*c[4]*c[5] -4*c[4]^3 -16*c[3]*c[9] +16*c[5]*c[7]

82*s[[7,3,2]] +200*s[[7,4,1]] +192*s[[7,5]] +68*s[[8,3,1]] +144*s[[8,4]] +40*s[[9,3]] +2*s[[3,3,3,2,1]] +4*s[[3,3,3,3]] +2*s[[4,3,2,2,1]] +6*s[[4,3,3,1,1]] +20*s[[4,3,3,2]] +6*s[[4,4,2,1,1]] +16*s[[4,4,2,2]] +36*s[[4,4,3,1]] +12*s[[4,4,4]] +6*s[[5,3,2,1,1]] +16*s[[5,3,2,2]] +52*s[[5,3,3,1]] +8*s[[5,4,1,1,1]] +80*s[[5,4,2,1]] +100*s[[5,4,3]] +48*s[[5,5,1,1]] +92*s[[5,5,2]] +4*s[[6,3,1,1,1]] +48*s[[6,3,2,1]] +86*s[[6,3,3]] +80*s[[6,4,1,1]] +174*s[[6,4,2]] +196*s[[6,5,1]] +88*s[[6,6]] +32*s[[7,3,1,1]]

-c[2]*c[4]*c[6] +c[2]*c[5]^2 +c[3]^2*c[6] -2*c[3]*c[4]*c[5] +c[4]^3

s[[4,4,4]]

-24*c[1]^4*c[2]*c[7] +34*c[1]^4*c[3]*c[6] -10*c[1]^4*c[4]*c[5] -26*c[1]^3*c[2]^2*c[6] +29*c[1]^3*c[2]*c[3]*c[5] -17*c[1]^3*c[2]*c[4]^2 +14*c[1]^3*c[3]^2*c[4] -9*c[1]^2*c[2]^3*c[5] +9*c[1]^2*c[2]*c[3]^3 -2*c[1]*c[2]^4*c[4] +2*c[1]*c[2]^3*c[3]^2 -336*c[1]^3*c[2]*c[8] +416*c[1]^3*c[3]*c[7] -51*c[1]^3*c[4]*c[6] -29*c[1]^3*c[5]^2 -292*c[1]^2*c[2]^2*c[7] +263*c[1]^2*c[2]*c[3]*c[6] -139*c[1]^2*c[2]*c[4]*c[5] +131*c[1]^2*c[3]^2*c[5] +37*c[1]^2*c[3]*c[4]^2 -74*c[1]*c[2]^3*c[6] +29*c[1]*c[2]^2*c[3]*c[5] -29*c[1]*c[2]^2*c[4]^2 +68*c[1]*c[2]*c[3]^2*c[4] +6*c[1]*c[3]^4 -7*c[2]^4*c[5] +4*c[2]^3*c[3]*c[4] +3*c[2]^2*c[3]^3 -1704*c[1]^2*c[2]*c[9] +1862*c[1]^2*c[3]*c[8] +63*c[1]^2*c[4]*c[7] -221*c[1]^2*c[5]*c[6] -1054*c[1]*c[2]^2*c[8] +754*c[1]*c[2]*c[3]*c[7] -116*c[1]*c[2]*c[4]*c[6] -238*c[1]*c[2]*c[5]^2 +399*c[1]*c[3]^2*c[6] +240*c[1]*c[3]*c[4]*c[5] +15*c[1]*c[4]^3 -145*c[2]^3*c[7] +54*c[2]^2*c[3]*c[6] -63*c[2]^2*c[4]*c[5] +66*c[2]*c[3]^2*c[5] +67*c[2]*c[3]*c[4]^2 +21*c[3]^3*c[4] -3696*c[1]*c[2]*c[10] +3616*c[1]*c[3]*c[9] +644*c[1]*c[4]*c[8] -484*c[1]*c[5]*c[7] -80*c[1]*c[6]^2 -1220*c[2]^2*c[9] +688*c[2]*c[3]*c[8] +84*c[2]*c[4]*c[7] -372*c[2]*c[5]*c[6] +404*c[3]^2*c[7] +358*c[3]*c[4]*c[6] +10*c[3]*c[5]^2 +48*c[4]^2*c[5] -2880*c[2]*c[11] +2568*c[3]*c[10] +788*c[4]*c[9] -388*c[5]*c[8] -88*c[6]*c[7]

1296*s[[7,3,1,1,1]] +6782*s[[7,3,2,1]] +7436*s[[7,3,3]] +6952*s[[7,4,1,1]] +12970*s[[7,4,2]] +9416*s[[7,5,1]] +3336*s[[7,6]] +7116*s[[8,3,1,1]] +12384*s[[8,3,2]] +18468*s[[8,4,1]] +9264*s[[8,5]] +16416*s[[9,3,1]] +16488*s[[9,4]] +13392*s[[10,3]] +18*s[[3,3,3,2,2]] +33*s[[3,3,3,3,1]] +24*s[[4,3,2,2,1,1]] +36*s[[4,3,2,2,2]] +47*s[[4,3,3,1,1,1]] +276*s[[4,3,3,2,1]] +220*s[[4,3,3,3]] +30*s[[4,4,2,1,1,1]] +180*s[[4,4,2,2,1]] +384*s[[4,4,3,1,1]] +708*s[[4,4,3,2]] +536*s[[4,4,4,1]] +82*s[[5,3,2,1,1,1]] +396*s[[5,3,2,2,1]] +804*s[[5,3,3,1,1]] +1333*s[[5,3,3,2]] +44*s[[5,4,1,1,1,1]] +864*s[[5,4,2,1,1]] +1294*s[[5,4,2,2]] +3373*s[[5,4,3,1]] +1699*s[[5,4,4]] +288*s[[5,5,1,1,1]] +1862*s[[5,5,2,1]] +2375*s[[5,5,3]] +84*s[[6,3,1,1,1,1]] +1296*s[[6,3,2,1,1]] +1740*s[[6,3,2,2]] +4301*s[[6,3,3,1]] +1008*s[[6,4,1,1,1]] +6032*s[[6,4,2,1]] +7271*s[[6,4,3]] +2968*s[[6,5,1,1]] +5800*s[[6,5,2]] +2468*s[[6,6,1]] +2*s[[3,3,2,2,2,1]] +13*s[[3,3,3,2,1,1]]

-10*c[1]^4*c[3]*c[6] +10*c[1]^4*c[4]*c[5] -6*c[1]^3*c[2]^2*c[6] -5*c[1]^3*c[2]*c[3]*c[5] +13*c[1]^3*c[2]*c[4]^2 -2*c[1]^3*c[3]^2*c[4] -7*c[1]^2*c[2]^3*c[5] +8*c[1]^2*c[2]^2*c[3]*c[4] -c[1]^2*c[2]*c[3]^3 -2*c[1]*c[2]^4*c[4] +2*c[1]*c[2]^3*c[3]^2 -98*c[1]^3*c[3]*c[7] +66*c[1]^3*c[4]*c[6] +32*c[1]^3*c[5]^2 -54*c[1]^2*c[2]^2*c[7] -29*c[1]^2*c[2]*c[3]*c[6] +97*c[1]^2*c[2]*c[4]*c[5] -21*c[1]^2*c[3]^2*c[5] +7*c[1]^2*c[3]*c[4]^2 -43*c[1]*c[2]^3*c[6] +27*c[1]*c[2]^2*c[3]*c[5] +12*c[1]*c[2]^2*c[4]^2 +5*c[1]*c[2]*c[3]^2*c[4] -c[1]*c[3]^4 -7*c[2]^4*c[5] +4*c[2]^3*c[3]*c[4] +3*c[2]^2*c[3]^3 -320*c[1]^2*c[3]*c[8] +70*c[1]^2*c[4]*c[7] +250*c[1]^2*c[5]*c[6] -156*c[1]*c[2]^2*c[8] -18*c[1]*c[2]*c[3]*c[7] +34*c[1]*c[2]*c[4]*c[6] +172*c[1]*c[2]*c[5]^2 -43*c[1]*c[3]^2*c[6] +12*c[1]*c[3]*c[4]*c[5] -c[1]*c[4]^3 -64*c[2]^3*c[7] +31*c[2]^2*c[3]*c[6] +15*c[2]^2*c[4]*c[5] +29*c[2]*c[3]^2*c[5] -9*c[2]*c[3]*c[4]^2 -2*c[3]^3*c[4] -388*c[1]*c[3]*c[9] -262*c[1]*c[4]*c[8] +532*c[1]*c[5]*c[7] +118*c[1]*c[6]^2 -144*c[2]^2*c[9] +58*c[2]*c[3]*c[8] -147*c[2]*c[4]*c[7] +257*c[2]*c[5]*c[6] -9*c[3]^2*c[7] -67*c[3]*c[4]*c[6] +63*c[3]*c[5]^2 -11*c[4]^2*c[5] -120*c[3]*c[10] -436*c[4]*c[9] +416*c[5]*c[8] +140*c[6]*c[7]

144*s[[7,3,1,1,1]] +962*s[[7,3,2,1]] +764*s[[7,3,3]] +2416*s[[7,4,1,1]] +3478*s[[7,4,2]] +6560*s[[7,5,1]] +4104*s[[7,6]] +564*s[[8,3,1,1]] +1152*s[[8,3,2]] +3996*s[[8,4,1]] +5376*s[[8,5]] +864*s[[9,3,1]] +2232*s[[9,4]] +432*s[[10,3]] +8*s[[3,3,3,2,2]] +6*s[[3,3,3,3,1]] +12*s[[4,3,2,2,1,1]] +24*s[[4,3,2,2,2]] +9*s[[4,3,3,1,1,1]] +72*s[[4,3,3,2,1]] +36*s[[4,3,3,3]] +30*s[[4,4,2,1,1,1]] +120*s[[4,4,2,2,1]] +156*s[[4,4,3,1,1]] +204*s[[4,4,3,2]] +156*s[[4,4,4,1]] +22*s[[5,3,2,1,1,1]] +144*s[[5,3,2,2,1]] +148*s[[5,3,3,1,1]] +269*s[[5,3,3,2]] +44*s[[5,4,1,1,1,1]] +528*s[[5,4,2,1,1]] +610*s[[5,4,2,2]] +1051*s[[5,4,3,1]] +433*s[[5,4,4]] +336*s[[5,5,1,1,1]] +1466*s[[5,5,2,1]] +1205*s[[5,5,3]] +12*s[[6,3,1,1,1,1]] +264*s[[6,3,2,1,1]] +420*s[[6,3,2,2]] +615*s[[6,3,3,1]] +576*s[[6,4,1,1,1]] +2396*s[[6,4,2,1]] +1757*s[[6,4,3]] +2608*s[[6,5,1,1]] +4036*s[[6,5,2]] +3044*s[[6,6,1]] +2*s[[3,3,2,2,2,1]] +3*s[[3,3,3,2,1,1]]

-4*c[1]^3*c[3]*c[7] +3*c[1]^3*c[4]*c[6] +c[1]^3*c[5]^2 -9*c[1]^2*c[2]*c[3]*c[6] +5*c[1]^2*c[2]*c[4]*c[5] +2*c[1]^2*c[3]^2*c[5] +2*c[1]^2*c[3]*c[4]^2 -7*c[1]*c[2]^2*c[3]*c[5] +2*c[1]*c[2]^2*c[4]^2 +4*c[1]*c[2]*c[3]^2*c[4] +c[1]*c[3]^4 -2*c[2]^3*c[3]*c[4] +2*c[2]^2*c[3]^3 -24*c[1]^2*c[3]*c[8] +19*c[1]^2*c[4]*c[7] +5*c[1]^2*c[5]*c[6] -37*c[1]*c[2]*c[3]*c[7] +20*c[1]*c[2]*c[4]*c[6] -3*c[1]*c[2]*c[5]^2 +13*c[1]*c[3]^2*c[6] +9*c[1]*c[3]*c[4]*c[5] -2*c[1]*c[4]^3 -14*c[2]^2*c[3]*c[6] +2*c[2]^2*c[4]*c[5] +14*c[2]*c[3]^2*c[5] -6*c[2]*c[3]*c[4]^2 +4*c[3]^3*c[4] -44*c[1]*c[3]*c[9] +28*c[1]*c[4]*c[8] +8*c[1]*c[5]*c[7] +8*c[1]*c[6]^2 -36*c[2]*c[3]*c[8] +11*c[2]*c[4]*c[7] +c[2]*c[5]*c[6] +19*c[3]^2*c[7] -7*c[3]*c[4]*c[6] +17*c[3]*c[5]^2 -5*c[4]^2*c[5] -24*c[3]*c[10] +4*c[4]*c[9] +16*c[5]*c[8] +4*c[6]*c[7]

12*s[[7,3,1,1,1]] +120*s[[7,3,2,1]] +185*s[[7,3,3]] +204*s[[7,4,1,1]] +406*s[[7,4,2]] +500*s[[7,5,1]] +280*s[[7,6]] +72*s[[8,3,1,1]] +170*s[[8,3,2]] +412*s[[8,4,1]] +392*s[[8,5]] +132*s[[9,3,1]] +264*s[[9,4]] +72*s[[10,3]] +2*s[[3,3,3,2,2]] +3*s[[3,3,3,3,1]] +2*s[[4,3,2,2,2]] +15*s[[4,3,3,2,1]] +18*s[[4,3,3,3]] +12*s[[4,4,2,2,1]] +21*s[[4,4,3,1,1]] +42*s[[4,4,3,2]] +24*s[[4,4,4,1]] +12*s[[5,3,2,2,1]] +25*s[[5,3,3,1,1]] +68*s[[5,3,3,2]] +40*s[[5,4,2,1,1]] +74*s[[5,4,2,2]] +166*s[[5,4,3,1]] +66*s[[5,4,4]] +20*s[[5,5,1,1,1]] +130*s[[5,5,2,1]] +152*s[[5,5,3]] +22*s[[6,3,2,1,1]] +50*s[[6,3,2,2]] +138*s[[6,3,3,1]] +32*s[[6,4,1,1,1]] +250*s[[6,4,2,1]] +281*s[[6,4,3]] +192*s[[6,5,1,1]] +358*s[[6,5,2]] +220*s[[6,6,1]]

-6*c[1]*c[2]*c[4]*c[6] +6*c[1]*c[2]*c[5]^2 +6*c[1]*c[3]^2*c[6] -12*c[1]*c[3]*c[4]*c[5] +6*c[1]*c[4]^3 -10*c[2]*c[4]*c[7] +10*c[2]*c[5]*c[6] +10*c[3]^2*c[7] -10*c[3]*c[4]*c[6] -10*c[3]*c[5]^2 +10*c[4]^2*c[5]

6*s[[4,4,4,1]] +16*s[[5,4,4]]

720*c[1]^6*c[8] +1284*c[1]^5*c[2]*c[7] +326*c[1]^5*c[3]*c[6] +154*c[1]^5*c[4]*c[5] +960*c[1]^4*c[2]^2*c[6] +467*c[1]^4*c[2]*c[3]*c[5] +139*c[1]^4*c[2]*c[4]^2 +58*c[1]^4*c[3]^2*c[4] +399*c[1]^3*c[2]^3*c[5] +301*c[1]^3*c[2]^2*c[3]*c[4] +35*c[1]^3*c[2]*c[3]^3 +105*c[1]^2*c[2]^4*c[4] +70*c[1]^2*c[2]^3*c[3]^2 +21*c[1]*c[2]^5*c[3] +c[2]^7 +19440*c[1]^5*c[9] +29388*c[1]^4*c[2]*c[8] +7646*c[1]^4*c[3]*c[7] +3336*c[1]^4*c[4]*c[6] +1174*c[1]^4*c[5]^2 +17692*c[1]^3*c[2]^2*c[7] +8499*c[1]^3*c[2]*c[3]*c[6] +4105*c[1]^3*c[2]*c[4]*c[5] +931*c[1]^3*c[3]^2*c[5] +553*c[1]^3*c[3]*c[4]^2 +5453*c[1]^2*c[2]^3*c[6] +3682*c[1]^2*c[2]^2*c[3]*c[5] +1155*c[1]^2*c[2]^2*c[4]^2 +833*c[1]^2*c[2]*c[3]^2*c[4] +21*c[1]^2*c[3]^4 +910*c[1]*c[2]^4*c[5] +805*c[1]*c[2]^3*c[3]*c[4] +105*c[1]*c[2]^2*c[3]^3 +77*c[2]^5*c[4] +35*c[2]^4*c[3]^2 +212400*c[1]^4*c[10] +262380*c[1]^3*c[2]*c[9] +71238*c[1]^3*c[3]*c[8] +30716*c[1]^3*c[4]*c[7] +17302*c[1]^3*c[5]*c[6] +119840*c[1]^2*c[2]^2*c[8] +59081*c[1]^2*c[2]*c[3]*c[7] +26791*c[1]^2*c[2]*c[4]*c[6] +9266*c[1]^2*c[2]*c[5]^2 +6399*c[1]^2*c[3]^2*c[6] +6062*c[1]^2*c[3]*c[4]*c[5] +661*c[1]^2*c[4]^3 +24541*c[1]*c[2]^3*c[7] +16257*c[1]*c[2]^2*c[3]*c[6] +8706*c[1]*c[2]^2*c[4]*c[5] +3249*c[1]*c[2]*c[3]^2*c[5] +2226*c[1]*c[2]*c[3]*c[4]^2 +237*c[1]*c[3]^3*c[4] +1981*c[2]^4*c[6] +1477*c[2]^3*c[3]*c[5] +686*c[2]^3*c[4]^2 +483*c[2]^2*c[3]^2*c[4] +21*c[2]*c[3]^4 +1198800*c[1]^3*c[11] +1139460*c[1]^2*c[2]*c[10] +326506*c[1]^2*c[3]*c[9] +142860*c[1]^2*c[4]*c[8] +70574*c[1]^2*c[5]*c[7] +26424*c[1]^2*c[6]^2 +352748*c[1]*c[2]^2*c[9] +182609*c[1]*c[2]*c[3]*c[8] +82637*c[1]*c[2]*c[4]*c[7] +43894*c[1]*c[2]*c[5]*c[6] +20597*c[1]*c[3]^2*c[7] +17908*c[1]*c[3]*c[4]*c[6] +5611*c[1]*c[3]*c[5]^2 +4492*c[1]*c[4]^2*c[5] +36255*c[2]^3*c[8] +24908*c[2]^2*c[3]*c[7] +13009*c[2]^2*c[4]*c[6] +3598*c[2]^2*c[5]^2 +5073*c[2]*c[3]^2*c[6] +5037*c[2]*c[3]*c[4]*c[5] +767*c[2]*c[4]^3 +315*c[3]^3*c[5] +318*c[3]^2*c[4]^2 +3674880*c[1]^2*c[12] +2400336*c[1]*c[2]*c[11] +730732*c[1]*c[3]*c[10] +326482*c[1]*c[4]*c[9] +149930*c[1]*c[5]*c[8] +93752*c[1]*c[6]*c[7] +379672*c[2]^2*c[10] +208920*c[2]*c[3]*c[9] +95613*c[2]*c[4]*c[8] +42504*c[2]*c[5]*c[7] +17827*c[2]*c[6]^2 +25031*c[3]^2*c[8] +21152*c[3]*c[4]*c[7] +10382*c[3]*c[5]*c[6] +5056*c[4]^2*c[6] +2691*c[4]*c[5]^2 +5780160*c[1]*c[13] +1955952*c[2]*c[12] +635040*c[3]*c[11] +289604*c[4]*c[10] +128740*c[5]*c[9] +74284*c[6]*c[8] +26780*c[7]^2 +3628800*c[14]

17207430*s[[9,4,1]] +9956976*s[[9,5]] +1486800*s[[10,1,1,1,1]] +11879820*s[[10,2,1,1]] +12684196*s[[10,2,2]] +26451524*s[[10,3,1]] +17886820*s[[10,4]] +8391600*s[[11,1,1,1]] +32583312*s[[11,2,1]] +28495872*s[[11,3]] +25724160*s[[12,1,1]] +38724624*s[[12,2]] +40461120*s[[13,1]] +25401600*s[[14]] +419564*s[[6,3,3,1,1]] +533434*s[[6,3,3,2]] +107826*s[[6,4,1,1,1,1]] +887316*s[[6,4,2,1,1]] +951403*s[[6,4,2,2]] +1651349*s[[6,4,3,1]] +692035*s[[6,4,4]] +557242*s[[6,5,1,1,1]] +2139685*s[[6,5,2,1]] +1680515*s[[6,5,3]] +1038914*s[[6,6,1,1]] +1535692*s[[6,6,2]] +8028*s[[7,2,1,1,1,1,1]] +129780*s[[7,2,2,1,1,1]] +353367*s[[7,2,2,2,1]] +181362*s[[7,3,1,1,1,1]] +1382759*s[[7,3,2,1,1]] +1441048*s[[7,3,2,2]] +2009108*s[[7,3,3,1]] +1218310*s[[7,4,1,1,1]] +4532524*s[[7,4,2,1]] +3296250*s[[7,4,3]] +3430858*s[[7,5,1,1]] +5001269*s[[7,5,2]] +4063550*s[[7,6,1]] +1405532*s[[7,7]] +5040*s[[8,1,1,1,1,1,1]] +211716*s[[8,2,1,1,1,1]] +1288924*s[[8,2,2,1,1]] +1266545*s[[8,2,2,2]] +1918730*s[[8,3,1,1,1]] +6601373*s[[8,3,2,1]] +3770903*s[[8,3,3]] +6562226*s[[8,4,1,1]] +9287911*s[[8,4,2]] +9489184*s[[8,5,1]] +4806040*s[[8,6]] +136080*s[[9,1,1,1,1,1]] +2232180*s[[9,2,1,1,1]] +6129900*s[[9,2,2,1]] +10061574*s[[9,3,1,1]] +13267218*s[[9,3,2]] +1134*s[[3,3,3,3,2]] +295*s[[4,2,2,2,2,1,1]] +434*s[[4,2,2,2,2,2]] +1456*s[[4,3,2,2,1,1,1]] +5333*s[[4,3,2,2,2,1]] +1255*s[[4,3,3,1,1,1,1]] +12011*s[[4,3,3,2,1,1]] +13122*s[[4,3,3,2,2]] +14873*s[[4,3,3,3,1]] +1891*s[[4,4,2,1,1,1,1]] +15389*s[[4,4,2,2,1,1]] +16537*s[[4,4,2,2,2]] +17918*s[[4,4,3,1,1,1]] +64842*s[[4,4,3,2,1]] +33261*s[[4,4,3,3]] +36245*s[[4,4,4,1,1]] +50943*s[[4,4,4,2]] +1665*s[[5,2,2,2,1,1,1]] +6300*s[[5,2,2,2,2,1]] +4999*s[[5,3,2,1,1,1,1]] +40436*s[[5,3,2,2,1,1]] +42814*s[[5,3,2,2,2]] +38666*s[[5,3,3,1,1,1]] +135696*s[[5,3,3,2,1]] +64761*s[[5,3,3,3]] +3500*s[[5,4,1,1,1,1,1]] +74386*s[[5,4,2,1,1,1]] +219985*s[[5,4,2,2,1]] +293875*s[[5,4,3,1,1]] +385045*s[[5,4,3,2]] +304793*s[[5,4,4,1]] +34356*s[[5,5,1,1,1,1]] +291349*s[[5,5,2,1,1]] +315048*s[[5,5,2,2]] +582117*s[[5,5,3,1]] +301894*s[[5,5,4]] +5104*s[[6,2,2,1,1,1,1]] +39851*s[[6,2,2,2,1,1]] +42070*s[[6,2,2,2,2]] +6746*s[[6,3,1,1,1,1,1]] +135043*s[[6,3,2,1,1,1]] +388450*s[[6,3,2,2,1]] +s[[2,2,2,2,2,2,2]] +27*s[[3,2,2,2,2,2,1]] +168*s[[3,3,2,2,2,1,1]] +225*s[[3,3,2,2,2,2]] +294*s[[3,3,3,2,1,1,1]] +1050*s[[3,3,3,2,2,1]] +882*s[[3,3,3,3,1,1]]

-120*c[1]^4*c[2]*c[8] +162*c[1]^4*c[3]*c[7] -39*c[1]^4*c[4]*c[6] -3*c[1]^4*c[5]^2 -154*c[1]^3*c[2]^2*c[7] +166*c[1]^3*c[2]*c[3]*c[6] -90*c[1]^3*c[2]*c[4]*c[5] +74*c[1]^3*c[3]^2*c[5] +4*c[1]^3*c[3]*c[4]^2 -71*c[1]^2*c[2]^3*c[6] +60*c[1]^2*c[2]^2*c[3]*c[5] -53*c[1]^2*c[2]^2*c[4]^2 +57*c[1]^2*c[2]*c[3]^2*c[4] +7*c[1]^2*c[3]^4 -14*c[1]*c[2]^4*c[5] -4*c[1]*c[2]^3*c[3]*c[4] +18*c[1]*c[2]^2*c[3]^3 -2*c[2]^5*c[4] +2*c[2]^4*c[3]^2 -1680*c[1]^3*c[2]*c[9] +2196*c[1]^3*c[3]*c[8] -466*c[1]^3*c[4]*c[7] -50*c[1]^3*c[5]*c[6] -1676*c[1]^2*c[2]^2*c[8] +1686*c[1]^2*c[2]*c[3]*c[7] -805*c[1]^2*c[2]*c[4]*c[6] -137*c[1]^2*c[2]*c[5]^2 +763*c[1]^2*c[3]^2*c[6] +222*c[1]^2*c[3]*c[4]*c[5] -53*c[1]^2*c[4]^3 -532*c[1]*c[2]^3*c[7] +402*c[1]*c[2]^2*c[3]*c[6] -398*c[1]*c[2]^2*c[4]*c[5] +442*c[1]*c[2]*c[3]^2*c[5] +6*c[1]*c[2]*c[3]*c[4]^2 +80*c[1]*c[3]^3*c[4] -54*c[2]^4*c[6] +26*c[2]^3*c[3]*c[5] -46*c[2]^3*c[4]^2 +62*c[2]^2*c[3]^2*c[4] +12*c[2]*c[3]^4 -8520*c[1]^2*c[2]*c[10] +10854*c[1]^2*c[3]*c[9] -2057*c[1]^2*c[4]*c[8] -210*c[1]^2*c[5]*c[7] -67*c[1]^2*c[6]^2 -5894*c[1]*c[2]^2*c[9] +5566*c[1]*c[2]*c[3]*c[8] -2488*c[1]*c[2]*c[4]*c[7] -762*c[1]*c[2]*c[5]*c[6] +2656*c[1]*c[3]^2*c[7] +798*c[1]*c[3]*c[4]*c[6] +404*c[1]*c[3]*c[5]^2 -280*c[1]*c[4]^2*c[5] -969*c[2]^3*c[8] +650*c[2]^2*c[3]*c[7] -582*c[2]^2*c[4]*c[6] -151*c[2]^2*c[5]^2 +752*c[2]*c[3]^2*c[6] +180*c[2]*c[3]*c[4]*c[5] -75*c[2]*c[4]^3 +126*c[3]^3*c[5] +69*c[3]^2*c[4]^2 -18480*c[1]*c[2]*c[11] +23076*c[1]*c[3]*c[10] -3962*c[1]*c[4]*c[9] -458*c[1]*c[5]*c[8] -176*c[1]*c[6]*c[7] -6676*c[2]^2*c[10] +5950*c[2]*c[3]*c[9] -2605*c[2]*c[4]*c[8] -826*c[2]*c[5]*c[7] -255*c[2]*c[6]^2 +3059*c[3]^2*c[8] +970*c[3]*c[4]*c[7] +758*c[3]*c[5]*c[6] -256*c[4]^2*c[6] -119*c[4]*c[5]^2 -14400*c[2]*c[12] +17712*c[3]*c[11] -2800*c[4]*c[10] -380*c[5]*c[9] -80*c[6]*c[8] -52*c[7]^2

86416*s[[9,4,1]] +43688*s[[9,5]] +88800*s[[10,3,1]] +70608*s[[10,4]] +70272*s[[11,3]] +6160*s[[6,3,3,1,1]] +10660*s[[6,3,3,2]] +412*s[[6,4,1,1,1,1]] +6868*s[[6,4,2,1,1]] +9630*s[[6,4,2,2]] +23516*s[[6,4,3,1]] +8956*s[[6,4,4]] +2984*s[[6,5,1,1,1]] +16990*s[[6,5,2,1]] +19550*s[[6,5,3]] +5660*s[[6,6,1,1]] +10470*s[[6,6,2]] +528*s[[7,3,1,1,1,1]] +8752*s[[7,3,2,1,1]] +12250*s[[7,3,2,2]] +28924*s[[7,3,3,1]] +6656*s[[7,4,1,1,1]] +36430*s[[7,4,2,1]] +40610*s[[7,4,3]] +19840*s[[7,5,1,1]] +36150*s[[7,5,2]] +20320*s[[7,6,1]] +5432*s[[7,7]] +7680*s[[8,3,1,1,1]] +41740*s[[8,3,2,1]] +45384*s[[8,3,3]] +37220*s[[8,4,1,1]] +66288*s[[8,4,2]] +50580*s[[8,5,1]] +19984*s[[8,6]] +40080*s[[9,3,1,1]] +71000*s[[9,3,2]] +61*s[[3,3,3,3,2]] +40*s[[4,3,2,2,2,1]] +194*s[[4,3,3,2,1,1]] +350*s[[4,3,3,2,2]] +570*s[[4,3,3,3,1]] +108*s[[4,4,2,2,1,1]] +180*s[[4,4,2,2,2]] +194*s[[4,4,3,1,1,1]] +1278*s[[4,4,3,2,1]] +1060*s[[4,4,3,3]] +540*s[[4,4,4,1,1]] +944*s[[4,4,4,2]] +250*s[[5,3,2,2,1,1]] +430*s[[5,3,2,2,2]] +424*s[[5,3,3,1,1,1]] +2820*s[[5,3,3,2,1]] +2260*s[[5,3,3,3]] +406*s[[5,4,2,1,1,1]] +2146*s[[5,4,2,2,1]] +4200*s[[5,4,3,1,1]] +7310*s[[5,4,3,2]] +4452*s[[5,4,4,1]] +124*s[[5,5,1,1,1,1]] +2188*s[[5,5,2,1,1]] +3150*s[[5,5,2,2]] +7830*s[[5,5,3,1]] +3680*s[[5,5,4]] +620*s[[6,3,2,1,1,1]] +3300*s[[6,3,2,2,1]] +2*s[[3,3,2,2,2,2]] +24*s[[3,3,3,2,2,1]] +29*s[[3,3,3,3,1,1]]

-40*c[1]^4*c[3]*c[7] +60*c[1]^4*c[4]*c[6] -20*c[1]^4*c[5]^2 -24*c[1]^3*c[2]^2*c[7] -2*c[1]^3*c[2]*c[3]*c[6] +34*c[1]^3*c[2]*c[4]*c[5] -32*c[1]^3*c[3]^2*c[5] +24*c[1]^3*c[3]*c[4]^2 -26*c[1]^2*c[2]^3*c[6] +7*c[1]^2*c[2]^2*c[3]*c[5] +13*c[1]^2*c[2]^2*c[4]^2 +10*c[1]^2*c[2]*c[3]^2*c[4] -4*c[1]^2*c[3]^4 -11*c[1]*c[2]^4*c[5] +8*c[1]*c[2]^3*c[3]*c[4] +3*c[1]*c[2]^2*c[3]^3 -2*c[2]^5*c[4] +2*c[2]^4*c[3]^2 -380*c[1]^3*c[3]*c[8] +470*c[1]^3*c[4]*c[7] -90*c[1]^3*c[5]*c[6] -216*c[1]^2*c[2]^2*c[8] +68*c[1]^2*c[2]*c[3]*c[7] +220*c[1]^2*c[2]*c[4]*c[6] -4*c[1]^2*c[2]*c[5]^2 -190*c[1]^2*c[3]^2*c[6] +76*c[1]^2*c[3]*c[4]*c[5] +46*c[1]^2*c[4]^3 -162*c[1]*c[2]^3*c[7] +127*c[1]*c[2]^2*c[3]*c[6] -15*c[1]*c[2]^2*c[4]*c[5] +36*c[1]*c[2]*c[3]^2*c[5] +40*c[1]*c[2]*c[3]*c[4]^2 -26*c[1]*c[3]^3*c[4] -33*c[2]^4*c[6] +41*c[2]^3*c[3]*c[5] -25*c[2]^3*c[4]^2 +17*c[2]^2*c[3]^2*c[4] -1208*c[1]^2*c[3]*c[9] +960*c[1]^2*c[4]*c[8] +608*c[1]^2*c[5]*c[7] -360*c[1]^2*c[6]^2 -624*c[1]*c[2]^2*c[9] +480*c[1]*c[2]*c[3]*c[8] +9*c[1]*c[2]*c[4]*c[7] +323*c[1]*c[2]*c[5]*c[6] -359*c[1]*c[3]^2*c[7] -182*c[1]*c[3]*c[4]*c[6] +224*c[1]*c[3]*c[5]^2 +129*c[1]*c[4]^2*c[5] -244*c[2]^3*c[8] +278*c[2]^2*c[3]*c[7] -261*c[2]^2*c[4]*c[6] +133*c[2]^2*c[5]^2 +60*c[2]*c[3]^2*c[6] +105*c[2]*c[3]*c[4]*c[5] -29*c[2]*c[4]^3 -9*c[3]^3*c[5] -33*c[3]^2*c[4]^2 -1420*c[1]*c[3]*c[10] -226*c[1]*c[4]*c[9] +2596*c[1]*c[5]*c[8] -950*c[1]*c[6]*c[7] -576*c[2]^2*c[10] +738*c[2]*c[3]*c[9] -763*c[2]*c[4]*c[8] +1110*c[2]*c[5]*c[7] -341*c[2]*c[6]^2 -181*c[3]^2*c[8] -360*c[3]*c[4]*c[7] +332*c[3]*c[5]*c[6] -174*c[4]^2*c[6] +215*c[4]*c[5]^2 -408*c[3]*c[11] -1492*c[4]*c[10] +2680*c[5]*c[9] -668*c[6]*c[8] -112*c[7]^2

14380*s[[9,4,1]] +17768*s[[9,5]] +3264*s[[10,3,1]] +7752*s[[10,4]] +1584*s[[11,3]] +792*s[[6,3,3,1,1]] +1338*s[[6,3,3,2]] +232*s[[6,4,1,1,1,1]] +2572*s[[6,4,2,1,1]] +2718*s[[6,4,2,2]] +5508*s[[6,4,3,1]] +2762*s[[6,4,4]] +1496*s[[6,5,1,1,1]] +7462*s[[6,5,2,1]] +7694*s[[6,5,3]] +2672*s[[6,6,1,1]] +4752*s[[6,6,2]] +60*s[[7,3,1,1,1,1]] +1216*s[[7,3,2,1,1]] +1870*s[[7,3,2,2]] +2661*s[[7,3,3,1]] +2480*s[[7,4,1,1,1]] +9502*s[[7,4,2,1]] +7289*s[[7,4,3]] +8944*s[[7,5,1,1]] +15126*s[[7,5,2]] +9412*s[[7,6,1]] +2360*s[[7,7]] +624*s[[8,3,1,1,1]] +3982*s[[8,3,2,1]] +2952*s[[8,3,3]] +9284*s[[8,4,1,1]] +12510*s[[8,4,2]] +21396*s[[8,5,1]] +9352*s[[8,6]] +2244*s[[9,3,1,1]] +4472*s[[9,3,2]] +8*s[[3,3,3,3,2]] +22*s[[4,3,2,2,2,1]] +48*s[[4,3,3,2,1,1]] +90*s[[4,3,3,2,2]] +60*s[[4,3,3,3,1]] +66*s[[4,4,2,2,1,1]] +72*s[[4,4,2,2,2]] +99*s[[4,4,3,1,1,1]] +366*s[[4,4,3,2,1]] +132*s[[4,4,3,3]] +312*s[[4,4,4,1,1]] +276*s[[4,4,4,2]] +82*s[[5,3,2,2,1,1]] +154*s[[5,3,2,2,2]] +75*s[[5,3,3,1,1,1]] +498*s[[5,3,3,2,1]] +197*s[[5,3,3,3]] +232*s[[5,4,2,1,1,1]] +826*s[[5,4,2,2,1]] +1372*s[[5,4,3,1,1]] +1653*s[[5,4,3,2]] +1785*s[[5,4,4,1]] +76*s[[5,5,1,1,1,1]] +1060*s[[5,5,2,1,1]] +1368*s[[5,5,2,2]] +3123*s[[5,5,3,1]] +2426*s[[5,5,4]] +122*s[[6,3,2,1,1,1]] +744*s[[6,3,2,2,1]] +2*s[[3,3,2,2,2,2]] +9*s[[3,3,3,2,2,1]] +3*s[[3,3,3,3,1,1]]

-2*c[1]^4*c[3]*c[7] -21*c[1]^4*c[4]*c[6] +23*c[1]^4*c[5]^2 -29*c[1]^3*c[2]*c[3]*c[6] +27*c[1]^3*c[2]*c[4]*c[5] +13*c[1]^3*c[3]^2*c[5] -11*c[1]^3*c[3]*c[4]^2 -6*c[1]^2*c[2]^3*c[6] -9*c[1]^2*c[2]^2*c[3]*c[5] +18*c[1]^2*c[2]^2*c[4]^2 -5*c[1]^2*c[2]*c[3]^2*c[4] +2*c[1]^2*c[3]^4 -5*c[1]*c[2]^4*c[5] +6*c[1]*c[2]^3*c[3]*c[4] -c[1]*c[2]^2*c[3]^3 -c[2]^5*c[4] +c[2]^4*c[3]^2 -16*c[1]^3*c[3]*c[8] -124*c[1]^3*c[4]*c[7] +140*c[1]^3*c[5]*c[6] -158*c[1]^2*c[2]*c[3]*c[7] +104*c[1]^2*c[2]*c[4]*c[6] +40*c[1]^2*c[2]*c[5]^2 +52*c[1]^2*c[3]^2*c[6] -28*c[1]^2*c[3]*c[4]*c[5] -10*c[1]^2*c[4]^3 -30*c[1]*c[2]^3*c[7] -3*c[1]*c[2]^2*c[3]*c[6] +48*c[1]*c[2]^2*c[4]*c[5] -31*c[1]*c[2]*c[3]^2*c[5] +7*c[1]*c[2]*c[3]*c[4]^2 +9*c[1]*c[3]^3*c[4] -13*c[2]^4*c[6] +23*c[2]^3*c[3]*c[5] -9*c[2]^3*c[4]^2 +c[2]^2*c[3]^2*c[4] -2*c[2]*c[3]^4 -46*c[1]^2*c[3]*c[9] -231*c[1]^2*c[4]*c[8] -182*c[1]^2*c[5]*c[7] +459*c[1]^2*c[6]^2 -239*c[1]*c[2]*c[3]*c[8] -45*c[1]*c[2]*c[4]*c[7] +252*c[1]*c[2]*c[5]*c[6] +17*c[1]*c[3]^2*c[7] +174*c[1]*c[3]*c[4]*c[6] -113*c[1]*c[3]*c[5]^2 -46*c[1]*c[4]^2*c[5] -36*c[2]^3*c[8] +52*c[2]^2*c[3]*c[7] -115*c[2]^2*c[4]*c[6] +117*c[2]^2*c[5]^2 -53*c[2]*c[3]^2*c[6] +43*c[2]*c[3]*c[4]*c[5] -18*c[2]*c[4]^3 -13*c[3]^3*c[5] +23*c[3]^2*c[4]^2 -56*c[1]*c[3]*c[10] -168*c[1]*c[4]*c[9] -632*c[1]*c[5]*c[8] +856*c[1]*c[6]*c[7] -78*c[2]*c[3]*c[9] -320*c[2]*c[4]*c[8] +546*c[2]*c[5]*c[7] -172*c[2]*c[6]^2 -70*c[3]^2*c[8] +278*c[3]*c[4]*c[7] -132*c[3]*c[5]*c[6] -36*c[4]^2*c[6] -16*c[4]*c[5]^2 -24*c[3]*c[11] -68*c[4]*c[10] -152*c[5]*c[9] -508*c[6]*c[8] +752*c[7]^2

2060*s[[9,4,1]] +3052*s[[9,5]] +336*s[[10,3,1]] +960*s[[10,4]] +144*s[[11,3]] +202*s[[6,3,3,1,1]] +296*s[[6,3,3,2]] +62*s[[6,4,1,1,1,1]] +814*s[[6,4,2,1,1]] +925*s[[6,4,2,2]] +1551*s[[6,4,3,1]] +533*s[[6,4,4]] +932*s[[6,5,1,1,1]] +3445*s[[6,5,2,1]] +2016*s[[6,5,3]] +2734*s[[6,6,1,1]] +2851*s[[6,6,2]] +12*s[[7,3,1,1,1,1]] +212*s[[7,3,2,1,1]] +305*s[[7,3,2,2]] +557*s[[7,3,3,1]] +520*s[[7,4,1,1,1]] +2417*s[[7,4,2,1]] +1974*s[[7,4,3]] +3572*s[[7,5,1,1]] +5389*s[[7,5,2]] +7504*s[[7,6,1]] +4508*s[[7,7]] +96*s[[8,3,1,1,1]] +548*s[[8,3,2,1]] +524*s[[8,3,3]] +1582*s[[8,4,1,1]] +2578*s[[8,4,2]] +5630*s[[8,5,1]] +5448*s[[8,6]] +276*s[[9,3,1,1]] +508*s[[9,3,2]] +s[[3,3,3,3,2]] +8*s[[4,3,2,2,2,1]] +15*s[[4,3,3,2,1,1]] +17*s[[4,3,3,2,2]] +27*s[[4,3,3,3,1]] +36*s[[4,4,2,2,1,1]] +28*s[[4,4,2,2,2]] +21*s[[4,4,3,1,1,1]] +117*s[[4,4,3,2,1]] +102*s[[4,4,3,3]] +42*s[[4,4,4,1,1]] +82*s[[4,4,4,2]] +23*s[[5,3,2,2,1,1]] +41*s[[5,3,2,2,2]] +25*s[[5,3,3,1,1,1]] +123*s[[5,3,3,2,1]] +76*s[[5,3,3,3]] +95*s[[5,4,2,1,1,1]] +341*s[[5,4,2,2,1]] +354*s[[5,4,3,1,1]] +600*s[[5,4,3,2]] +324*s[[5,4,4,1]] +86*s[[5,5,1,1,1,1]] +566*s[[5,5,2,1,1]] +789*s[[5,5,2,2]] +906*s[[5,5,3,1]] +313*s[[5,5,4]] +28*s[[6,3,2,1,1,1]] +156*s[[6,3,2,2,1]] +s[[3,3,2,2,2,2]] +2*s[[3,3,3,2,2,1]] +3*s[[3,3,3,3,1,1]]

-12*c[1]^3*c[3]*c[8] +22*c[1]^3*c[4]*c[7] -10*c[1]^3*c[5]*c[6] -22*c[1]^2*c[2]*c[3]*c[7] +18*c[1]^2*c[2]*c[4]*c[6] -8*c[1]^2*c[2]*c[5]^2 +21*c[1]^2*c[3]^2*c[6] -16*c[1]^2*c[3]*c[4]*c[5] +7*c[1]^2*c[4]^3 -11*c[1]*c[2]^2*c[3]*c[6] +c[1]*c[2]^2*c[4]*c[5] +12*c[1]*c[2]*c[3]^2*c[5] -10*c[1]*c[2]*c[3]*c[4]^2 +8*c[1]*c[3]^3*c[4] -c[2]^3*c[3]*c[5] -4*c[2]^2*c[3]^2*c[4] +5*c[2]*c[3]^4 -72*c[1]^2*c[3]*c[9] +120*c[1]^2*c[4]*c[8] -48*c[1]^2*c[5]*c[7] -96*c[1]*c[2]*c[3]*c[8] +45*c[1]*c[2]*c[4]*c[7] -9*c[1]*c[2]*c[5]*c[6] +108*c[1]*c[3]^2*c[7] -58*c[1]*c[3]*c[4]*c[6] -18*c[1]*c[3]*c[5]^2 +28*c[1]*c[4]^2*c[5] -27*c[2]^2*c[3]*c[7] -7*c[2]^2*c[4]*c[6] +8*c[2]^2*c[5]^2 +38*c[2]*c[3]^2*c[6] -41*c[2]*c[3]*c[4]*c[5] +7*c[2]*c[4]^3 +30*c[3]^3*c[5] -8*c[3]^2*c[4]^2 -132*c[1]*c[3]*c[10] +182*c[1]*c[4]*c[9] -22*c[1]*c[5]*c[8] -28*c[1]*c[6]*c[7] -98*c[2]*c[3]*c[9] +7*c[2]*c[4]*c[8] +38*c[2]*c[5]*c[7] -19*c[2]*c[6]^2 +135*c[3]^2*c[8] -76*c[3]*c[4]*c[7] -12*c[3]*c[5]*c[6] +12*c[4]^2*c[6] +13*c[4]*c[5]^2 -72*c[3]*c[11] +60*c[4]*c[10] +60*c[5]*c[9] -60*c[6]*c[8] +12*c[7]^2

972*s[[9,4,1]] +648*s[[9,5]] +396*s[[10,3,1]] +648*s[[10,4]] +216*s[[11,3]] +85*s[[6,3,3,1,1]] +239*s[[6,3,3,2]] +96*s[[6,4,2,1,1]] +192*s[[6,4,2,2]] +397*s[[6,4,3,1]] +170*s[[6,4,4]] +36*s[[6,5,1,1,1]] +240*s[[6,5,2,1]] +309*s[[6,5,3]] +36*s[[6,6,1,1]] +114*s[[6,6,2]] +66*s[[7,3,2,1,1]] +150*s[[7,3,2,2]] +444*s[[7,3,3,1]] +72*s[[7,4,1,1,1]] +570*s[[7,4,2,1]] +603*s[[7,4,3]] +288*s[[7,5,1,1]] +522*s[[7,5,2]] +180*s[[7,6,1]] +36*s[[8,3,1,1,1]] +360*s[[8,3,2,1]] +575*s[[8,3,3]] +468*s[[8,4,1,1]] +918*s[[8,4,2]] +756*s[[8,5,1]] +216*s[[8,6]] +216*s[[9,3,1,1]] +510*s[[9,3,2]] +5*s[[3,3,3,3,2]] +11*s[[4,3,3,2,2]] +24*s[[4,3,3,3,1]] +6*s[[4,4,2,2,2]] +30*s[[4,4,3,2,1]] +24*s[[4,4,3,3]] +12*s[[4,4,4,1,1]] +24*s[[4,4,4,2]] +6*s[[5,3,2,2,2]] +60*s[[5,3,3,2,1]] +89*s[[5,3,3,3]] +42*s[[5,4,2,2,1]] +68*s[[5,4,3,1,1]] +155*s[[5,4,3,2]] +97*s[[5,4,4,1]] +30*s[[5,5,2,1,1]] +42*s[[5,5,2,2]] +133*s[[5,5,3,1]] +86*s[[5,5,4]] +36*s[[6,3,2,2,1]]

-9*c[1]^2*c[2]*c[4]*c[6] +9*c[1]^2*c[2]*c[5]^2 +9*c[1]^2*c[3]^2*c[6] -18*c[1]^2*c[3]*c[4]*c[5] +9*c[1]^2*c[4]^3 -27*c[1]*c[2]*c[4]*c[7] +27*c[1]*c[2]*c[5]*c[6] +27*c[1]*c[3]^2*c[7] -27*c[1]*c[3]*c[4]*c[6] -27*c[1]*c[3]*c[5]^2 +27*c[1]*c[4]^2*c[5] +3*c[2]^2*c[4]*c[6] -3*c[2]^2*c[5]^2 -3*c[2]*c[3]^2*c[6] +6*c[2]*c[3]*c[4]*c[5] -3*c[2]*c[4]^3 -18*c[2]*c[4]*c[8] -12*c[2]*c[5]*c[7] +30*c[2]*c[6]^2 +18*c[3]^2*c[8] +12*c[3]*c[4]*c[7] -48*c[3]*c[5]*c[6] -12*c[4]^2*c[6] +30*c[4]*c[5]^2

9*s[[4,4,4,1,1]] +6*s[[4,4,4,2]] +42*s[[5,4,4,1]] +66*s[[5,5,4]] +51*s[[6,4,4]]

-4*c[1]^4*c[3]*c[7] +3*c[1]^4*c[4]*c[6] +c[1]^4*c[5]^2 -9*c[1]^3*c[2]*c[3]*c[6] +5*c[1]^3*c[2]*c[4]*c[5] +2*c[1]^3*c[3]^2*c[5] +2*c[1]^3*c[3]*c[4]^2 -7*c[1]^2*c[2]^2*c[3]*c[5] +2*c[1]^2*c[2]^2*c[4]^2 +4*c[1]^2*c[2]*c[3]^2*c[4] +c[1]^2*c[3]^4 -2*c[1]*c[2]^3*c[3]*c[4] +2*c[1]*c[2]^2*c[3]^3 -44*c[1]^3*c[3]*c[8] +29*c[1]^3*c[4]*c[7] +15*c[1]^3*c[5]*c[6] -79*c[1]^2*c[2]*c[3]*c[7] +31*c[1]^2*c[2]*c[4]*c[6] +8*c[1]^2*c[2]*c[5]^2 +19*c[1]^2*c[3]^2*c[6] +19*c[1]^2*c[3]*c[4]*c[5] +2*c[1]^2*c[4]^3 -43*c[1]*c[2]^2*c[3]*c[6] +9*c[1]*c[2]^2*c[4]*c[5] +18*c[1]*c[2]*c[3]^2*c[5] +4*c[1]*c[2]*c[3]*c[4]^2 +12*c[1]*c[3]^3*c[4] -7*c[2]^3*c[3]*c[5] +4*c[2]^2*c[3]^2*c[4] +3*c[2]*c[3]^4 -164*c[1]^2*c[3]*c[9] +84*c[1]^2*c[4]*c[8] +56*c[1]^2*c[5]*c[7] +24*c[1]^2*c[6]^2 -212*c[1]*c[2]*c[3]*c[8] +53*c[1]*c[2]*c[4]*c[7] +35*c[1]*c[2]*c[5]*c[6] +56*c[1]*c[3]^2*c[7] +34*c[1]*c[3]*c[4]*c[6] +34*c[1]*c[3]*c[5]^2 -61*c[2]^2*c[3]*c[7] +8*c[2]^2*c[4]*c[6] -c[2]^2*c[5]^2 +17*c[2]*c[3]^2*c[6] +19*c[2]*c[3]*c[4]*c[5] -8*c[2]*c[4]^3 +18*c[3]^3*c[5] +8*c[3]^2*c[4]^2 -244*c[1]*c[3]*c[10] +62*c[1]*c[4]*c[9] +118*c[1]*c[5]*c[8] +64*c[1]*c[6]*c[7] -174*c[2]*c[3]*c[9] +11*c[2]*c[4]*c[8] +30*c[2]*c[5]*c[7] +13*c[2]*c[6]^2 +55*c[3]^2*c[8] +24*c[3]*c[4]*c[7] +52*c[3]*c[5]*c[6] -24*c[4]^2*c[6] +13*c[4]*c[5]^2 -120*c[3]*c[11] -28*c[4]*c[10] +100*c[5]*c[9] +28*c[6]*c[8] +20*c[7]^2

3132*s[[9,4,1]] +3144*s[[9,5]] +864*s[[10,3,1]] +1800*s[[10,4]] +432*s[[11,3]] +316*s[[6,3,3,1,1]] +617*s[[6,3,3,2]] +32*s[[6,4,1,1,1,1]] +600*s[[6,4,2,1,1]] +886*s[[6,4,2,2]] +2046*s[[6,4,3,1]] +994*s[[6,4,4]] +432*s[[6,5,1,1,1]] +2290*s[[6,5,2,1]] +2362*s[[6,5,3]] +1048*s[[6,6,1,1]] +1792*s[[6,6,2]] +12*s[[7,3,1,1,1,1]] +264*s[[7,3,2,1,1]] +420*s[[7,3,2,2]] +1151*s[[7,3,3,1]] +432*s[[7,4,1,1,1]] +2506*s[[7,4,2,1]] +2725*s[[7,4,3]] +2336*s[[7,5,1,1]] +4022*s[[7,5,2]] +3412*s[[7,6,1]] +1176*s[[7,7]] +144*s[[8,3,1,1,1]] +962*s[[8,3,2,1]] +1292*s[[8,3,3]] +1852*s[[8,4,1,1]] +3382*s[[8,4,2]] +4676*s[[8,5,1]] +2952*s[[8,6]] +564*s[[9,3,1,1]] +1152*s[[9,3,2]] +8*s[[3,3,3,3,2]] +2*s[[4,3,2,2,2,1]] +15*s[[4,3,3,2,1,1]] +32*s[[4,3,3,2,2]] +60*s[[4,3,3,3,1]] +12*s[[4,4,2,2,1,1]] +24*s[[4,4,2,2,2]] +21*s[[4,4,3,1,1,1]] +156*s[[4,4,3,2,1]] +132*s[[4,4,3,3]] +84*s[[4,4,4,1,1]] +148*s[[4,4,4,2]] +12*s[[5,3,2,2,1,1]] +24*s[[5,3,2,2,2]] +25*s[[5,3,3,1,1,1]] +204*s[[5,3,3,2,1]] +197*s[[5,3,3,3]] +40*s[[5,4,2,1,1,1]] +240*s[[5,4,2,2,1]] +440*s[[5,4,3,1,1]] +795*s[[5,4,3,2]] +613*s[[5,4,4,1]] +20*s[[5,5,1,1,1,1]] +336*s[[5,5,2,1,1]] +466*s[[5,5,2,2]] +1059*s[[5,5,3,1]] +618*s[[5,5,4]] +22*s[[6,3,2,1,1,1]] +144*s[[6,3,2,2,1]] +2*s[[3,3,3,2,2,1]] +3*s[[3,3,3,3,1,1]]

-4*c[1]*c[2]*c[4]*c[7] +4*c[1]*c[2]*c[5]*c[6] +4*c[1]*c[3]^2*c[7] -4*c[1]*c[3]*c[4]*c[6] -4*c[1]*c[3]*c[5]^2 +4*c[1]*c[4]^2*c[5] -4*c[2]^2*c[4]*c[6] +4*c[2]^2*c[5]^2 +4*c[2]*c[3]^2*c[6] -8*c[2]*c[3]*c[4]*c[5] +4*c[2]*c[4]^3 -8*c[2]*c[4]*c[8] +12*c[2]*c[5]*c[7] -4*c[2]*c[6]^2 +8*c[3]^2*c[8] -12*c[3]*c[4]*c[7] -4*c[3]*c[5]*c[6] +12*c[4]^2*c[6] -4*c[4]*c[5]^2

4*s[[4,4,4,2]] +8*s[[5,4,4,1]] +16*s[[6,4,4]]