Thom polynomials, relative dimension l=2

1

s[[0]]

c[3]

s[[3]]

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

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

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

s[[4,4]]

12*c[1]^2*c[7] +10*c[1]*c[2]*c[6] +7*c[1]*c[3]*c[5] +c[1]*c[4]^2 +2*c[2]^2*c[5] +3*c[2]*c[3]*c[4] +c[3]^3 +60*c[1]*c[8] +26*c[2]*c[7] +17*c[3]*c[6] +5*c[4]*c[5] +72*c[9]

216*s[[9]] +24*s[[5,4]] +65*s[[6,3]] +114*s[[7,2]] +180*s[[8,1]] +s[[3,3,3]] +5*s[[4,3,2]] +5*s[[4,4,1]] +6*s[[5,2,2]] +19*s[[5,3,1]] +30*s[[6,2,1]] +36*s[[7,1,1]]

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

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

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

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

144*c[1]^3*c[9] +156*c[1]^2*c[2]*c[8] +76*c[1]^2*c[3]*c[7] +21*c[1]^2*c[4]*c[6] +11*c[1]^2*c[5]^2 +54*c[1]*c[2]^2*c[7] +53*c[1]*c[2]*c[3]*c[6] +17*c[1]*c[2]*c[4]*c[5] +16*c[1]*c[3]^2*c[5] +4*c[1]*c[3]*c[4]^2 +6*c[2]^3*c[6] +9*c[2]^2*c[3]*c[5] +2*c[2]^2*c[4]^2 +6*c[2]*c[3]^2*c[4] +c[3]^4 +1296*c[1]^2*c[10] +972*c[1]*c[2]*c[9] +468*c[1]*c[3]*c[8] +143*c[1]*c[4]*c[7] +97*c[1]*c[5]*c[6] +174*c[2]^2*c[8] +167*c[2]*c[3]*c[7] +53*c[2]*c[4]*c[6] +16*c[2]*c[5]^2 +46*c[3]^2*c[6] +23*c[3]*c[4]*c[5] +c[4]^3 +3744*c[1]*c[11] +1464*c[2]*c[10] +704*c[3]*c[9] +238*c[4]*c[8] +124*c[5]*c[7] +62*c[6]^2 +3456*c[12]

14976*s[[11,1]] +13824*s[[12]] +s[[3,3,3,3]] +9*s[[4,3,3,2]] +10*s[[4,4,2,2]] +21*s[[4,4,3,1]] +14*s[[4,4,4]] +26*s[[5,3,2,2]] +55*s[[5,3,3,1]] +104*s[[5,4,2,1]] +160*s[[5,4,3]] +76*s[[5,5,1,1]] +200*s[[5,5,2]] +24*s[[6,2,2,2]] +210*s[[6,3,2,1]] +285*s[[6,3,3]] +240*s[[6,4,1,1]] +666*s[[6,4,2]] +804*s[[6,5,1]] +520*s[[6,6]] +216*s[[7,2,2,1]] +460*s[[7,3,1,1]] +1214*s[[7,3,2]] +1900*s[[7,4,1]] +1736*s[[7,5]] +624*s[[8,2,1,1]] +1320*s[[8,2,2]] +3516*s[[8,3,1]] +3704*s[[8,4]] +576*s[[9,1,1,1]] +5040*s[[9,2,1]] +6920*s[[9,3]] +5184*s[[10,1,1]] +11040*s[[10,2]]

-12*c[1]^2*c[3]*c[8] +10*c[1]^2*c[4]*c[7] +2*c[1]^2*c[5]*c[6] -10*c[1]*c[2]*c[3]*c[7] +9*c[1]*c[2]*c[4]*c[6] +c[1]*c[2]*c[5]^2 -5*c[1]*c[3]^2*c[6] +4*c[1]*c[3]*c[4]*c[5] +c[1]*c[4]^3 -2*c[2]^2*c[3]*c[6] +2*c[2]^2*c[4]*c[5] -2*c[2]*c[3]^2*c[5] +2*c[2]*c[3]*c[4]^2 -60*c[1]*c[3]*c[9] +46*c[1]*c[4]*c[8] +12*c[1]*c[5]*c[7] +2*c[1]*c[6]^2 -26*c[2]*c[3]*c[8] +21*c[2]*c[4]*c[7] +5*c[2]*c[5]*c[6] -13*c[3]^2*c[7] +7*c[3]*c[4]*c[6] +c[3]*c[5]^2 +5*c[4]^2*c[5] -72*c[3]*c[10] +52*c[4]*c[9] +16*c[5]*c[8] +4*c[6]*c[7]

168*s[[8,4,1]] +208*s[[8,5]] +208*s[[9,4]] +2*s[[4,4,3,2]] +3*s[[4,4,4,1]] +4*s[[5,4,2,2]] +12*s[[5,4,3,1]] +18*s[[5,4,4]] +12*s[[5,5,2,1]] +24*s[[5,5,3]] +24*s[[6,4,2,1]] +50*s[[6,4,3]] +24*s[[6,5,1,1]] +76*s[[6,5,2]] +56*s[[6,6,1]] +32*s[[7,4,1,1]] +100*s[[7,4,2]] +152*s[[7,5,1]] +112*s[[7,6]]

-36*c[1]^2*c[3]*c[9] +50*c[1]^2*c[4]*c[8] -12*c[1]^2*c[5]*c[7] -2*c[1]^2*c[6]^2 -30*c[1]*c[2]*c[3]*c[8] +43*c[1]*c[2]*c[4]*c[7] -13*c[1]*c[2]*c[5]*c[6] -13*c[1]*c[3]^2*c[7] +13*c[1]*c[3]*c[4]*c[6] -9*c[1]*c[3]*c[5]^2 +9*c[1]*c[4]^2*c[5] -6*c[2]^2*c[3]*c[7] +9*c[2]^2*c[4]*c[6] -3*c[2]^2*c[5]^2 -5*c[2]*c[3]^2*c[6] +2*c[2]*c[3]*c[4]*c[5] +3*c[2]*c[4]^3 -2*c[3]^3*c[5] +2*c[3]^2*c[4]^2 -180*c[1]*c[3]*c[10] +246*c[1]*c[4]*c[9] -58*c[1]*c[5]*c[8] -8*c[1]*c[6]*c[7] -78*c[2]*c[3]*c[9] +109*c[2]*c[4]*c[8] -30*c[2]*c[5]*c[7] -c[2]*c[6]^2 -35*c[3]^2*c[8] +34*c[3]*c[4]*c[7] -26*c[3]*c[5]*c[6] +24*c[4]^2*c[6] +3*c[4]*c[5]^2 -216*c[3]*c[11] +292*c[4]*c[10] -68*c[5]*c[9] -4*c[6]*c[8] -4*c[7]^2

528*s[[9,4,1]] +288*s[[9,5]] +640*s[[10,4]] +16*s[[6,4,2,2]] +50*s[[6,4,3,1]] +89*s[[6,4,4]] +28*s[[6,5,2,1]] +62*s[[6,5,3]] +8*s[[6,6,1,1]] +28*s[[6,6,2]] +84*s[[7,4,2,1]] +180*s[[7,4,3]] +40*s[[7,5,1,1]] +128*s[[7,5,2]] +64*s[[7,6,1]] +16*s[[7,7]] +104*s[[8,4,1,1]] +328*s[[8,4,2]] +224*s[[8,5,1]] +96*s[[8,6]] +2*s[[4,4,3,3]] +5*s[[4,4,4,2]] +12*s[[5,4,3,2]] +24*s[[5,4,4,1]] +4*s[[5,5,2,2]] +12*s[[5,5,3,1]] +24*s[[5,5,4]]

-2*c[1]^2*c[4]*c[8] -9*c[1]^2*c[5]*c[7] +11*c[1]^2*c[6]^2 -7*c[1]*c[2]*c[4]*c[7] +7*c[1]*c[2]*c[5]*c[6] -4*c[1]*c[3]^2*c[7] +8*c[1]*c[3]*c[4]*c[6] -2*c[1]*c[3]*c[5]^2 -2*c[1]*c[4]^2*c[5] -3*c[2]^2*c[4]*c[6] +3*c[2]^2*c[5]^2 -2*c[2]*c[3]^2*c[6] +3*c[2]*c[3]*c[4]*c[5] -c[2]*c[4]^3 -c[3]^3*c[5] +c[3]^2*c[4]^2 -6*c[1]*c[4]*c[9] -21*c[1]*c[5]*c[8] +27*c[1]*c[6]*c[7] -13*c[2]*c[4]*c[8] +21*c[2]*c[5]*c[7] -8*c[2]*c[6]^2 -8*c[3]^2*c[8] +16*c[3]*c[4]*c[7] -4*c[3]*c[5]*c[6] -3*c[4]^2*c[6] -c[4]*c[5]^2 -4*c[4]*c[10] -6*c[5]*c[9] -32*c[6]*c[8] +42*c[7]^2

14*s[[8,4,2]] +52*s[[8,5,1]] +88*s[[8,6]] +12*s[[9,4,1]] +40*s[[9,5]] +8*s[[10,4]] +s[[4,4,3,3]] +3*s[[5,4,3,2]] +6*s[[5,5,2,2]] +3*s[[5,5,3,1]] +2*s[[6,4,2,2]] +7*s[[6,4,3,1]] +20*s[[6,5,2,1]] +10*s[[6,5,3]] +28*s[[6,6,1,1]] +20*s[[6,6,2]] +6*s[[7,4,2,1]] +15*s[[7,4,3]] +16*s[[7,5,1,1]] +50*s[[7,5,2]] +100*s[[7,6,1]] +120*s[[7,7]] +4*s[[8,4,1,1]]

2880*c[1]^4*c[11] +3696*c[1]^3*c[2]*c[10] +1508*c[1]^3*c[3]*c[9] +450*c[1]^3*c[4]*c[8] +268*c[1]^3*c[5]*c[7] +78*c[1]^3*c[6]^2 +1704*c[1]^2*c[2]^2*c[9] +1366*c[1]^2*c[2]*c[3]*c[8] +389*c[1]^2*c[2]*c[4]*c[7] +233*c[1]^2*c[2]*c[5]*c[6] +285*c[1]^2*c[3]^2*c[7] +136*c[1]^2*c[3]*c[4]*c[6] +68*c[1]^2*c[3]*c[5]^2 +19*c[1]^2*c[4]^2*c[5] +336*c[1]*c[2]^3*c[8] +400*c[1]*c[2]^2*c[3]*c[7] +115*c[1]*c[2]^2*c[4]*c[6] +39*c[1]*c[2]^2*c[5]^2 +170*c[1]*c[2]*c[3]^2*c[6] +95*c[1]*c[2]*c[3]*c[4]*c[5] +5*c[1]*c[2]*c[4]^3 +30*c[1]*c[3]^3*c[5] +10*c[1]*c[3]^2*c[4]^2 +24*c[2]^4*c[7] +38*c[2]^3*c[3]*c[6] +12*c[2]^3*c[4]*c[5] +25*c[2]^2*c[3]^2*c[5] +10*c[2]^2*c[3]*c[4]^2 +10*c[2]*c[3]^3*c[4] +c[3]^5 +40320*c[1]^3*c[12] +40224*c[1]^2*c[2]*c[11] +16552*c[1]^2*c[3]*c[10] +5356*c[1]^2*c[4]*c[9] +2768*c[1]^2*c[5]*c[8] +1580*c[1]^2*c[6]*c[7] +12768*c[1]*c[2]^2*c[10] +10256*c[1]*c[2]*c[3]*c[9] +3114*c[1]*c[2]*c[4]*c[8] +1550*c[1]*c[2]*c[5]*c[7] +604*c[1]*c[2]*c[6]^2 +2096*c[1]*c[3]^2*c[8] +1095*c[1]*c[3]*c[4]*c[7] +689*c[1]*c[3]*c[5]*c[6] +130*c[1]*c[4]^2*c[6] +98*c[1]*c[4]*c[5]^2 +1296*c[2]^3*c[9] +1536*c[2]^2*c[3]*c[8] +453*c[2]^2*c[4]*c[7] +229*c[2]^2*c[5]*c[6] +632*c[2]*c[3]^2*c[7] +344*c[2]*c[3]*c[4]*c[6] +99*c[2]*c[3]*c[5]^2 +41*c[2]*c[4]^2*c[5] +100*c[3]^3*c[6] +65*c[3]^2*c[4]*c[5] +5*c[3]*c[4]^3 +204480*c[1]^2*c[13] +141456*c[1]*c[2]*c[12] +59068*c[1]*c[3]*c[11] +20606*c[1]*c[4]*c[10] +9916*c[1]*c[5]*c[9] +5602*c[1]*c[6]*c[8] +1912*c[1]*c[7]^2 +23256*c[2]^2*c[11] +18834*c[2]*c[3]*c[10] +6117*c[2]*c[4]*c[9] +2775*c[2]*c[5]*c[8] +1850*c[2]*c[6]*c[7] +3811*c[3]^2*c[9] +2181*c[3]*c[4]*c[8] +1044*c[3]*c[5]*c[7] +499*c[3]*c[6]^2 +262*c[4]^2*c[7] +302*c[4]*c[5]*c[6] +29*c[5]^3 +443520*c[1]*c[14] +160224*c[2]*c[13] +68312*c[3]*c[12] +25548*c[4]*c[11] +11984*c[5]*c[10] +6672*c[6]*c[9] +3740*c[7]*c[8] +345600*c[15]

1022400*s[[13,1,1]] +1823520*s[[13,2]] +2217600*s[[14,1]] +1728000*s[[15]] +15442*s[[7,4,4]] +4880*s[[7,5,1,1,1]] +37418*s[[7,5,2,1]] +42889*s[[7,5,3]] +27372*s[[7,6,1,1]] +54352*s[[7,6,2]] +38564*s[[7,7,1]] +1680*s[[8,2,2,2,1]] +9254*s[[8,3,2,1,1]] +17570*s[[8,3,2,2]] +31136*s[[8,3,3,1]] +9524*s[[8,4,1,1,1]] +71502*s[[8,4,2,1]] +76169*s[[8,4,3]] +65444*s[[8,5,1,1]] +127244*s[[8,5,2]] +133764*s[[8,6,1]] +79168*s[[8,7]] +8520*s[[9,2,2,1,1]] +15000*s[[9,2,2,2]] +15196*s[[9,3,1,1,1]] +105840*s[[9,3,2,1]] +90475*s[[9,3,3]] +121860*s[[9,4,1,1]] +230808*s[[9,4,2]] +281284*s[[9,5,1]] +196496*s[[9,6]] +18480*s[[10,2,1,1,1]] +100800*s[[10,2,2,1]] +194264*s[[10,3,1,1]] +343490*s[[10,3,2]] +515000*s[[10,4,1]] +393832*s[[10,5]] +14400*s[[11,1,1,1,1]] +244320*s[[11,2,1,1]] +346200*s[[11,2,2]] +834596*s[[11,3,1]] +726752*s[[11,4]] +201600*s[[12,1,1,1]] +1110480*s[[12,2,1]] +1229704*s[[12,3]] +s[[3,3,3,3,3]] +14*s[[4,3,3,3,2]] +35*s[[4,4,3,2,2]] +56*s[[4,4,3,3,1]] +70*s[[4,4,4,2,1]] +84*s[[4,4,4,3]] +71*s[[5,3,3,2,2]] +125*s[[5,3,3,3,1]] +92*s[[5,4,2,2,2]] +573*s[[5,4,3,2,1]] +617*s[[5,4,3,3]] +381*s[[5,4,4,1,1]] +947*s[[5,4,4,2]] +430*s[[5,5,2,2,1]] +783*s[[5,5,3,1,1]] +1817*s[[5,5,3,2]] +2130*s[[5,5,4,1]] +972*s[[5,5,5]] +154*s[[6,3,2,2,2]] +840*s[[6,3,3,2,1]] +910*s[[6,3,3,3]] +1326*s[[6,4,2,2,1]] +2232*s[[6,4,3,1,1]] +5352*s[[6,4,3,2]] +4986*s[[6,4,4,1]] +2850*s[[6,5,2,1,1]] +5498*s[[6,5,2,2]] +12642*s[[6,5,3,1]] +9666*s[[6,5,4]] +1432*s[[6,6,1,1,1]] +11276*s[[6,6,2,1]] +13459*s[[6,6,3]] +120*s[[7,2,2,2,2]] +2036*s[[7,3,2,2,1]] +2885*s[[7,3,3,1,1]] +6839*s[[7,3,3,2]] +6146*s[[7,4,2,1,1]] +11954*s[[7,4,2,2]] +25619*s[[7,4,3,1]]

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

30*s[[7,4,4]] +28*s[[7,5,2,1]] +50*s[[7,5,3]] +24*s[[7,6,1,1]] +60*s[[7,6,2]] +40*s[[7,7,1]] +12*s[[8,4,2,1]] +30*s[[8,4,3]] +24*s[[8,5,1,1]] +72*s[[8,5,2]] +96*s[[8,6,1]] +64*s[[8,7]] +8*s[[9,4,1,1]] +28*s[[9,4,2]] +80*s[[9,5,1]] +96*s[[9,6]] +24*s[[10,4,1]] +64*s[[10,5]] +16*s[[11,4]] +2*s[[4,4,4,3]] +2*s[[5,4,3,3]] +6*s[[5,4,4,2]] +6*s[[5,5,3,2]] +6*s[[5,5,4,1]] +6*s[[6,4,3,2]] +14*s[[6,4,4,1]] +8*s[[6,5,2,2]] +20*s[[6,5,3,1]] +20*s[[6,5,4]] +16*s[[6,6,2,1]] +20*s[[6,6,3]] +4*s[[7,4,2,2]] +14*s[[7,4,3,1]]

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

s[[5,5,5]]

-144*c[1]^3*c[3]*c[10] +128*c[1]^3*c[4]*c[9] +52*c[1]^3*c[5]*c[8] -36*c[1]^3*c[6]*c[7] -156*c[1]^2*c[2]*c[3]*c[9] +162*c[1]^2*c[2]*c[4]*c[8] +24*c[1]^2*c[2]*c[5]*c[7] -30*c[1]^2*c[2]*c[6]^2 -52*c[1]^2*c[3]^2*c[8] +28*c[1]^2*c[3]*c[4]*c[7] -12*c[1]^2*c[3]*c[5]*c[6] +16*c[1]^2*c[4]^2*c[6] +20*c[1]^2*c[4]*c[5]^2 -54*c[1]*c[2]^2*c[3]*c[8] +67*c[1]*c[2]^2*c[4]*c[7] -13*c[1]*c[2]^2*c[5]*c[6] -33*c[1]*c[2]*c[3]^2*c[7] +19*c[1]*c[2]*c[3]*c[4]*c[6] -7*c[1]*c[2]*c[3]*c[5]^2 +21*c[1]*c[2]*c[4]^2*c[5] -6*c[1]*c[3]^3*c[6] +4*c[1]*c[3]^2*c[4]*c[5] +2*c[1]*c[3]*c[4]^3 -6*c[2]^3*c[3]*c[7] +9*c[2]^3*c[4]*c[6] -3*c[2]^3*c[5]^2 -5*c[2]^2*c[3]^2*c[6] +2*c[2]^2*c[3]*c[4]*c[5] +3*c[2]^2*c[4]^3 -2*c[2]*c[3]^3*c[5] +2*c[2]*c[3]^2*c[4]^2 -1296*c[1]^2*c[3]*c[11] +1096*c[1]^2*c[4]*c[10] +376*c[1]^2*c[5]*c[9] -88*c[1]^2*c[6]*c[8] -88*c[1]^2*c[7]^2 -972*c[1]*c[2]*c[3]*c[10] +938*c[1]*c[2]*c[4]*c[9] +120*c[1]*c[2]*c[5]*c[8] -86*c[1]*c[2]*c[6]*c[7] -348*c[1]*c[3]^2*c[9] +166*c[1]*c[3]*c[4]*c[8] -32*c[1]*c[3]*c[5]*c[7] -42*c[1]*c[3]*c[6]^2 +114*c[1]*c[4]^2*c[7] +124*c[1]*c[4]*c[5]*c[6] +18*c[1]*c[5]^3 -174*c[2]^2*c[3]*c[9] +197*c[2]^2*c[4]*c[8] -30*c[2]^2*c[5]*c[7] +7*c[2]^2*c[6]^2 -115*c[2]*c[3]^2*c[8] +66*c[2]*c[3]*c[4]*c[7] -28*c[2]*c[3]*c[5]*c[6] +59*c[2]*c[4]^2*c[6] +18*c[2]*c[4]*c[5]^2 -20*c[3]^3*c[7] +9*c[3]^2*c[4]*c[6] -2*c[3]^2*c[5]^2 +12*c[3]*c[4]^2*c[5] +c[4]^4 -3744*c[1]*c[3]*c[12] +3040*c[1]*c[4]*c[11] +880*c[1]*c[5]*c[10] +220*c[1]*c[6]*c[9] -396*c[1]*c[7]*c[8] -1464*c[2]*c[3]*c[11] +1324*c[2]*c[4]*c[10] +144*c[2]*c[5]*c[9] +140*c[2]*c[6]*c[8] -144*c[2]*c[7]^2 -560*c[3]^2*c[10] +232*c[3]*c[4]*c[9] -33*c[3]*c[5]*c[8] -79*c[3]*c[6]*c[7] +189*c[4]^2*c[8] +115*c[4]*c[5]*c[7] +87*c[4]*c[6]^2 +49*c[5]^2*c[6] -3456*c[3]*c[13] +2720*c[4]*c[12] +672*c[5]*c[11] +504*c[6]*c[10] -384*c[7]*c[9] -56*c[8]^2

2*s[[4,4,3,3,2]] +5*s[[4,4,4,2,2]] +9*s[[4,4,4,3,1]] +8*s[[4,4,4,4]] +12*s[[5,4,3,2,2]] +22*s[[5,4,3,3,1]] +63*s[[5,4,4,2,1]] +90*s[[5,4,4,3]] +4*s[[5,5,2,2,2]] +56*s[[5,5,3,2,1]] +72*s[[5,5,3,3]] +96*s[[5,5,4,1,1]] +226*s[[5,5,4,2]] +180*s[[5,5,5,1]] +16*s[[6,4,2,2,2]] +126*s[[6,4,3,2,1]] +154*s[[6,4,3,3]] +172*s[[6,4,4,1,1]] +463*s[[6,4,4,2]] +96*s[[6,5,2,2,1]] +242*s[[6,5,3,1,1]] +600*s[[6,5,3,2]] +1197*s[[6,5,4,1]] +693*s[[6,5,5]] +100*s[[6,6,2,1,1]] +272*s[[6,6,2,2]] +836*s[[6,6,3,1]] +1189*s[[6,6,4]] +164*s[[7,4,2,2,1]] +334*s[[7,4,3,1,1]] +852*s[[7,4,3,2]] +1494*s[[7,4,4,1]] +432*s[[7,5,2,1,1]] +868*s[[7,5,2,2]] +2516*s[[7,5,3,1]] +3047*s[[7,5,4]] +160*s[[7,6,1,1,1]] +1868*s[[7,6,2,1]] +3102*s[[7,6,3]] +568*s[[7,7,1,1]] +1448*s[[7,7,2]] +524*s[[8,4,2,1,1]] +1088*s[[8,4,2,2]] +2816*s[[8,4,3,1]] +3142*s[[8,4,4]] +512*s[[8,5,1,1,1]] +4320*s[[8,5,2,1]] +6110*s[[8,5,3]] +2552*s[[8,6,1,1]] +6140*s[[8,6,2]] +3120*s[[8,7,1]] +832*s[[8,8]] +520*s[[9,4,1,1,1]] +4464*s[[9,4,2,1]] +5978*s[[9,4,3]] +5232*s[[9,5,1,1]] +11000*s[[9,5,2]] +10064*s[[9,6,1]] +3952*s[[9,7]] +4832*s[[10,4,1,1]] +10196*s[[10,4,2]] +16592*s[[10,5,1]] +11200*s[[10,6]] +14312*s[[11,4,1]] +16352*s[[11,5]] +13456*s[[12,4]]

-8*c[1]^3*c[4]*c[9] -32*c[1]^3*c[5]*c[8] +40*c[1]^3*c[6]*c[7] -26*c[1]^2*c[2]*c[4]*c[8] -6*c[1]^2*c[2]*c[5]*c[7] +32*c[1]^2*c[2]*c[6]^2 -12*c[1]^2*c[3]^2*c[8] +9*c[1]^2*c[3]*c[4]*c[7] +7*c[1]^2*c[3]*c[5]*c[6] +3*c[1]^2*c[4]^2*c[6] -7*c[1]^2*c[4]*c[5]^2 -17*c[1]*c[2]^2*c[4]*c[7] +17*c[1]*c[2]^2*c[5]*c[6] -10*c[1]*c[2]*c[3]^2*c[7] +9*c[1]*c[2]*c[3]*c[4]*c[6] +5*c[1]*c[2]*c[3]*c[5]^2 -4*c[1]*c[2]*c[4]^2*c[5] -3*c[1]*c[3]^3*c[6] +2*c[1]*c[3]^2*c[4]*c[5] +c[1]*c[3]*c[4]^3 -3*c[2]^3*c[4]*c[6] +3*c[2]^3*c[5]^2 -2*c[2]^2*c[3]^2*c[6] +3*c[2]^2*c[3]*c[4]*c[5] -c[2]^2*c[4]^3 -c[2]*c[3]^3*c[5] +c[2]*c[3]^2*c[4]^2 -52*c[1]^2*c[4]*c[10] -186*c[1]^2*c[5]*c[9] +124*c[1]^2*c[6]*c[8] +114*c[1]^2*c[7]^2 -128*c[1]*c[2]*c[4]*c[9] +c[1]*c[2]*c[5]*c[8] +127*c[1]*c[2]*c[6]*c[7] -60*c[1]*c[3]^2*c[9] +36*c[1]*c[3]*c[4]*c[8] +20*c[1]*c[3]*c[5]*c[7] +20*c[1]*c[3]*c[6]^2 +8*c[1]*c[4]^2*c[7] -16*c[1]*c[4]*c[5]*c[6] -8*c[1]*c[5]^3 -45*c[2]^2*c[4]*c[8] +45*c[2]^2*c[5]*c[7] -26*c[2]*c[3]^2*c[8] +13*c[2]*c[3]*c[4]*c[7] +21*c[2]*c[3]*c[5]*c[6] -11*c[2]*c[4]^2*c[6] +3*c[2]*c[4]*c[5]^2 -9*c[3]^3*c[7] +3*c[3]^2*c[4]*c[6] +c[3]^2*c[5]^2 +5*c[3]*c[4]^2*c[5] -100*c[1]*c[4]*c[11] -306*c[1]*c[5]*c[10] -94*c[1]*c[6]*c[9] +500*c[1]*c[7]*c[8] -146*c[2]*c[4]*c[10] +53*c[2]*c[5]*c[9] -58*c[2]*c[6]*c[8] +151*c[2]*c[7]^2 -72*c[3]^2*c[10] +39*c[3]*c[4]*c[9] +25*c[3]*c[5]*c[8] +24*c[3]*c[6]*c[7] +5*c[4]^2*c[8] +26*c[4]*c[5]*c[7] -29*c[4]*c[6]^2 -18*c[5]^2*c[6] -56*c[4]*c[12] -124*c[5]*c[11] -364*c[6]*c[10] +412*c[7]*c[9] +132*c[8]^2

s[[4,4,3,3,2]] +2*s[[4,4,4,3,1]] +s[[4,4,4,4]] +3*s[[5,4,3,2,2]] +8*s[[5,4,3,3,1]] +6*s[[5,4,4,2,1]] +17*s[[5,4,4,3]] +6*s[[5,5,2,2,2]] +24*s[[5,5,3,2,1]] +28*s[[5,5,3,3]] +6*s[[5,5,4,1,1]] +45*s[[5,5,4,2]] +9*s[[5,5,5,1]] +2*s[[6,4,2,2,2]] +24*s[[6,4,3,2,1]] +41*s[[6,4,3,3]] +14*s[[6,4,4,1,1]] +49*s[[6,4,4,2]] +56*s[[6,5,2,2,1]] +70*s[[6,5,3,1,1]] +203*s[[6,5,3,2]] +150*s[[6,5,4,1]] +30*s[[6,5,5]] +116*s[[6,6,2,1,1]] +182*s[[6,6,2,2]] +349*s[[6,6,3,1]] +130*s[[6,6,4]] +16*s[[7,4,2,2,1]] +41*s[[7,4,3,1,1]] +123*s[[7,4,3,2]] +113*s[[7,4,4,1]] +134*s[[7,5,2,1,1]] +316*s[[7,5,2,2]] +569*s[[7,5,3,1]] +325*s[[7,5,4]] +188*s[[7,6,1,1,1]] +1148*s[[7,6,2,1]] +985*s[[7,6,3]] +812*s[[7,7,1,1]] +1450*s[[7,7,2]] +34*s[[8,4,2,1,1]] +82*s[[8,4,2,2]] +256*s[[8,4,3,1]] +179*s[[8,4,4]] +92*s[[8,5,1,1,1]] +918*s[[8,5,2,1]] +969*s[[8,5,3]] +1488*s[[8,6,1,1]] +2432*s[[8,6,2]] +3648*s[[8,7,1]] +1816*s[[8,8]] +20*s[[9,4,1,1,1]] +216*s[[9,4,2,1]] +367*s[[9,4,3]] +668*s[[9,5,1,1]] +1524*s[[9,5,2]] +3428*s[[9,6,1]] +4056*s[[9,7]] +136*s[[10,4,1,1]] +334*s[[10,4,2]] +1416*s[[10,5,1]] +2408*s[[10,6]] +268*s[[11,4,1]] +896*s[[11,5]] +152*s[[12,4]]

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

3*s[[5,5,5,1]] +10*s[[6,5,5]]

-576*c[1]^3*c[3]*c[11] +744*c[1]^3*c[4]*c[10] -140*c[1]^3*c[5]*c[9] -24*c[1]^3*c[6]*c[8] -4*c[1]^3*c[7]^2 -624*c[1]^2*c[2]*c[3]*c[10] +824*c[1]^2*c[2]*c[4]*c[9] -174*c[1]^2*c[2]*c[5]*c[8] -26*c[1]^2*c[2]*c[6]*c[7] -244*c[1]^2*c[3]^2*c[9] +234*c[1]^2*c[3]*c[4]*c[8] -124*c[1]^2*c[3]*c[5]*c[7] -30*c[1]^2*c[3]*c[6]^2 +128*c[1]^2*c[4]^2*c[7] +46*c[1]^2*c[4]*c[5]*c[6] -10*c[1]^2*c[5]^3 -216*c[1]*c[2]^2*c[3]*c[9] +294*c[1]*c[2]^2*c[4]*c[8] -72*c[1]*c[2]^2*c[5]*c[7] -6*c[1]*c[2]^2*c[6]^2 -162*c[1]*c[2]*c[3]^2*c[8] +167*c[1]*c[2]*c[3]*c[4]*c[7] -103*c[1]*c[2]*c[3]*c[5]*c[6] +89*c[1]*c[2]*c[4]^2*c[6] +9*c[1]*c[2]*c[4]*c[5]^2 -29*c[1]*c[3]^3*c[7] +20*c[1]*c[3]^2*c[4]*c[6] -23*c[1]*c[3]^2*c[5]^2 +29*c[1]*c[3]*c[4]^2*c[5] +3*c[1]*c[4]^4 -24*c[2]^3*c[3]*c[8] +34*c[2]^3*c[4]*c[7] -10*c[2]^3*c[5]*c[6] -26*c[2]^2*c[3]^2*c[7] +29*c[2]^2*c[3]*c[4]*c[6] -17*c[2]^2*c[3]*c[5]^2 +14*c[2]^2*c[4]^2*c[5] -9*c[2]*c[3]^3*c[6] +9*c[2]*c[3]*c[4]^3 -2*c[3]^4*c[5] +2*c[3]^3*c[4]^2 -5184*c[1]^2*c[3]*c[12] +6624*c[1]^2*c[4]*c[11] -1248*c[1]^2*c[5]*c[10] -132*c[1]^2*c[6]*c[9] -60*c[1]^2*c[7]*c[8] -3888*c[1]*c[2]*c[3]*c[11] +5052*c[1]*c[2]*c[4]*c[10] -1044*c[1]*c[2]*c[5]*c[9] -84*c[1]*c[2]*c[6]*c[8] -36*c[1]*c[2]*c[7]^2 -1572*c[1]*c[3]^2*c[10] +1436*c[1]*c[3]*c[4]*c[9] -761*c[1]*c[3]*c[5]*c[8] -243*c[1]*c[3]*c[6]*c[7] +827*c[1]*c[4]^2*c[8] +265*c[1]*c[4]*c[5]*c[7] +145*c[1]*c[4]*c[6]^2 -97*c[1]*c[5]^2*c[6] -696*c[2]^2*c[3]*c[10] +926*c[2]^2*c[4]*c[9] -216*c[2]^2*c[5]*c[8] -14*c[2]^2*c[6]*c[7] -538*c[2]*c[3]^2*c[9] +525*c[2]*c[3]*c[4]*c[8] -298*c[2]*c[3]*c[5]*c[7] -43*c[2]*c[3]*c[6]^2 +285*c[2]*c[4]^2*c[7] +89*c[2]*c[4]*c[5]*c[6] -20*c[2]*c[5]^3 -99*c[3]^3*c[8] +65*c[3]^2*c[4]*c[7] -84*c[3]^2*c[5]*c[6] +97*c[3]*c[4]^2*c[6] +2*c[3]*c[4]*c[5]^2 +19*c[4]^3*c[5] -14976*c[1]*c[3]*c[13] +18984*c[1]*c[4]*c[12] -3580*c[1]*c[5]*c[11] -220*c[1]*c[6]*c[10] -164*c[1]*c[7]*c[9] -44*c[1]*c[8]^2 -5856*c[2]*c[3]*c[12] +7516*c[2]*c[4]*c[11] -1526*c[2]*c[5]*c[10] -54*c[2]*c[6]*c[9] -80*c[2]*c[7]*c[8] -2456*c[3]^2*c[11] +2146*c[3]*c[4]*c[10] -1165*c[3]*c[5]*c[9] -298*c[3]*c[6]*c[8] -139*c[3]*c[7]^2 +1319*c[4]^2*c[9] +398*c[4]*c[5]*c[8] +382*c[4]*c[6]*c[7] -128*c[5]^2*c[7] -59*c[5]*c[6]^2 -13824*c[3]*c[14] +17424*c[4]*c[13] -3288*c[5]*c[12] -104*c[6]*c[11] -152*c[7]*c[10] -56*c[8]*c[9]

14220*s[[9,5,2,1]] +19550*s[[9,5,3]] +7728*s[[9,6,1,1]] +16756*s[[9,6,2]] +10088*s[[9,7,1]] +3616*s[[9,8]] +2232*s[[10,4,1,1,1]] +19440*s[[10,4,2,1]] +26530*s[[10,4,3]] +15480*s[[10,5,1,1]] +32924*s[[10,5,2]] +24808*s[[10,6,1]] +10736*s[[10,7]] +20304*s[[11,4,1,1]] +43140*s[[11,4,2]] +46392*s[[11,5,1]] +24528*s[[11,6]] +59112*s[[12,4,1]] +43920*s[[12,5]] +54864*s[[13,4]] +84*s[[7,4,2,2,2]] +720*s[[7,4,3,2,1]] +960*s[[7,4,3,3]] +959*s[[7,4,4,1,1]] +2695*s[[7,4,4,2]] +492*s[[7,5,2,2,1]] +1052*s[[7,5,3,1,1]] +2752*s[[7,5,3,2]] +4957*s[[7,5,4,1]] +1630*s[[7,5,5]] +628*s[[7,6,2,1,1]] +1352*s[[7,6,2,2]] +3776*s[[7,6,3,1]] +4559*s[[7,6,4]] +176*s[[7,7,1,1,1]] +1708*s[[7,7,2,1]] +2550*s[[7,7,3]] +792*s[[8,4,2,2,1]] +1670*s[[8,4,3,1,1]] +4378*s[[8,4,3,2]] +7552*s[[8,4,4,1]] +1624*s[[8,5,2,1,1]] +3416*s[[8,5,2,2]] +9134*s[[8,5,3,1]] +10499*s[[8,5,4]] +728*s[[8,6,1,1,1]] +6568*s[[8,6,2,1]] +9410*s[[8,6,3]] +2712*s[[8,7,1,1]] +6100*s[[8,7,2]] +2512*s[[8,8,1]] +2364*s[[9,4,2,1,1]] +4980*s[[9,4,2,2]] +13176*s[[9,4,3,1]] +14697*s[[9,4,4]] +1632*s[[9,5,1,1,1]] +2*s[[4,4,3,3,3]] +13*s[[4,4,4,3,2]] +14*s[[4,4,4,4,1]] +24*s[[5,4,3,3,2]] +47*s[[5,4,4,2,2]] +118*s[[5,4,4,3,1]] +116*s[[5,4,4,4]] +30*s[[5,5,3,2,2]] +60*s[[5,5,3,3,1]] +168*s[[5,5,4,2,1]] +276*s[[5,5,4,3]] +48*s[[5,5,5,1,1]] +136*s[[5,5,5,2]] +82*s[[6,4,3,2,2]] +170*s[[6,4,3,3,1]] +434*s[[6,4,4,2,1]] +725*s[[6,4,4,3]] +44*s[[6,5,2,2,2]] +382*s[[6,5,3,2,1]] +506*s[[6,5,3,3]] +540*s[[6,5,4,1,1]] +1511*s[[6,5,4,2]] +653*s[[6,5,5,1]] +132*s[[6,6,2,2,1]] +302*s[[6,6,3,1,1]] +802*s[[6,6,3,2]] +1513*s[[6,6,4,1]] +606*s[[6,6,5]]

-24*c[1]^3*c[4]*c[10] -92*c[1]^3*c[5]*c[9] +168*c[1]^3*c[6]*c[8] -52*c[1]^3*c[7]^2 -80*c[1]^2*c[2]*c[4]*c[9] +10*c[1]^2*c[2]*c[5]*c[8] +70*c[1]^2*c[2]*c[6]*c[7] -36*c[1]^2*c[3]^2*c[9] +50*c[1]^2*c[3]*c[4]*c[8] -72*c[1]^2*c[3]*c[5]*c[7] +70*c[1]^2*c[3]*c[6]^2 -20*c[1]^2*c[4]^2*c[7] +14*c[1]^2*c[4]*c[5]*c[6] -6*c[1]^2*c[5]^3 -54*c[1]*c[2]^2*c[4]*c[8] +48*c[1]*c[2]^2*c[5]*c[7] +6*c[1]*c[2]^2*c[6]^2 -30*c[1]*c[2]*c[3]^2*c[8] +11*c[1]*c[2]*c[3]*c[4]*c[7] +29*c[1]*c[2]*c[3]*c[5]*c[6] -15*c[1]*c[2]*c[4]^2*c[6] +5*c[1]*c[2]*c[4]*c[5]^2 -17*c[1]*c[3]^3*c[7] +28*c[1]*c[3]^2*c[4]*c[6] -11*c[1]*c[3]^2*c[5]^2 +c[1]*c[3]*c[4]^2*c[5] -c[1]*c[4]^4 -10*c[2]^3*c[4]*c[7] +10*c[2]^3*c[5]*c[6] -6*c[2]^2*c[3]^2*c[7] -5*c[2]^2*c[3]*c[4]*c[6] +13*c[2]^2*c[3]*c[5]^2 -2*c[2]^2*c[4]^2*c[5] -7*c[2]*c[3]^3*c[6] +8*c[2]*c[3]^2*c[4]*c[5] -c[2]*c[3]*c[4]^3 -2*c[3]^4*c[5] +2*c[3]^3*c[4]^2 -144*c[1]^2*c[4]*c[11] -504*c[1]^2*c[5]*c[10] +684*c[1]^2*c[6]*c[9] -36*c[1]^2*c[7]*c[8] -372*c[1]*c[2]*c[4]*c[10] +200*c[1]*c[2]*c[5]*c[9] +12*c[1]*c[2]*c[6]*c[8] +160*c[1]*c[2]*c[7]^2 -180*c[1]*c[3]^2*c[10] +264*c[1]*c[3]*c[4]*c[9] -219*c[1]*c[3]*c[5]*c[8] +195*c[1]*c[3]*c[6]*c[7] -75*c[1]*c[4]^2*c[8] -25*c[1]*c[4]*c[5]*c[7] +51*c[1]*c[4]*c[6]^2 -11*c[1]*c[5]^2*c[6] -134*c[2]^2*c[4]*c[9] +164*c[2]^2*c[5]*c[8] -30*c[2]^2*c[6]*c[7] -78*c[2]*c[3]^2*c[9] +41*c[2]*c[3]*c[4]*c[8] +118*c[2]*c[3]*c[5]*c[7] -55*c[2]*c[3]*c[6]^2 -33*c[2]*c[4]^2*c[7] -7*c[2]*c[4]*c[5]*c[6] +14*c[2]*c[5]^3 -43*c[3]^3*c[8] +67*c[3]^2*c[4]*c[7] -30*c[3]^2*c[5]*c[6] +11*c[3]*c[4]^2*c[6] -5*c[4]^3*c[5] -264*c[1]*c[4]*c[12] -772*c[1]*c[5]*c[11] +212*c[1]*c[6]*c[10] +1348*c[1]*c[7]*c[9] -524*c[1]*c[8]^2 -412*c[2]*c[4]*c[11] +430*c[2]*c[5]*c[10] -510*c[2]*c[6]*c[9] +492*c[2]*c[7]*c[8] -216*c[3]^2*c[11] +334*c[3]*c[4]*c[10] -115*c[3]*c[5]*c[9] -286*c[3]*c[6]*c[8] +355*c[3]*c[7]^2 -67*c[4]^2*c[9] -90*c[4]*c[5]*c[8] +86*c[4]*c[6]*c[7] +48*c[5]^2*c[7] -49*c[5]*c[6]^2 -144*c[4]*c[13] -264*c[5]*c[12] -968*c[6]*c[11] +2008*c[7]*c[10] -632*c[8]*c[9]

3060*s[[9,5,2,1]] +2966*s[[9,5,3]] +4704*s[[9,6,1,1]] +7180*s[[9,6,2]] +10088*s[[9,7,1]] +3616*s[[9,8]] +72*s[[10,4,1,1,1]] +720*s[[10,4,2,1]] +1150*s[[10,4,3]] +2088*s[[10,5,1,1]] +4556*s[[10,5,2]] +9688*s[[10,6,1]] +10736*s[[10,7]] +432*s[[11,4,1,1]] +1020*s[[11,4,2]] +4056*s[[11,5,1]] +6384*s[[11,6]] +792*s[[12,4,1]] +2448*s[[12,5]] +432*s[[13,4]] +12*s[[7,4,2,2,2]] +120*s[[7,4,3,2,1]] +180*s[[7,4,3,3]] +81*s[[7,4,4,1,1]] +225*s[[7,4,4,2]] +276*s[[7,5,2,2,1]] +368*s[[7,5,3,1,1]] +892*s[[7,5,3,2]] +927*s[[7,5,4,1]] +450*s[[7,5,5]] +628*s[[7,6,2,1,1]] +848*s[[7,6,2,2]] +2180*s[[7,6,3,1]] +1605*s[[7,6,4]] +176*s[[7,7,1,1,1]] +1708*s[[7,7,2,1]] +2550*s[[7,7,3]] +72*s[[8,4,2,2,1]] +170*s[[8,4,3,1,1]] +478*s[[8,4,3,2]] +432*s[[8,4,4,1]] +544*s[[8,5,2,1,1]] +1184*s[[8,5,2,2]] +2066*s[[8,5,3,1]] +1407*s[[8,5,4]] +728*s[[8,6,1,1,1]] +4048*s[[8,6,2,1]] +3950*s[[8,6,3]] +2712*s[[8,7,1,1]] +6100*s[[8,7,2]] +2512*s[[8,8,1]] +132*s[[9,4,2,1,1]] +300*s[[9,4,2,2]] +888*s[[9,4,3,1]] +567*s[[9,4,4]] +336*s[[9,5,1,1,1]] +2*s[[4,4,3,3,3]] +3*s[[4,4,4,3,2]] +12*s[[5,4,3,3,2]] +9*s[[5,4,4,2,2]] +18*s[[5,4,4,3,1]] +30*s[[5,5,3,2,2]] +24*s[[5,5,3,3,1]] +54*s[[5,5,4,2,1]] +36*s[[5,5,4,3]] +12*s[[5,5,5,1,1]] +60*s[[5,5,5,2]] +22*s[[6,4,3,2,2]] +50*s[[6,4,3,3,1]] +54*s[[6,4,4,2,1]] +75*s[[6,4,4,3]] +44*s[[6,5,2,2,2]] +202*s[[6,5,3,2,1]] +134*s[[6,5,3,3]] +150*s[[6,5,4,1,1]] +333*s[[6,5,4,2]] +215*s[[6,5,5,1]] +132*s[[6,6,2,2,1]] +302*s[[6,6,3,1,1]] +382*s[[6,6,3,2]] +603*s[[6,6,4,1]] +210*s[[6,6,5]]

-16*c[1]^3*c[4]*c[10] +16*c[1]^3*c[6]*c[8] -28*c[1]^2*c[2]*c[4]*c[9] +16*c[1]^2*c[2]*c[5]*c[8] +12*c[1]^2*c[2]*c[6]*c[7] -22*c[1]^2*c[3]*c[4]*c[8] +4*c[1]^2*c[3]*c[5]*c[7] +2*c[1]^2*c[3]*c[6]^2 +10*c[1]^2*c[4]^2*c[7] +10*c[1]^2*c[4]*c[5]*c[6] -4*c[1]^2*c[5]^3 -14*c[1]*c[2]^2*c[4]*c[8] +12*c[1]*c[2]^2*c[5]*c[7] +2*c[1]*c[2]^2*c[6]^2 -20*c[1]*c[2]*c[3]*c[4]*c[7] +8*c[1]*c[2]*c[3]*c[5]*c[6] +10*c[1]*c[2]*c[4]^2*c[6] +2*c[1]*c[2]*c[4]*c[5]^2 -6*c[1]*c[3]^2*c[4]*c[6] +4*c[1]*c[3]*c[4]^2*c[5] +2*c[1]*c[4]^4 -2*c[2]^3*c[4]*c[7] +2*c[2]^3*c[5]*c[6] -4*c[2]^2*c[3]*c[4]*c[6] +2*c[2]^2*c[3]*c[5]^2 +2*c[2]^2*c[4]^2*c[5] -2*c[2]*c[3]^2*c[4]*c[5] +2*c[2]*c[3]*c[4]^3 -104*c[1]^2*c[4]*c[11] -28*c[1]^2*c[5]*c[10] +108*c[1]^2*c[6]*c[9] +24*c[1]^2*c[7]*c[8] -136*c[1]*c[2]*c[4]*c[10] +58*c[1]*c[2]*c[5]*c[9] +64*c[1]*c[2]*c[6]*c[8] +14*c[1]*c[2]*c[7]^2 -112*c[1]*c[3]*c[4]*c[9] +6*c[1]*c[3]*c[5]*c[8] +18*c[1]*c[3]*c[6]*c[7] +50*c[1]*c[4]^2*c[8] +30*c[1]*c[4]*c[5]*c[7] +22*c[1]*c[4]*c[6]^2 -14*c[1]*c[5]^2*c[6] -38*c[2]^2*c[4]*c[9] +28*c[2]^2*c[5]*c[8] +10*c[2]^2*c[6]*c[7] -56*c[2]*c[3]*c[4]*c[8] +12*c[2]*c[3]*c[5]*c[7] +8*c[2]*c[3]*c[6]^2 +24*c[2]*c[4]^2*c[7] +8*c[2]*c[4]*c[5]*c[6] +4*c[2]*c[5]^3 -18*c[3]^2*c[4]*c[7] +6*c[3]*c[4]^2*c[6] +2*c[3]*c[4]*c[5]^2 +10*c[4]^3*c[5] -200*c[1]*c[4]*c[12] -124*c[1]*c[5]*c[11] +200*c[1]*c[6]*c[10] +124*c[1]*c[7]*c[9] -148*c[2]*c[4]*c[11] +46*c[2]*c[5]*c[10] +62*c[2]*c[6]*c[9] +40*c[2]*c[7]*c[8] -130*c[3]*c[4]*c[10] -6*c[3]*c[5]*c[9] +26*c[3]*c[6]*c[8] -2*c[3]*c[7]^2 +64*c[4]^2*c[9] +14*c[4]*c[5]*c[8] +48*c[4]*c[6]*c[7] +8*c[5]^2*c[7] -22*c[5]*c[6]^2 -112*c[4]*c[13] -136*c[5]*c[12] +96*c[6]*c[11] +144*c[7]*c[10] +8*c[8]*c[9]

1404*s[[9,5,2,1]] +2008*s[[9,5,3]] +1640*s[[9,6,1,1]] +3424*s[[9,6,2]] +3656*s[[9,7,1]] +1952*s[[9,8]] +40*s[[10,4,1,1,1]] +432*s[[10,4,2,1]] +734*s[[10,4,3]] +1064*s[[10,5,1,1]] +2380*s[[10,5,2]] +4024*s[[10,6,1]] +3296*s[[10,7]] +272*s[[11,4,1,1]] +668*s[[11,4,2]] +2296*s[[11,5,1]] +3024*s[[11,6]] +536*s[[12,4,1]] +1488*s[[12,5]] +304*s[[13,4]] +4*s[[7,4,2,2,2]] +48*s[[7,4,3,2,1]] +82*s[[7,4,3,3]] +86*s[[7,4,4,1,1]] +276*s[[7,4,4,2]] +80*s[[7,5,2,2,1]] +174*s[[7,5,3,1,1]] +516*s[[7,5,3,2]] +836*s[[7,5,4,1]] +410*s[[7,5,5]] +196*s[[7,6,2,1,1]] +444*s[[7,6,2,2]] +1084*s[[7,6,3,1]] +1060*s[[7,6,4]] +88*s[[7,7,1,1,1]] +752*s[[7,7,2,1]] +930*s[[7,7,3]] +32*s[[8,4,2,2,1]] +82*s[[8,4,3,1,1]] +246*s[[8,4,3,2]] +542*s[[8,4,4,1]] +200*s[[8,5,2,1,1]] +468*s[[8,5,2,2]] +1258*s[[8,5,3,1]] +1378*s[[8,5,4]] +192*s[[8,6,1,1,1]] +1724*s[[8,6,2,1]] +2204*s[[8,6,3]] +1176*s[[8,7,1,1]] +2380*s[[8,7,2]] +1392*s[[8,8,1]] +68*s[[9,4,2,1,1]] +164*s[[9,4,2,2]] +512*s[[9,4,3,1]] +760*s[[9,4,4]] +144*s[[9,5,1,1,1]] +2*s[[4,4,4,3,2]] +4*s[[4,4,4,4,1]] +2*s[[5,4,3,3,2]] +6*s[[5,4,4,2,2]] +20*s[[5,4,4,3,1]] +30*s[[5,4,4,4]] +6*s[[5,5,3,2,2]] +16*s[[5,5,3,3,1]] +36*s[[5,5,4,2,1]] +78*s[[5,5,4,3]] +12*s[[5,5,5,1,1]] +54*s[[5,5,5,2]] +6*s[[6,4,3,2,2]] +16*s[[6,4,3,3,1]] +52*s[[6,4,4,2,1]] +112*s[[6,4,4,3]] +8*s[[6,5,2,2,2]] +80*s[[6,5,3,2,1]] +130*s[[6,5,3,3]] +100*s[[6,5,4,1,1]] +330*s[[6,5,4,2]] +198*s[[6,5,5,1]] +48*s[[6,6,2,2,1]] +92*s[[6,6,3,1,1]] +270*s[[6,6,3,2]] +398*s[[6,6,4,1]] +200*s[[6,6,5]]

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

s[[5,5,5,1,1]] +4*s[[6,5,5,1]] +10*s[[6,6,5]] +5*s[[7,5,5]]

86400*c[1]^5*c[13] +125280*c[1]^4*c[2]*c[12] +45816*c[1]^4*c[3]*c[11] +14428*c[1]^4*c[4]*c[10] +7064*c[1]^4*c[5]*c[9] +3284*c[1]^4*c[6]*c[8] +1408*c[1]^4*c[7]^2 +69600*c[1]^3*c[2]^2*c[11] +49432*c[1]^3*c[2]*c[3]*c[10] +14544*c[1]^3*c[2]*c[4]*c[9] +7012*c[1]^3*c[2]*c[5]*c[8] +3868*c[1]^3*c[2]*c[6]*c[7] +8686*c[1]^3*c[3]^2*c[9] +4506*c[1]^3*c[3]*c[4]*c[8] +2496*c[1]^3*c[3]*c[5]*c[7] +706*c[1]^3*c[3]*c[6]^2 +520*c[1]^3*c[4]^2*c[7] +544*c[1]^3*c[4]*c[5]*c[6] +86*c[1]^3*c[5]^3 +18600*c[1]^2*c[2]^3*c[10] +19358*c[1]^2*c[2]^2*c[3]*c[9] +5393*c[1]^2*c[2]^2*c[4]*c[8] +2594*c[1]^2*c[2]^2*c[5]*c[7] +919*c[1]^2*c[2]^2*c[6]^2 +6737*c[1]^2*c[2]*c[3]^2*c[8] +3354*c[1]^2*c[2]*c[3]*c[4]*c[7] +1890*c[1]^2*c[2]*c[3]*c[5]*c[6] +378*c[1]^2*c[2]*c[4]^2*c[6] +269*c[1]^2*c[2]*c[4]*c[5]^2 +818*c[1]^2*c[3]^3*c[7] +514*c[1]^2*c[3]^2*c[4]*c[6] +247*c[1]^2*c[3]^2*c[5]^2 +126*c[1]^2*c[3]*c[4]^2*c[5] +3*c[1]^2*c[4]^4 +2400*c[1]*c[2]^4*c[9] +3272*c[1]*c[2]^3*c[3]*c[8] +884*c[1]*c[2]^3*c[4]*c[7] +450*c[1]*c[2]^3*c[5]*c[6] +1704*c[1]*c[2]^2*c[3]^2*c[7] +861*c[1]*c[2]^2*c[3]*c[4]*c[6] +280*c[1]*c[2]^2*c[3]*c[5]^2 +109*c[1]*c[2]^2*c[4]^2*c[5] +425*c[1]*c[2]*c[3]^3*c[6] +315*c[1]*c[2]*c[3]^2*c[4]*c[5] +30*c[1]*c[2]*c[3]*c[4]^3 +50*c[1]*c[3]^4*c[5] +20*c[1]*c[3]^3*c[4]^2 +120*c[2]^5*c[8] +202*c[2]^4*c[3]*c[7] +55*c[2]^4*c[4]*c[6] +17*c[2]^4*c[5]^2 +141*c[2]^3*c[3]^2*c[6] +79*c[2]^3*c[3]*c[4]*c[5] +5*c[2]^3*c[4]^3 +55*c[2]^2*c[3]^3*c[5] +30*c[2]^2*c[3]^2*c[4]^2 +15*c[2]*c[3]^4*c[4] +c[3]^6 +1728000*c[1]^4*c[14] +2073600*c[1]^3*c[2]*c[13] +770880*c[1]^3*c[3]*c[12] +257696*c[1]^3*c[4]*c[11] +120776*c[1]^3*c[5]*c[10] +57244*c[1]^3*c[6]*c[9] +36124*c[1]^3*c[7]*c[8] +890880*c[1]^2*c[2]^2*c[12] +640304*c[1]^2*c[2]*c[3]*c[11] +199724*c[1]^2*c[2]*c[4]*c[10] +90902*c[1]^2*c[2]*c[5]*c[9] +46936*c[1]^2*c[2]*c[6]*c[8] +17198*c[1]^2*c[2]*c[7]^2 +112724*c[1]^2*c[3]^2*c[10] +62936*c[1]^2*c[3]*c[4]*c[9] +30149*c[1]^2*c[3]*c[5]*c[8] +16395*c[1]^2*c[3]*c[6]*c[7] +7609*c[1]^2*c[4]^2*c[8] +6973*c[1]^2*c[4]*c[5]*c[7] +2243*c[1]^2*c[4]*c[6]^2 +1907*c[1]^2*c[5]^2*c[6] +163200*c[1]*c[2]^3*c[11] +171136*c[1]*c[2]^2*c[3]*c[10] +50218*c[1]*c[2]^2*c[4]*c[9] +22175*c[1]*c[2]^2*c[5]*c[8] +13119*c[1]*c[2]^2*c[6]*c[7] +59312*c[1]*c[2]*c[3]^2*c[9] +31283*c[1]*c[2]*c[3]*c[4]*c[8] +14532*c[1]*c[2]*c[3]*c[5]*c[7] +5487*c[1]*c[2]*c[3]*c[6]^2 +3570*c[1]*c[2]*c[4]^2*c[7] +3584*c[1]*c[2]*c[4]*c[5]*c[6] +376*c[1]*c[2]*c[5]^3 +7012*c[1]*c[3]^3*c[8] +4787*c[1]*c[3]^2*c[4]*c[7] +2835*c[1]*c[3]^2*c[5]*c[6] +988*c[1]*c[3]*c[4]^2*c[6] +714*c[1]*c[3]*c[4]*c[5]^2 +72*c[1]*c[4]^3*c[5] +10800*c[2]^4*c[10] +14772*c[2]^3*c[3]*c[9] +4140*c[2]^3*c[4]*c[8] +1815*c[2]^3*c[5]*c[7] +659*c[2]^3*c[6]^2 +7612*c[2]^2*c[3]^2*c[8] +3920*c[2]^2*c[3]*c[4]*c[7] +1863*c[2]^2*c[3]*c[5]*c[6] +451*c[2]^2*c[4]^2*c[6] +252*c[2]^2*c[4]*c[5]^2 +1825*c[2]*c[3]^3*c[7] +1302*c[2]*c[3]^2*c[4]*c[6] +360*c[2]*c[3]^2*c[5]^2 +273*c[2]*c[3]*c[4]^2*c[5] +6*c[2]*c[4]^4 +190*c[3]^4*c[6] +145*c[3]^3*c[4]*c[5] +15*c[3]^2*c[4]^3 +13392000*c[1]^3*c[15] +12506400*c[1]^2*c[2]*c[14] +4745640*c[1]^2*c[3]*c[13] +1677308*c[1]^2*c[4]*c[12] +770892*c[1]^2*c[5]*c[11] +371752*c[1]^2*c[6]*c[10] +197964*c[1]^2*c[7]*c[9] +80124*c[1]^2*c[8]^2 +3703200*c[1]*c[2]^2*c[13] +2704232*c[1]*c[2]*c[3]*c[12] +891912*c[1]*c[2]*c[4]*c[11] +395444*c[1]*c[2]*c[5]*c[10] +198876*c[1]*c[2]*c[6]*c[9] +118112*c[1]*c[2]*c[7]*c[8] +479570*c[1]*c[3]^2*c[11] +286476*c[1]*c[3]*c[4]*c[10] +127260*c[1]*c[3]*c[5]*c[9] +67752*c[1]*c[3]*c[6]*c[8] +22684*c[1]*c[3]*c[7]^2 +37006*c[1]*c[4]^2*c[9] +31304*c[1]*c[4]*c[5]*c[8] +16792*c[1]*c[4]*c[6]*c[7] +6534*c[1]*c[5]^2*c[7] +5006*c[1]*c[5]*c[6]^2 +349560*c[2]^3*c[12] +370794*c[2]^2*c[3]*c[11] +114705*c[2]^2*c[4]*c[10] +48731*c[2]^2*c[5]*c[9] +26239*c[2]^2*c[6]*c[8] +9907*c[2]^2*c[7]^2 +128723*c[2]*c[3]^2*c[10] +72149*c[2]*c[3]*c[4]*c[9] +30395*c[2]*c[3]*c[5]*c[8] +19326*c[2]*c[3]*c[6]*c[7] +8683*c[2]*c[4]^2*c[8] +7280*c[2]*c[4]*c[5]*c[7] +2829*c[2]*c[4]*c[6]^2 +1711*c[2]*c[5]^2*c[6] +14982*c[3]^3*c[9] +11123*c[3]^2*c[4]*c[8] +4984*c[3]^2*c[5]*c[7] +2300*c[3]^2*c[6]^2 +2314*c[3]*c[4]^2*c[7] +2498*c[3]*c[4]*c[5]*c[6] +230*c[3]*c[5]^3 +148*c[4]^3*c[6] +149*c[4]^2*c[5]^2 +50112000*c[1]^2*c[16] +32486400*c[1]*c[2]*c[15] +12635520*c[1]*c[3]*c[14] +4706536*c[1]*c[4]*c[13] +2154876*c[1]*c[5]*c[12] +1051480*c[1]*c[6]*c[11] +519360*c[1]*c[7]*c[10] +342148*c[1]*c[8]*c[9] +4987200*c[2]^2*c[14] +3715168*c[2]*c[3]*c[13] +1292140*c[2]*c[4]*c[12] +569102*c[2]*c[5]*c[11] +283328*c[2]*c[6]*c[10] +149634*c[2]*c[7]*c[9] +55812*c[2]*c[8]^2 +667084*c[3]^2*c[12] +423922*c[3]*c[4]*c[11] +182373*c[3]*c[5]*c[10] +95217*c[3]*c[6]*c[9] +51536*c[3]*c[7]*c[8] +58731*c[4]^2*c[10] +47637*c[4]*c[5]*c[9] +24146*c[4]*c[6]*c[8] +7701*c[4]*c[7]^2 +9038*c[5]^2*c[8] +10356*c[5]*c[6]*c[7] +1555*c[6]^3 +90201600*c[1]*c[17] +30568320*c[2]*c[16] +12240864*c[3]*c[15] +4793760*c[4]*c[14] +2208968*c[5]*c[13] +1086160*c[6]*c[12] +523200*c[7]*c[11] +295952*c[8]*c[10] +122776*c[9]^2 +62208000*c[18]

41365948*s[[11,4,2,1]] +35985320*s[[11,4,3]] +35956844*s[[11,5,1,1]] +59025112*s[[11,5,2]] +59437868*s[[11,6,1]] +34018664*s[[11,7]] +751680*s[[12,2,1,1,1,1]] +7600320*s[[12,2,2,1,1]] +8946000*s[[12,2,2,2]] +12695040*s[[12,3,1,1,1]] +55510560*s[[12,3,2,1]] +38145520*s[[12,3,3]] +60646032*s[[12,4,1,1]] +96407360*s[[12,4,2]] +109560256*s[[12,5,1]] +66820424*s[[12,6]] +518400*s[[13,1,1,1,1,1]] +14515200*s[[13,2,1,1,1]] +49694400*s[[13,2,2,1]] +89696880*s[[13,3,1,1]] +132567120*s[[13,3,2]] +186654384*s[[13,4,1]] +123878160*s[[13,5]] +10368000*s[[14,1,1,1,1]] +106142400*s[[14,2,1,1]] +125697600*s[[14,2,2]] +283812480*s[[14,3,1]] +216290592*s[[14,4]] +80352000*s[[15,1,1,1]] +355622400*s[[15,2,1]] +346296384*s[[15,3]] +300672000*s[[16,1,1]] +484081920*s[[16,2]] +541209600*s[[17,1]] +373248000*s[[18]] +1826244*s[[9,4,2,2,1]] +2874060*s[[9,4,3,1,1]] +4687011*s[[9,4,3,2]] +4279891*s[[9,4,4,1]] +271684*s[[9,5,1,1,1,1]] +4019652*s[[9,5,2,1,1]] +5339258*s[[9,5,2,2]] +11329157*s[[9,5,3,1]] +7410452*s[[9,5,4]] +2694888*s[[9,6,1,1,1]] +13551614*s[[9,6,2,1]] +13298355*s[[9,6,3]] +9125768*s[[9,7,1,1]] +15379826*s[[9,7,2]] +12078612*s[[9,8,1]] +4502568*s[[9,9]] +111600*s[[10,2,2,2,1,1]] +176400*s[[10,2,2,2,2]] +493920*s[[10,3,2,1,1,1]] +2342880*s[[10,3,2,2,1]] +2997680*s[[10,3,3,1,1]] +4752020*s[[10,3,3,2]] +463680*s[[10,4,1,1,1,1]] +6614272*s[[10,4,2,1,1]] +8664970*s[[10,4,2,2]] +17126662*s[[10,4,3,1]] +8704038*s[[10,4,4]] +5158496*s[[10,5,1,1,1]] +25416818*s[[10,5,2,1]] +23997960*s[[10,5,3]] +19327140*s[[10,6,1,1]] +32283798*s[[10,6,2]] +29632084*s[[10,7,1]] +15637944*s[[10,8]] +417600*s[[11,2,2,1,1,1]] +1814400*s[[11,2,2,2,1]] +672336*s[[11,3,1,1,1,1]] +8788464*s[[11,3,2,1,1]] +11157300*s[[11,3,2,2]] +17853836*s[[11,3,3,1]] +8707104*s[[11,4,1,1,1]] +1759149*s[[7,6,4,1]] +963340*s[[7,6,5]] +39628*s[[7,7,1,1,1,1]] +599648*s[[7,7,2,1,1]] +808108*s[[7,7,2,2]] +1785931*s[[7,7,3,1]] +1318800*s[[7,7,4]] +720*s[[8,2,2,2,2,2]] +20160*s[[8,3,2,2,2,1]] +69020*s[[8,3,3,2,1,1]] +121940*s[[8,3,3,2,2]] +179480*s[[8,3,3,3,1]] +113890*s[[8,4,2,2,1,1]] +189022*s[[8,4,2,2,2]] +164934*s[[8,4,3,1,1,1]] +1029840*s[[8,4,3,2,1]] +748860*s[[8,4,3,3]] +718382*s[[8,4,4,1,1]] +1251600*s[[8,4,4,2]] +219618*s[[8,5,2,1,1,1]] +1092706*s[[8,5,2,2,1]] +1844122*s[[8,5,3,1,1]] +3043180*s[[8,5,3,2]] +3541034*s[[8,5,4,1]] +1515304*s[[8,5,5]] +133616*s[[8,6,1,1,1,1]] +2017156*s[[8,6,2,1,1]] +2703764*s[[8,6,2,2]] +5916554*s[[8,6,3,1]] +4229974*s[[8,6,4]] +1121952*s[[8,7,1,1,1]] +5693926*s[[8,7,2,1]] +5681130*s[[8,7,3]] +2652832*s[[8,8,1,1]] +4478740*s[[8,8,2]] +14400*s[[9,2,2,2,2,1]] +147420*s[[9,3,2,2,1,1]] +241380*s[[9,3,2,2,2]] +174580*s[[9,3,3,1,1,1]] +1058400*s[[9,3,3,2,1]] +720055*s[[9,3,3,3]] +371588*s[[9,4,2,1,1,1]] +7588*s[[6,5,2,2,2,1]] +34229*s[[6,5,3,2,1,1]] +60431*s[[6,5,3,2,2]] +96299*s[[6,5,3,3,1]] +26740*s[[6,5,4,1,1,1]] +179222*s[[6,5,4,2,1]] +166726*s[[6,5,4,3]] +92470*s[[6,5,5,1,1]] +166186*s[[6,5,5,2]] +19978*s[[6,6,2,2,1,1]] +32998*s[[6,6,2,2,2]] +31515*s[[6,6,3,1,1,1]] +199871*s[[6,6,3,2,1]] +152586*s[[6,6,3,3]] +189790*s[[6,6,4,1,1]] +337386*s[[6,6,4,2]] +294701*s[[6,6,5,1]] +101100*s[[6,6,6]] +1044*s[[7,3,2,2,2,2]] +10556*s[[7,3,3,2,2,1]] +12425*s[[7,3,3,3,1,1]] +27419*s[[7,3,3,3,2]] +15448*s[[7,4,2,2,2,1]] +64925*s[[7,4,3,2,1,1]] +115619*s[[7,4,3,2,2]] +178955*s[[7,4,3,3,1]] +40173*s[[7,4,4,1,1,1]] +268779*s[[7,4,4,2,1]] +242410*s[[7,4,4,3]] +64100*s[[7,5,2,2,1,1]] +106316*s[[7,5,2,2,2]] +99393*s[[7,5,3,1,1,1]] +624911*s[[7,5,3,2,1]] +468258*s[[7,5,3,3]] +554260*s[[7,5,4,1,1]] +975884*s[[7,5,4,2]] +684530*s[[7,5,5,1]] +96536*s[[7,6,2,1,1,1]] +483980*s[[7,6,2,2,1]] +839384*s[[7,6,3,1,1]] +1398614*s[[7,6,3,2]] +20*s[[4,3,3,3,3,2]] +84*s[[4,4,3,3,2,2]] +120*s[[4,4,3,3,3,1]] +70*s[[4,4,4,2,2,2]] +336*s[[4,4,4,3,2,1]] +300*s[[4,4,4,3,3]] +168*s[[4,4,4,4,1,1]] +378*s[[4,4,4,4,2]] +155*s[[5,3,3,3,2,2]] +245*s[[5,3,3,3,3,1]] +455*s[[5,4,3,2,2,2]] +1973*s[[5,4,3,3,2,1]] +1799*s[[5,4,3,3,3]] +2030*s[[5,4,4,2,2,1]] +2926*s[[5,4,4,3,1,1]] +6448*s[[5,4,4,3,2]] +4599*s[[5,4,4,4,1]] +266*s[[5,5,2,2,2,2]] +3374*s[[5,5,3,2,2,1]] +4257*s[[5,5,3,3,1,1]] +9149*s[[5,5,3,3,2]] +7175*s[[5,5,4,2,1,1]] +12789*s[[5,5,4,2,2]] +24639*s[[5,5,4,3,1]] +11872*s[[5,5,4,4]] +3059*s[[5,5,5,1,1,1]] +20503*s[[5,5,5,2,1]] +20280*s[[5,5,5,3]] +580*s[[6,3,3,2,2,2]] +2520*s[[6,3,3,3,2,1]] +2380*s[[6,3,3,3,3]] +770*s[[6,4,2,2,2,2]] +9374*s[[6,4,3,2,2,1]] +11445*s[[6,4,3,3,1,1]] +25193*s[[6,4,3,3,2]] +15897*s[[6,4,4,2,1,1]] +28811*s[[6,4,4,2,2]] +53739*s[[6,4,4,3,1]] +24010*s[[6,4,4,4]] +s[[3,3,3,3,3,3]]

-24*c[1]^3*c[4]*c[11] +4*c[1]^3*c[5]*c[10] +16*c[1]^3*c[6]*c[9] +4*c[1]^3*c[7]*c[8] -44*c[1]^2*c[2]*c[4]*c[10] +28*c[1]^2*c[2]*c[5]*c[9] +8*c[1]^2*c[2]*c[6]*c[8] +8*c[1]^2*c[2]*c[7]^2 -36*c[1]^2*c[3]*c[4]*c[9] +11*c[1]^2*c[3]*c[5]*c[8] +c[1]^2*c[3]*c[6]*c[7] +19*c[1]^2*c[4]^2*c[8] -7*c[1]^2*c[4]*c[5]*c[7] +17*c[1]^2*c[4]*c[6]^2 -5*c[1]^2*c[5]^2*c[6] -24*c[1]*c[2]^2*c[4]*c[9] +19*c[1]*c[2]^2*c[5]*c[8] +5*c[1]*c[2]^2*c[6]*c[7] -37*c[1]*c[2]*c[3]*c[4]*c[8] +20*c[1]*c[2]*c[3]*c[5]*c[7] -3*c[1]*c[2]*c[3]*c[6]^2 +13*c[1]*c[2]*c[4]^2*c[7] +9*c[1]*c[2]*c[4]*c[5]*c[6] -2*c[1]*c[2]*c[5]^3 -14*c[1]*c[3]^2*c[4]*c[7] +2*c[1]*c[3]^2*c[5]*c[6] +14*c[1]*c[3]*c[4]^2*c[6] -6*c[1]*c[3]*c[4]*c[5]^2 +4*c[1]*c[4]^3*c[5] -4*c[2]^3*c[4]*c[8] +3*c[2]^3*c[5]*c[7] +c[2]^3*c[6]^2 -9*c[2]^2*c[3]*c[4]*c[7] +5*c[2]^2*c[3]*c[5]*c[6] +2*c[2]^2*c[4]^2*c[6] +2*c[2]^2*c[4]*c[5]^2 -7*c[2]*c[3]^2*c[4]*c[6] +2*c[2]*c[3]^2*c[5]^2 +4*c[2]*c[3]*c[4]^2*c[5] +c[2]*c[4]^4 -2*c[3]^3*c[4]*c[5] +2*c[3]^2*c[4]^3 -144*c[1]^2*c[4]*c[12] +120*c[1]^2*c[6]*c[10] +24*c[1]^2*c[8]^2 -192*c[1]*c[2]*c[4]*c[11] +122*c[1]*c[2]*c[5]*c[10] +38*c[1]*c[2]*c[6]*c[9] +32*c[1]*c[2]*c[7]*c[8] -162*c[1]*c[3]*c[4]*c[10] +30*c[1]*c[3]*c[5]*c[9] +30*c[1]*c[3]*c[6]*c[8] -18*c[1]*c[3]*c[7]^2 +102*c[1]*c[4]^2*c[9] -34*c[1]*c[4]*c[5]*c[8] +72*c[1]*c[4]*c[6]*c[7] -12*c[1]*c[5]^2*c[7] -8*c[1]*c[5]*c[6]^2 -56*c[2]^2*c[4]*c[10] +49*c[2]^2*c[5]*c[9] +8*c[2]^2*c[6]*c[8] -c[2]^2*c[7]^2 -87*c[2]*c[3]*c[4]*c[9] +43*c[2]*c[3]*c[5]*c[8] -8*c[2]*c[3]*c[6]*c[7] +37*c[2]*c[4]^2*c[8] +18*c[2]*c[4]*c[5]*c[7] -c[2]*c[4]*c[6]^2 -2*c[2]*c[5]^2*c[6] -32*c[3]^2*c[4]*c[8] +2*c[3]^2*c[6]^2 +32*c[3]*c[4]^2*c[7] -16*c[3]*c[4]*c[5]*c[6] +12*c[4]^3*c[6] +2*c[4]^2*c[5]^2 -264*c[1]*c[4]*c[13] -76*c[1]*c[5]*c[12] +256*c[1]*c[6]*c[11] +24*c[1]*c[7]*c[10] +60*c[1]*c[8]*c[9] -196*c[2]*c[4]*c[12] +118*c[2]*c[5]*c[11] +28*c[2]*c[6]*c[10] +26*c[2]*c[7]*c[9] +24*c[2]*c[8]^2 -174*c[3]*c[4]*c[11] +9*c[3]*c[5]*c[10] +41*c[3]*c[6]*c[9] -20*c[3]*c[7]*c[8] +131*c[4]^2*c[10] -43*c[4]*c[5]*c[9] +14*c[4]*c[6]*c[8] +65*c[4]*c[7]^2 -6*c[5]^2*c[8] -16*c[5]*c[6]*c[7] -c[6]^3 -144*c[4]*c[14] -120*c[5]*c[13] +160*c[6]*c[12] +80*c[7]*c[11] -16*c[8]*c[10] +40*c[9]^2

720*s[[11,4,2,1]] +1150*s[[11,4,3]] +1656*s[[11,5,1,1]] +3536*s[[11,5,2]] +5632*s[[11,6,1]] +4352*s[[11,7]] +432*s[[12,4,1,1]] +1020*s[[12,4,2]] +3264*s[[12,5,1]] +3936*s[[12,6]] +792*s[[13,4,1]] +2016*s[[13,5]] +432*s[[14,4]] +72*s[[9,4,2,2,1]] +170*s[[9,4,3,1,1]] +478*s[[9,4,3,2]] +960*s[[9,4,4,1]] +412*s[[9,5,2,1,1]] +884*s[[9,5,2,2]] +2234*s[[9,5,3,1]] +2192*s[[9,5,4]] +392*s[[9,6,1,1,1]] +3100*s[[9,6,2,1]] +3688*s[[9,6,3]] +2232*s[[9,7,1,1]] +4328*s[[9,7,2]] +3240*s[[9,8,1]] +1120*s[[9,9]] +132*s[[10,4,2,1,1]] +300*s[[10,4,2,2]] +888*s[[10,4,3,1]] +1207*s[[10,4,4]] +264*s[[10,5,1,1,1]] +2340*s[[10,5,2,1]] +3096*s[[10,5,3]] +2616*s[[10,6,1,1]] +5184*s[[10,6,2]] +5520*s[[10,7,1]] +3120*s[[10,8]] +72*s[[11,4,1,1,1]] +1250*s[[7,6,4,1]] +645*s[[7,6,5]] +220*s[[7,7,2,1,1]] +392*s[[7,7,2,2]] +968*s[[7,7,3,1]] +945*s[[7,7,4]] +12*s[[8,4,2,2,2]] +120*s[[8,4,3,2,1]] +180*s[[8,4,3,3]] +185*s[[8,4,4,1,1]] +553*s[[8,4,4,2]] +204*s[[8,5,2,2,1]] +406*s[[8,5,3,1,1]] +1070*s[[8,5,3,2]] +1595*s[[8,5,4,1]] +707*s[[8,5,5]] +500*s[[8,6,2,1,1]] +976*s[[8,6,2,2]] +2314*s[[8,6,3,1]] +2138*s[[8,6,4]] +280*s[[8,7,1,1,1]] +2060*s[[8,7,2,1]] +2480*s[[8,7,3]] +840*s[[8,8,1,1]] +1660*s[[8,8,2]] +40*s[[6,5,3,2,2]] +74*s[[6,5,3,3,1]] +166*s[[6,5,4,2,1]] +245*s[[6,5,4,3]] +66*s[[6,5,5,1,1]] +179*s[[6,5,5,2]] +20*s[[6,6,2,2,2]] +130*s[[6,6,3,2,1]] +134*s[[6,6,3,3]] +152*s[[6,6,4,1,1]] +349*s[[6,6,4,2]] +254*s[[6,6,5,1]] +70*s[[6,6,6]] +22*s[[7,4,3,2,2]] +50*s[[7,4,3,3,1]] +138*s[[7,4,4,2,1]] +255*s[[7,4,4,3]] +32*s[[7,5,2,2,2]] +250*s[[7,5,3,2,1]] +314*s[[7,5,3,3]] +281*s[[7,5,4,1,1]] +778*s[[7,5,4,2]] +458*s[[7,5,5,1]] +192*s[[7,6,2,2,1]] +358*s[[7,6,3,1,1]] +830*s[[7,6,3,2]] +2*s[[4,4,4,3,3]] +3*s[[4,4,4,4,2]] +2*s[[5,4,3,3,3]] +15*s[[5,4,4,3,2]] +18*s[[5,4,4,4,1]] +12*s[[5,5,3,3,2]] +21*s[[5,5,4,2,2]] +42*s[[5,5,4,3,1]] +36*s[[5,5,4,4]] +24*s[[5,5,5,2,1]] +36*s[[5,5,5,3]] +12*s[[6,4,3,3,2]] +25*s[[6,4,4,2,2]] +68*s[[6,4,4,3,1]] +75*s[[6,4,4,4]]

-10*c[1]^2*c[3]*c[5]*c[8] +10*c[1]^2*c[3]*c[6]*c[7] +10*c[1]^2*c[4]^2*c[8] -10*c[1]^2*c[4]*c[5]*c[7] -10*c[1]^2*c[4]*c[6]^2 +10*c[1]^2*c[5]^2*c[6] -6*c[1]*c[2]*c[3]*c[5]*c[7] +6*c[1]*c[2]*c[3]*c[6]^2 +6*c[1]*c[2]*c[4]^2*c[7] -12*c[1]*c[2]*c[4]*c[5]*c[6] +6*c[1]*c[2]*c[5]^3 -30*c[1]*c[3]*c[5]*c[9] +30*c[1]*c[3]*c[7]^2 +30*c[1]*c[4]^2*c[9] -60*c[1]*c[4]*c[6]*c[7] +30*c[1]*c[5]*c[6]^2 -8*c[2]*c[3]*c[5]*c[8] +8*c[2]*c[3]*c[6]*c[7] +8*c[2]*c[4]^2*c[8] -8*c[2]*c[4]*c[5]*c[7] -8*c[2]*c[4]*c[6]^2 +8*c[2]*c[5]^2*c[6] +6*c[3]^2*c[5]*c[7] -6*c[3]^2*c[6]^2 -6*c[3]*c[4]^2*c[7] +12*c[3]*c[4]*c[5]*c[6] -6*c[3]*c[5]^3 -20*c[3]*c[5]*c[10] -36*c[3]*c[6]*c[9] +56*c[3]*c[7]*c[8] +20*c[4]^2*c[10] +36*c[4]*c[5]*c[9] -20*c[4]*c[6]*c[8] -56*c[4]*c[7]^2 -36*c[5]^2*c[8] +56*c[5]*c[6]*c[7]

6*s[[5,5,5,2,1]] +16*s[[6,5,5,1,1]] +24*s[[6,5,5,2]] +64*s[[6,6,5,1]] +40*s[[6,6,6]] +64*s[[7,5,5,1]] +150*s[[7,6,5]] +68*s[[8,5,5]]

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

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

-2880*c[1]^4*c[3]*c[12] +2568*c[1]^4*c[4]*c[11] +788*c[1]^4*c[5]*c[10] -388*c[1]^4*c[6]*c[9] -88*c[1]^4*c[7]*c[8] -3696*c[1]^3*c[2]*c[3]*c[11] +3616*c[1]^3*c[2]*c[4]*c[10] +644*c[1]^3*c[2]*c[5]*c[9] -484*c[1]^3*c[2]*c[6]*c[8] -80*c[1]^3*c[2]*c[7]^2 -1220*c[1]^3*c[3]^2*c[10] +688*c[1]^3*c[3]*c[4]*c[9] +84*c[1]^3*c[3]*c[5]*c[8] -372*c[1]^3*c[3]*c[6]*c[7] +404*c[1]^3*c[4]^2*c[8] +358*c[1]^3*c[4]*c[5]*c[7] +10*c[1]^3*c[4]*c[6]^2 +48*c[1]^3*c[5]^2*c[6] -1704*c[1]^2*c[2]^2*c[3]*c[10] +1862*c[1]^2*c[2]^2*c[4]*c[9] +63*c[1]^2*c[2]^2*c[5]*c[8] -221*c[1]^2*c[2]^2*c[6]*c[7] -1054*c[1]^2*c[2]*c[3]^2*c[9] +754*c[1]^2*c[2]*c[3]*c[4]*c[8] -116*c[1]^2*c[2]*c[3]*c[5]*c[7] -238*c[1]^2*c[2]*c[3]*c[6]^2 +399*c[1]^2*c[2]*c[4]^2*c[7] +240*c[1]^2*c[2]*c[4]*c[5]*c[6] +15*c[1]^2*c[2]*c[5]^3 -145*c[1]^2*c[3]^3*c[8] +54*c[1]^2*c[3]^2*c[4]*c[7] -63*c[1]^2*c[3]^2*c[5]*c[6] +66*c[1]^2*c[3]*c[4]^2*c[6] +67*c[1]^2*c[3]*c[4]*c[5]^2 +21*c[1]^2*c[4]^3*c[5] -336*c[1]*c[2]^3*c[3]*c[9] +416*c[1]*c[2]^3*c[4]*c[8] -51*c[1]*c[2]^3*c[5]*c[7] -29*c[1]*c[2]^3*c[6]^2 -292*c[1]*c[2]^2*c[3]^2*c[8] +263*c[1]*c[2]^2*c[3]*c[4]*c[7] -139*c[1]*c[2]^2*c[3]*c[5]*c[6] +131*c[1]*c[2]^2*c[4]^2*c[6] +37*c[1]*c[2]^2*c[4]*c[5]^2 -74*c[1]*c[2]*c[3]^3*c[7] +29*c[1]*c[2]*c[3]^2*c[4]*c[6] -29*c[1]*c[2]*c[3]^2*c[5]^2 +68*c[1]*c[2]*c[3]*c[4]^2*c[5] +6*c[1]*c[2]*c[4]^4 -7*c[1]*c[3]^4*c[6] +4*c[1]*c[3]^3*c[4]*c[5] +3*c[1]*c[3]^2*c[4]^3 -24*c[2]^4*c[3]*c[8] +34*c[2]^4*c[4]*c[7] -10*c[2]^4*c[5]*c[6] -26*c[2]^3*c[3]^2*c[7] +29*c[2]^3*c[3]*c[4]*c[6] -17*c[2]^3*c[3]*c[5]^2 +14*c[2]^3*c[4]^2*c[5] -9*c[2]^2*c[3]^3*c[6] +9*c[2]^2*c[3]*c[4]^3 -2*c[2]*c[3]^4*c[5] +2*c[2]*c[3]^3*c[4]^2 -40320*c[1]^3*c[3]*c[13] +34944*c[1]^3*c[4]*c[12] +9400*c[1]^3*c[5]*c[11] -2140*c[1]^3*c[6]*c[10] -1480*c[1]^3*c[7]*c[9] -404*c[1]^3*c[8]^2 -40224*c[1]^2*c[2]*c[3]*c[12] +37712*c[1]^2*c[2]*c[4]*c[11] +6004*c[1]^2*c[2]*c[5]*c[10] -1674*c[1]^2*c[2]*c[6]*c[9] -1818*c[1]^2*c[2]*c[7]*c[8] -13960*c[1]^2*c[3]^2*c[11] +7160*c[1]^2*c[3]*c[4]*c[10] +358*c[1]^2*c[3]*c[5]*c[9] -2276*c[1]^2*c[3]*c[6]*c[8] -1154*c[1]^2*c[3]*c[7]^2 +4668*c[1]^2*c[4]^2*c[9] +3544*c[1]^2*c[4]*c[5]*c[8] +984*c[1]^2*c[4]*c[6]*c[7] +572*c[1]^2*c[5]^2*c[7] +104*c[1]^2*c[5]*c[6]^2 -12768*c[1]*c[2]^2*c[3]*c[11] +13192*c[1]*c[2]^2*c[4]*c[10] +442*c[1]*c[2]^2*c[5]*c[9] -376*c[1]*c[2]^2*c[6]*c[8] -490*c[1]*c[2]^2*c[7]^2 -8312*c[1]*c[2]*c[3]^2*c[10] +5354*c[1]*c[2]*c[3]*c[4]*c[9] -893*c[1]*c[2]*c[3]*c[5]*c[8] -1569*c[1]*c[2]*c[3]*c[6]*c[7] +3056*c[1]*c[2]*c[4]^2*c[8] +1682*c[1]*c[2]*c[4]*c[5]*c[7] +532*c[1]*c[2]*c[4]*c[6]^2 +150*c[1]*c[2]*c[5]^2*c[6] -1220*c[1]*c[3]^3*c[9] +377*c[1]*c[3]^2*c[4]*c[8] -305*c[1]*c[3]^2*c[5]*c[7] -218*c[1]*c[3]^2*c[6]^2 +608*c[1]*c[3]*c[4]^2*c[7] +467*c[1]*c[3]*c[4]*c[5]*c[6] +49*c[1]*c[3]*c[5]^3 +120*c[1]*c[4]^3*c[6] +122*c[1]*c[4]^2*c[5]^2 -1296*c[2]^3*c[3]*c[10] +1500*c[2]^3*c[4]*c[9] -155*c[2]^3*c[5]*c[8] -49*c[2]^3*c[6]*c[7] -1188*c[2]^2*c[3]^2*c[9] +961*c[2]^2*c[3]*c[4]*c[8] -417*c[2]^2*c[3]*c[5]*c[7] -72*c[2]^2*c[3]*c[6]^2 +497*c[2]^2*c[4]^2*c[7] +229*c[2]^2*c[4]*c[5]*c[6] -10*c[2]^2*c[5]^3 -324*c[2]*c[3]^3*c[8] +140*c[2]*c[3]^2*c[4]*c[7] -150*c[2]*c[3]^2*c[5]*c[6] +244*c[2]*c[3]*c[4]^2*c[6] +44*c[2]*c[3]*c[4]*c[5]^2 +46*c[2]*c[4]^3*c[5] -29*c[3]^4*c[7] +12*c[3]^3*c[4]*c[6] -7*c[3]^3*c[5]^2 +21*c[3]^2*c[4]^2*c[5] +3*c[3]*c[4]^4 -204480*c[1]^2*c[3]*c[14] +173112*c[1]^2*c[4]*c[13] +40996*c[1]^2*c[5]*c[12] +1880*c[1]^2*c[6]*c[11] -8640*c[1]^2*c[7]*c[10] -2868*c[1]^2*c[8]*c[9] -141456*c[1]*c[2]*c[3]*c[13] +127808*c[1]*c[2]*c[4]*c[12] +18264*c[1]*c[2]*c[5]*c[11] +3586*c[1]*c[2]*c[6]*c[10] -6840*c[1]*c[2]*c[7]*c[9] -1362*c[1]*c[2]*c[8]^2 -51580*c[1]*c[3]^2*c[12] +24096*c[1]*c[3]*c[4]*c[11] -714*c[1]*c[3]*c[5]*c[10] -3748*c[1]*c[3]*c[6]*c[9] -6474*c[1]*c[3]*c[7]*c[8] +17480*c[1]*c[4]^2*c[10] +11996*c[1]*c[4]*c[5]*c[9] +5216*c[1]*c[4]*c[6]*c[8] +724*c[1]*c[4]*c[7]^2 +1890*c[1]*c[5]^2*c[8] +986*c[1]*c[5]*c[6]*c[7] +128*c[1]*c[6]^3 -23256*c[2]^2*c[3]*c[12] +22842*c[2]^2*c[4]*c[11] +743*c[2]^2*c[5]*c[10] +1017*c[2]^2*c[6]*c[9] -1346*c[2]^2*c[7]*c[8] -15906*c[2]*c[3]^2*c[11] +9212*c[2]*c[3]*c[4]*c[10] -1851*c[2]*c[3]*c[5]*c[9] -804*c[2]*c[3]*c[6]*c[8] -1569*c[2]*c[3]*c[7]^2 +5753*c[2]*c[4]^2*c[9] +2978*c[2]*c[4]*c[5]*c[8] +1764*c[2]*c[4]*c[6]*c[7] +138*c[2]*c[5]^2*c[7] +285*c[2]*c[5]*c[6]^2 -2475*c[3]^3*c[10] +581*c[3]^2*c[4]*c[9] -519*c[3]^2*c[5]*c[8] -531*c[3]^2*c[6]*c[7] +1259*c[3]*c[4]^2*c[8] +551*c[3]*c[4]*c[5]*c[7] +383*c[3]*c[4]*c[6]^2 +138*c[3]*c[5]^2*c[6] +226*c[4]^3*c[7] +328*c[4]^2*c[5]*c[6] +59*c[4]*c[5]^3 -443520*c[1]*c[3]*c[15] +368544*c[1]*c[4]*c[14] +77600*c[1]*c[5]*c[13] +24920*c[1]*c[6]*c[12] -20800*c[1]*c[7]*c[11] -4664*c[1]*c[8]*c[10] -2080*c[1]*c[9]^2 -160224*c[2]*c[3]*c[14] +140320*c[2]*c[4]*c[13] +18264*c[2]*c[5]*c[12] +12064*c[2]*c[6]*c[11] -8280*c[2]*c[7]*c[10] -2144*c[2]*c[8]*c[9] -61400*c[3]^2*c[13] +26208*c[3]*c[4]*c[12] -2968*c[3]*c[5]*c[11] -874*c[3]*c[6]*c[10] -7288*c[3]*c[7]*c[9] -1910*c[3]*c[8]^2 +21176*c[4]^2*c[11] +13658*c[4]*c[5]*c[10] +7572*c[4]*c[6]*c[9] +1634*c[4]*c[7]*c[8] +1948*c[5]^2*c[9] +2090*c[5]*c[6]*c[8] -276*c[5]*c[7]^2 +430*c[6]^2*c[7] -345600*c[3]*c[16] +283104*c[4]*c[15] +53808*c[5]*c[14] +31408*c[6]*c[13] -17472*c[7]*c[12] -2912*c[8]*c[11] -2336*c[9]*c[10]

2164032*s[[14,4,1]] +2409984*s[[14,5]] +1702080*s[[15,4]] +276*s[[5,4,4,3,2,1]] +274*s[[5,4,4,3,3]] +220*s[[5,4,4,4,1,1]] +536*s[[5,4,4,4,2]] +30*s[[5,5,3,2,2,2]] +180*s[[5,5,3,3,2,1]] +180*s[[5,5,3,3,3]] +384*s[[5,5,4,2,2,1]] +708*s[[5,5,4,3,1,1]] +1554*s[[5,5,4,3,2]] +1764*s[[5,5,4,4,1]] +536*s[[5,5,5,2,1,1]] +916*s[[5,5,5,2,2]] +2272*s[[5,5,5,3,1]] +1792*s[[5,5,5,4]] +82*s[[6,4,3,2,2,2]] +396*s[[6,4,3,3,2,1]] +382*s[[6,4,3,3,3]] +804*s[[6,4,4,2,2,1]] +1333*s[[6,4,4,3,1,1]] +3101*s[[6,4,4,3,2]] +3279*s[[6,4,4,4,1]] +44*s[[6,5,2,2,2,2]] +864*s[[6,5,3,2,2,1]] +1294*s[[6,5,3,3,1,1]] +2892*s[[6,5,3,3,2]] +3373*s[[6,5,4,2,1,1]] +6223*s[[6,5,4,2,2]] +14079*s[[6,5,4,3,1]] +9538*s[[6,5,4,4]] +1699*s[[6,5,5,1,1,1]] +12243*s[[6,5,5,2,1]] +14172*s[[6,5,5,3]] +288*s[[6,6,2,2,2,1]] +1862*s[[6,6,3,2,1,1]] +3614*s[[6,6,3,2,2]] +6848*s[[6,6,3,3,1]] +2375*s[[6,6,4,1,1,1]] +18615*s[[6,6,4,2,1]] +21373*s[[6,6,4,3]] +2*s[[4,4,3,3,3,2]] +13*s[[4,4,4,3,2,2]] +18*s[[4,4,4,3,3,1]] +33*s[[4,4,4,4,2,1]] +39*s[[4,4,4,4,3]] +24*s[[5,4,3,3,2,2]] +36*s[[5,4,3,3,3,1]] +47*s[[5,4,4,2,2,2]] +13392*s[[11,4,1,1,1,1]] +224016*s[[11,4,2,1,1]] +315060*s[[11,4,2,2]] +750384*s[[11,4,3,1]] +661764*s[[11,4,4]] +247584*s[[11,5,1,1,1]] +1344348*s[[11,5,2,1]] +1493196*s[[11,5,3]] +971688*s[[11,6,1,1]] +1775940*s[[11,6,2]] +1265112*s[[11,7,1]] +500592*s[[11,8]] +191232*s[[12,4,1,1,1]] +1044576*s[[12,4,2,1]] +1143832*s[[12,4,3]] +1326312*s[[12,5,1,1]] +2350520*s[[12,5,2]] +2360104*s[[12,6,1]] +1119344*s[[12,7]] +985392*s[[13,4,1,1]] +1749936*s[[13,4,2]] +2999184*s[[13,5,1]] +1990704*s[[13,6]] +97404*s[[9,5,2,2,1]] +192868*s[[9,5,3,1,1]] +336070*s[[9,5,3,2]] +540505*s[[9,5,4,1]] +261945*s[[9,5,5]] +9264*s[[9,6,1,1,1,1]] +168008*s[[9,6,2,1,1]] +245084*s[[9,6,2,2]] +618194*s[[9,6,3,1]] +593783*s[[9,6,4]] +72160*s[[9,7,1,1,1]] +433384*s[[9,7,2,1]] +522714*s[[9,7,3]] +173880*s[[9,8,1,1]] +334380*s[[9,8,2]] +132584*s[[9,9,1]] +16416*s[[10,4,2,1,1,1]] +88272*s[[10,4,2,2,1]] +167192*s[[10,4,3,1,1]] +292058*s[[10,4,3,2]] +450548*s[[10,4,4,1]] +16488*s[[10,5,1,1,1,1]] +272104*s[[10,5,2,1,1]] +379732*s[[10,5,2,2]] +929830*s[[10,5,3,1]] +843346*s[[10,5,4]] +163184*s[[10,6,1,1,1]] +937484*s[[10,6,2,1]] +1088538*s[[10,6,3]] +483696*s[[10,7,1,1]] +905580*s[[10,7,2]] +524776*s[[10,8,1]] +171984*s[[10,9]] +1296*s[[8,4,2,2,2,1]] +6782*s[[8,4,3,2,1,1]] +12602*s[[8,4,3,2,2]] +21548*s[[8,4,3,3,1]] +7436*s[[8,4,4,1,1,1]] +54720*s[[8,4,4,2,1]] +57547*s[[8,4,4,3]] +6952*s[[8,5,2,2,1,1]] +11800*s[[8,5,2,2,2]] +12970*s[[8,5,3,1,1,1]] +87174*s[[8,5,3,2,1]] +74542*s[[8,5,3,3]] +111614*s[[8,5,4,1,1]] +209178*s[[8,5,4,2]] +160578*s[[8,5,5,1]] +9416*s[[8,6,2,1,1,1]] +53992*s[[8,6,2,2,1]] +110772*s[[8,6,3,1,1]] +202092*s[[8,6,3,2]] +339390*s[[8,6,4,1]] +212054*s[[8,6,5]] +3336*s[[8,7,1,1,1,1]] +65192*s[[8,7,2,1,1]] +98072*s[[8,7,2,2]] +254486*s[[8,7,3,1]] +255884*s[[8,7,4]] +18320*s[[8,8,1,1,1]] +114488*s[[8,8,2,1]] +142692*s[[8,8,3]] +7116*s[[9,4,2,2,1,1]] +12372*s[[9,4,2,2,2]] +12384*s[[9,4,3,1,1,1]] +84240*s[[9,4,3,2,1]] +69744*s[[9,4,3,3]] +101300*s[[9,4,4,1,1]] +190051*s[[9,4,4,2]] +18468*s[[9,5,2,1,1,1]] +13076*s[[6,6,5,1,1]] +26445*s[[6,6,5,2]] +13385*s[[6,6,6,1]] +84*s[[7,4,2,2,2,2]] +1296*s[[7,4,3,2,2,1]] +1740*s[[7,4,3,3,1,1]] +3972*s[[7,4,3,3,2]] +4301*s[[7,4,4,2,1,1]] +8199*s[[7,4,4,2,2]] +17422*s[[7,4,4,3,1]] +11292*s[[7,4,4,4]] +1008*s[[7,5,2,2,2,1]] +6032*s[[7,5,3,2,1,1]] +10964*s[[7,5,3,2,2]] +19988*s[[7,5,3,3,1]] +7271*s[[7,5,4,1,1,1]] +52779*s[[7,5,4,2,1]] +57283*s[[7,5,4,3]] +30380*s[[7,5,5,1,1]] +57865*s[[7,5,5,2]] +2968*s[[7,6,2,2,1,1]] +5392*s[[7,6,2,2,2]] +5800*s[[7,6,3,1,1,1]] +42456*s[[7,6,3,2,1]] +38758*s[[7,6,3,3]] +57104*s[[7,6,4,1,1]] +111894*s[[7,6,4,2]] +107687*s[[7,6,5,1]] +39445*s[[7,6,6]] +2468*s[[7,7,2,1,1,1]] +14908*s[[7,7,2,2,1]] +31544*s[[7,7,3,1,1]] +59012*s[[7,7,3,2]] +102365*s[[7,7,4,1]] +68533*s[[7,7,5]]

-120*c[1]^4*c[4]*c[11] -436*c[1]^4*c[5]*c[10] +416*c[1]^4*c[6]*c[9] +140*c[1]^4*c[7]*c[8] -388*c[1]^3*c[2]*c[4]*c[10] -262*c[1]^3*c[2]*c[5]*c[9] +532*c[1]^3*c[2]*c[6]*c[8] +118*c[1]^3*c[2]*c[7]^2 -144*c[1]^3*c[3]^2*c[10] +58*c[1]^3*c[3]*c[4]*c[9] -147*c[1]^3*c[3]*c[5]*c[8] +257*c[1]^3*c[3]*c[6]*c[7] -9*c[1]^3*c[4]^2*c[8] -67*c[1]^3*c[4]*c[5]*c[7] +63*c[1]^3*c[4]*c[6]^2 -11*c[1]^3*c[5]^2*c[6] -320*c[1]^2*c[2]^2*c[4]*c[9] +70*c[1]^2*c[2]^2*c[5]*c[8] +250*c[1]^2*c[2]^2*c[6]*c[7] -156*c[1]^2*c[2]*c[3]^2*c[9] -18*c[1]^2*c[2]*c[3]*c[4]*c[8] +34*c[1]^2*c[2]*c[3]*c[5]*c[7] +172*c[1]^2*c[2]*c[3]*c[6]^2 -43*c[1]^2*c[2]*c[4]^2*c[7] +12*c[1]^2*c[2]*c[4]*c[5]*c[6] -c[1]^2*c[2]*c[5]^3 -64*c[1]^2*c[3]^3*c[8] +31*c[1]^2*c[3]^2*c[4]*c[7] +15*c[1]^2*c[3]^2*c[5]*c[6] +29*c[1]^2*c[3]*c[4]^2*c[6] -9*c[1]^2*c[3]*c[4]*c[5]^2 -2*c[1]^2*c[4]^3*c[5] -98*c[1]*c[2]^3*c[4]*c[8] +66*c[1]*c[2]^3*c[5]*c[7] +32*c[1]*c[2]^3*c[6]^2 -54*c[1]*c[2]^2*c[3]^2*c[8] -29*c[1]*c[2]^2*c[3]*c[4]*c[7] +97*c[1]*c[2]^2*c[3]*c[5]*c[6] -21*c[1]*c[2]^2*c[4]^2*c[6] +7*c[1]*c[2]^2*c[4]*c[5]^2 -43*c[1]*c[2]*c[3]^3*c[7] +27*c[1]*c[2]*c[3]^2*c[4]*c[6] +12*c[1]*c[2]*c[3]^2*c[5]^2 +5*c[1]*c[2]*c[3]*c[4]^2*c[5] -c[1]*c[2]*c[4]^4 -7*c[1]*c[3]^4*c[6] +4*c[1]*c[3]^3*c[4]*c[5] +3*c[1]*c[3]^2*c[4]^3 -10*c[2]^4*c[4]*c[7] +10*c[2]^4*c[5]*c[6] -6*c[2]^3*c[3]^2*c[7] -5*c[2]^3*c[3]*c[4]*c[6] +13*c[2]^3*c[3]*c[5]^2 -2*c[2]^3*c[4]^2*c[5] -7*c[2]^2*c[3]^3*c[6] +8*c[2]^2*c[3]^2*c[4]*c[5] -c[2]^2*c[3]*c[4]^3 -2*c[2]*c[3]^4*c[5] +2*c[2]*c[3]^3*c[4]^2 -1248*c[1]^3*c[4]*c[12] -4328*c[1]^3*c[5]*c[11] +2780*c[1]^3*c[6]*c[10] +2168*c[1]^3*c[7]*c[9] +628*c[1]^3*c[8]^2 -3368*c[1]^2*c[2]*c[4]*c[11] -1608*c[1]^2*c[2]*c[5]*c[10] +2518*c[1]^2*c[2]*c[6]*c[9] +2458*c[1]^2*c[2]*c[7]*c[8] -1296*c[1]^2*c[3]^2*c[11] +492*c[1]^2*c[3]*c[4]*c[10] -1004*c[1]^2*c[3]*c[5]*c[9] +1164*c[1]^2*c[3]*c[6]*c[8] +812*c[1]^2*c[3]*c[7]^2 -94*c[1]^2*c[4]^2*c[9] -512*c[1]^2*c[4]*c[5]*c[8] +512*c[1]^2*c[4]*c[6]*c[7] -168*c[1]^2*c[5]^2*c[7] +94*c[1]^2*c[5]*c[6]^2 -1972*c[1]*c[2]^2*c[4]*c[10] +664*c[1]*c[2]^2*c[5]*c[9] +724*c[1]*c[2]^2*c[6]*c[8] +584*c[1]*c[2]^2*c[7]^2 -972*c[1]*c[2]*c[3]^2*c[10] -192*c[1]*c[2]*c[3]*c[4]*c[9] +384*c[1]*c[2]*c[3]*c[5]*c[8] +932*c[1]*c[2]*c[3]*c[6]*c[7] -305*c[1]*c[2]*c[4]^2*c[8] +21*c[1]*c[2]*c[4]*c[5]*c[7] +65*c[1]*c[2]*c[4]*c[6]^2 +67*c[1]*c[2]*c[5]^2*c[6] -408*c[1]*c[3]^3*c[9] +137*c[1]*c[3]^2*c[4]*c[8] +37*c[1]*c[3]^2*c[5]*c[7] +56*c[1]*c[3]^2*c[6]^2 +134*c[1]*c[3]*c[4]^2*c[7] +71*c[1]*c[3]*c[4]*c[5]*c[6] -13*c[1]*c[3]*c[5]^3 -14*c[1]*c[4]^2*c[5]^2 -318*c[2]^3*c[4]*c[9] +228*c[2]^3*c[5]*c[8] +90*c[2]^3*c[6]*c[7] -174*c[2]^2*c[3]^2*c[9] -121*c[2]^2*c[3]*c[4]*c[8] +296*c[2]^2*c[3]*c[5]*c[7] +33*c[2]^2*c[3]*c[6]^2 -82*c[2]^2*c[4]^2*c[7] +27*c[2]^2*c[4]*c[5]*c[6] +21*c[2]^2*c[5]^3 -141*c[2]*c[3]^3*c[8] +43*c[2]*c[3]^2*c[4]*c[7] +58*c[2]*c[3]^2*c[5]*c[6] +3*c[2]*c[3]*c[4]^2*c[6] +42*c[2]*c[3]*c[4]*c[5]^2 -5*c[2]*c[4]^3*c[5] -25*c[3]^4*c[7] +6*c[3]^3*c[4]*c[6] +c[3]^3*c[5]^2 +17*c[3]^2*c[4]^2*c[5] +c[3]*c[4]^4 -4488*c[1]^2*c[4]*c[13] -14612*c[1]^2*c[5]*c[12] +2708*c[1]^2*c[6]*c[11] +11292*c[1]^2*c[7]*c[10] +5100*c[1]^2*c[8]*c[9] -9212*c[1]*c[2]*c[4]*c[12] -1982*c[1]*c[2]*c[5]*c[11] +462*c[1]*c[2]*c[6]*c[10] +8318*c[1]*c[2]*c[7]*c[9] +2414*c[1]*c[2]*c[8]^2 -3744*c[1]*c[3]^2*c[12] +1478*c[1]*c[3]*c[4]*c[11] -1743*c[1]*c[3]*c[5]*c[10] +159*c[1]*c[3]*c[6]*c[9] +4234*c[1]*c[3]*c[7]*c[8] -255*c[1]*c[4]^2*c[10] -1045*c[1]*c[4]*c[5]*c[9] +50*c[1]*c[4]*c[6]*c[8] +1063*c[1]*c[4]*c[7]^2 -452*c[1]*c[5]^2*c[8] +266*c[1]*c[5]*c[6]*c[7] -11*c[1]*c[6]^3 -2892*c[2]^2*c[4]*c[11] +1478*c[2]^2*c[5]*c[10] -168*c[2]^2*c[6]*c[9] +1582*c[2]^2*c[7]*c[8] -1464*c[2]*c[3]^2*c[11] -338*c[2]*c[3]*c[4]*c[10] +990*c[2]*c[3]*c[5]*c[9] -30*c[2]*c[3]*c[6]*c[8] +1018*c[2]*c[3]*c[7]^2 -496*c[2]*c[4]^2*c[9] +112*c[2]*c[4]*c[5]*c[8] +22*c[2]*c[4]*c[6]*c[7] +212*c[2]*c[5]^2*c[7] -26*c[2]*c[5]*c[6]^2 -632*c[3]^3*c[10] +158*c[3]^2*c[4]*c[9] +67*c[3]^2*c[5]*c[8] +51*c[3]^2*c[6]*c[7] +173*c[3]*c[4]^2*c[8] +271*c[3]*c[4]*c[5]*c[7] -51*c[3]*c[4]*c[6]^2 -17*c[3]*c[5]^2*c[6] +6*c[4]^3*c[7] -20*c[4]^2*c[5]*c[6] -6*c[4]*c[5]^3 -6528*c[1]*c[4]*c[14] -19168*c[1]*c[5]*c[13] -12304*c[1]*c[6]*c[12] +24320*c[1]*c[7]*c[11] +10192*c[1]*c[8]*c[10] +3488*c[1]*c[9]^2 -7912*c[2]*c[4]*c[13] +1020*c[2]*c[5]*c[12] -6436*c[2]*c[6]*c[11] +9036*c[2]*c[7]*c[10] +4292*c[2]*c[8]*c[9] -3456*c[3]^2*c[13] +1524*c[3]*c[4]*c[12] -322*c[3]*c[5]*c[11] -3054*c[3]*c[6]*c[10] +4210*c[3]*c[7]*c[9] +1386*c[3]*c[8]^2 -170*c[4]^2*c[11] -398*c[4]*c[5]*c[10] -1312*c[4]*c[6]*c[9] +1814*c[4]*c[7]*c[8] -238*c[5]^2*c[9] -534*c[5]*c[6]*c[8] +670*c[5]*c[7]^2 -120*c[6]^2*c[7] -3168*c[4]*c[15] -7536*c[5]*c[14] -19856*c[6]*c[13] +18576*c[7]*c[12] +7792*c[8]*c[11] +4192*c[9]*c[10]

24768*s[[14,4,1]] +77184*s[[14,5]] +12096*s[[15,4]] +72*s[[5,4,4,3,2,1]] +98*s[[5,4,4,3,3]] +36*s[[5,4,4,4,1,1]] +102*s[[5,4,4,4,2]] +30*s[[5,5,3,2,2,2]] +120*s[[5,5,3,3,2,1]] +120*s[[5,5,3,3,3]] +156*s[[5,5,4,2,2,1]] +204*s[[5,5,4,3,1,1]] +558*s[[5,5,4,3,2]] +372*s[[5,5,4,4,1]] +156*s[[5,5,5,2,1,1]] +384*s[[5,5,5,2,2]] +636*s[[5,5,5,3,1]] +360*s[[5,5,5,4]] +22*s[[6,4,3,2,2,2]] +144*s[[6,4,3,3,2,1]] +178*s[[6,4,3,3,3]] +148*s[[6,4,4,2,2,1]] +269*s[[6,4,4,3,1,1]] +705*s[[6,4,4,3,2]] +502*s[[6,4,4,4,1]] +44*s[[6,5,2,2,2,2]] +528*s[[6,5,3,2,2,1]] +610*s[[6,5,3,3,1,1]] +1488*s[[6,5,3,3,2]] +1051*s[[6,5,4,2,1,1]] +2193*s[[6,5,4,2,2]] +3947*s[[6,5,4,3,1]] +1822*s[[6,5,4,4]] +433*s[[6,5,5,1,1,1]] +3665*s[[6,5,5,2,1]] +3472*s[[6,5,5,3]] +336*s[[6,6,2,2,2,1]] +1466*s[[6,6,3,2,1,1]] +2570*s[[6,6,3,2,2]] +3884*s[[6,6,3,3,1]] +1205*s[[6,6,4,1,1,1]] +7825*s[[6,6,4,2,1]] +6699*s[[6,6,4,3]] +2*s[[4,4,3,3,3,2]] +3*s[[4,4,4,3,2,2]] +8*s[[4,4,4,3,3,1]] +6*s[[4,4,4,4,2,1]] +10*s[[4,4,4,4,3]] +12*s[[5,4,3,3,2,2]] +24*s[[5,4,3,3,3,1]] +9*s[[5,4,4,2,2,2]] +432*s[[11,4,1,1,1,1]] +8880*s[[11,4,2,1,1]] +13740*s[[11,4,2,2]] +37536*s[[11,4,3,1]] +28348*s[[11,4,4]] +24672*s[[11,5,1,1,1]] +148356*s[[11,5,2,1]] +149604*s[[11,5,3]] +246792*s[[11,6,1,1]] +394188*s[[11,6,2]] +624600*s[[11,7,1]] +433488*s[[11,8]] +4608*s[[12,4,1,1,1]] +29664*s[[12,4,2,1]] +39112*s[[12,4,3]] +93816*s[[12,5,1,1]] +177128*s[[12,5,2]] +403576*s[[12,6,1]] +445424*s[[12,7]] +16848*s[[13,4,1,1]] +33744*s[[13,4,2]] +145392*s[[13,5,1]] +230736*s[[13,6]] +23892*s[[9,5,2,2,1]] +38428*s[[9,5,3,1,1]] +69550*s[[9,5,3,2]] +80227*s[[9,5,4,1]] +37491*s[[9,5,5]] +5376*s[[9,6,1,1,1,1]] +78152*s[[9,6,2,1,1]] +102020*s[[9,6,2,2]] +215330*s[[9,6,3,1]] +145161*s[[9,6,4]] +62656*s[[9,7,1,1,1]] +306424*s[[9,7,2,1]] +296058*s[[9,7,3]] +200328*s[[9,8,1,1]] +334548*s[[9,8,2]] +193256*s[[9,9,1]] +864*s[[10,4,2,1,1,1]] +5328*s[[10,4,2,2,1]] +11672*s[[10,4,3,1,1]] +22382*s[[10,4,3,2]] +27148*s[[10,4,4,1]] +2232*s[[10,5,1,1,1,1]] +42712*s[[10,5,2,1,1]] +64228*s[[10,5,2,2]] +132922*s[[10,5,3,1]] +91870*s[[10,5,4]] +62096*s[[10,6,1,1,1]] +298316*s[[10,6,2,1]] +275070*s[[10,6,3]] +309840*s[[10,7,1,1]] +507948*s[[10,7,2]] +516472*s[[10,8,1]] +250320*s[[10,9]] +144*s[[8,4,2,2,2,1]] +962*s[[8,4,3,2,1,1]] +1958*s[[8,4,3,2,2]] +3848*s[[8,4,3,3,1]] +764*s[[8,4,4,1,1,1]] +6312*s[[8,4,4,2,1]] +7177*s[[8,4,4,3]] +2416*s[[8,5,2,2,1,1]] +4528*s[[8,5,2,2,2]] +3478*s[[8,5,3,1,1,1]] +25410*s[[8,5,3,2,1]] +19678*s[[8,5,3,3]] +21866*s[[8,5,4,1,1]] +41774*s[[8,5,4,2]] +30246*s[[8,5,5,1]] +6560*s[[8,6,2,1,1,1]] +32176*s[[8,6,2,2,1]] +54180*s[[8,6,3,1,1]] +87096*s[[8,6,3,2]] +106934*s[[8,6,4,1]] +56166*s[[8,6,5]] +4104*s[[8,7,1,1,1,1]] +60152*s[[8,7,2,1,1]] +78440*s[[8,7,2,2]] +171134*s[[8,7,3,1]] +123004*s[[8,7,4]] +25232*s[[8,8,1,1,1]] +125264*s[[8,8,2,1]] +123672*s[[8,8,3]] +564*s[[9,4,2,2,1,1]] +1068*s[[9,4,2,2,2]] +1152*s[[9,4,3,1,1,1]] +9000*s[[9,4,3,2,1]] +8796*s[[9,4,3,3]] +8204*s[[9,4,4,1,1]] +16477*s[[9,4,4,2]] +3996*s[[9,5,2,1,1,1]] +5084*s[[6,6,5,1,1]] +8543*s[[6,6,5,2]] +4483*s[[6,6,6,1]] +12*s[[7,4,2,2,2,2]] +264*s[[7,4,3,2,2,1]] +420*s[[7,4,3,3,1,1]] +1068*s[[7,4,3,3,2]] +615*s[[7,4,4,2,1,1]] +1285*s[[7,4,4,2,2]] +2882*s[[7,4,4,3,1]] +1410*s[[7,4,4,4]] +576*s[[7,5,2,2,2,1]] +2396*s[[7,5,3,2,1,1]] +4760*s[[7,5,3,2,2]] +7244*s[[7,5,3,3,1]] +1757*s[[7,5,4,1,1,1]] +13777*s[[7,5,4,2,1]] +13029*s[[7,5,4,3]] +7172*s[[7,5,5,1,1]] +14003*s[[7,5,5,2]] +2608*s[[7,6,2,2,1,1]] +4312*s[[7,6,2,2,2]] +4036*s[[7,6,3,1,1,1]] +24708*s[[7,6,3,2,1]] +17518*s[[7,6,3,3]] +23192*s[[7,6,4,1,1]] +39338*s[[7,6,4,2]] +34705*s[[7,6,5,1]] +11855*s[[7,6,6]] +3044*s[[7,7,2,1,1,1]] +14764*s[[7,7,2,2,1]] +25472*s[[7,7,3,1,1]] +40856*s[[7,7,3,2]] +52435*s[[7,7,4,1]] +30315*s[[7,7,5]]

-72*c[1]^3*c[4]*c[12] +60*c[1]^3*c[5]*c[11] +60*c[1]^3*c[6]*c[10] -60*c[1]^3*c[7]*c[9] +12*c[1]^3*c[8]^2 -132*c[1]^2*c[2]*c[4]*c[11] +182*c[1]^2*c[2]*c[5]*c[10] -22*c[1]^2*c[2]*c[6]*c[9] -28*c[1]^2*c[2]*c[7]*c[8] -98*c[1]^2*c[3]*c[4]*c[10] +7*c[1]^2*c[3]*c[5]*c[9] +38*c[1]^2*c[3]*c[6]*c[8] -19*c[1]^2*c[3]*c[7]^2 +135*c[1]^2*c[4]^2*c[9] -76*c[1]^2*c[4]*c[5]*c[8] -12*c[1]^2*c[4]*c[6]*c[7] +12*c[1]^2*c[5]^2*c[7] +13*c[1]^2*c[5]*c[6]^2 -72*c[1]*c[2]^2*c[4]*c[10] +120*c[1]*c[2]^2*c[5]*c[9] -48*c[1]*c[2]^2*c[6]*c[8] -96*c[1]*c[2]*c[3]*c[4]*c[9] +45*c[1]*c[2]*c[3]*c[5]*c[8] -9*c[1]*c[2]*c[3]*c[6]*c[7] +108*c[1]*c[2]*c[4]^2*c[8] -58*c[1]*c[2]*c[4]*c[5]*c[7] -18*c[1]*c[2]*c[4]*c[6]^2 +28*c[1]*c[2]*c[5]^2*c[6] -27*c[1]*c[3]^2*c[4]*c[8] -7*c[1]*c[3]^2*c[5]*c[7] +8*c[1]*c[3]^2*c[6]^2 +38*c[1]*c[3]*c[4]^2*c[7] -41*c[1]*c[3]*c[4]*c[5]*c[6] +7*c[1]*c[3]*c[5]^3 +30*c[1]*c[4]^3*c[6] -8*c[1]*c[4]^2*c[5]^2 -12*c[2]^3*c[4]*c[9] +22*c[2]^3*c[5]*c[8] -10*c[2]^3*c[6]*c[7] -22*c[2]^2*c[3]*c[4]*c[8] +18*c[2]^2*c[3]*c[5]*c[7] -8*c[2]^2*c[3]*c[6]^2 +21*c[2]^2*c[4]^2*c[7] -16*c[2]^2*c[4]*c[5]*c[6] +7*c[2]^2*c[5]^3 -11*c[2]*c[3]^2*c[4]*c[7] +c[2]*c[3]^2*c[5]*c[6] +12*c[2]*c[3]*c[4]^2*c[6] -10*c[2]*c[3]*c[4]*c[5]^2 +8*c[2]*c[4]^3*c[5] -c[3]^3*c[4]*c[6] -4*c[3]^2*c[4]^2*c[5] +5*c[3]*c[4]^4 -432*c[1]^2*c[4]*c[13] +288*c[1]^2*c[5]*c[12] +420*c[1]^2*c[6]*c[11] -300*c[1]^2*c[7]*c[10] +24*c[1]^2*c[8]*c[9] -576*c[1]*c[2]*c[4]*c[12] +780*c[1]*c[2]*c[5]*c[11] -130*c[1]*c[2]*c[6]*c[10] -60*c[1]*c[2]*c[7]*c[9] -14*c[1]*c[2]*c[8]^2 -456*c[1]*c[3]*c[4]*c[11] -14*c[1]*c[3]*c[5]*c[10] +158*c[1]*c[3]*c[6]*c[9] -48*c[1]*c[3]*c[7]*c[8] +684*c[1]*c[4]^2*c[10] -404*c[1]*c[4]*c[5]*c[9] +24*c[1]*c[4]*c[6]*c[8] -52*c[1]*c[4]*c[7]^2 +64*c[1]*c[5]^2*c[8] +32*c[1]*c[5]*c[6]*c[7] +12*c[1]*c[6]^3 -168*c[2]^2*c[4]*c[11] +284*c[2]^2*c[5]*c[10] -134*c[2]^2*c[6]*c[9] +18*c[2]^2*c[7]*c[8] -236*c[2]*c[3]*c[4]*c[10] +97*c[2]*c[3]*c[5]*c[9] -34*c[2]*c[3]*c[6]*c[8] +17*c[2]*c[3]*c[7]^2 +282*c[2]*c[4]^2*c[9] -146*c[2]*c[4]*c[5]*c[8] -46*c[2]*c[4]*c[6]*c[7] +66*c[2]*c[5]^2*c[7] -71*c[3]^2*c[4]*c[9] -18*c[3]^2*c[5]*c[8] +19*c[3]^2*c[6]*c[7] +108*c[3]*c[4]^2*c[8] -117*c[3]*c[4]*c[5]*c[7] +17*c[3]*c[5]^2*c[6] +74*c[4]^3*c[7] -2*c[4]^2*c[5]*c[6] -10*c[4]*c[5]^3 -792*c[1]*c[4]*c[14] +300*c[1]*c[5]*c[13] +960*c[1]*c[6]*c[12] -360*c[1]*c[7]*c[11] -168*c[1]*c[8]*c[10] +60*c[1]*c[9]^2 -588*c[2]*c[4]*c[13] +766*c[2]*c[5]*c[12] -172*c[2]*c[6]*c[11] +72*c[2]*c[7]*c[10] -78*c[2]*c[8]*c[9] -502*c[3]*c[4]*c[12] -89*c[3]*c[5]*c[11] +178*c[3]*c[6]*c[10] +17*c[3]*c[7]*c[9] -36*c[3]*c[8]^2 +837*c[4]^2*c[11] -514*c[4]*c[5]*c[10] +58*c[4]*c[6]*c[9] -56*c[4]*c[7]*c[8] +63*c[5]^2*c[9] +14*c[5]*c[6]*c[8] +9*c[5]*c[7]^2 +21*c[6]^2*c[7] -432*c[4]*c[15] -72*c[5]*c[14] +720*c[6]*c[13] -288*c[8]*c[11] +72*c[9]*c[10]

2376*s[[14,4,1]] +5184*s[[14,5]] +1296*s[[15,4]] +11*s[[5,4,4,3,3]] +24*s[[5,4,4,4,2]] +6*s[[5,5,3,3,3]] +30*s[[5,5,4,3,2]] +24*s[[5,5,4,4,1]] +12*s[[5,5,5,2,2]] +24*s[[5,5,5,3,1]] +6*s[[6,4,3,3,3]] +60*s[[6,4,4,3,2]] +89*s[[6,4,4,4,1]] +42*s[[6,5,3,3,2]] +68*s[[6,5,4,2,2]] +155*s[[6,5,4,3,1]] +113*s[[6,5,4,4]] +97*s[[6,5,5,2,1]] +113*s[[6,5,5,3]] +30*s[[6,6,3,2,2]] +42*s[[6,6,3,3,1]] +133*s[[6,6,4,2,1]] +155*s[[6,6,4,3]] +5*s[[4,4,4,4,3]] +396*s[[11,4,2,1,1]] +900*s[[11,4,2,2]] +2664*s[[11,4,3,1]] +3661*s[[11,4,4]] +648*s[[11,5,1,1,1]] +5580*s[[11,5,2,1]] +7068*s[[11,5,3]] +4536*s[[11,6,1,1]] +8640*s[[11,6,2]] +5616*s[[11,7,1]] +1296*s[[11,8]] +216*s[[12,4,1,1,1]] +2160*s[[12,4,2,1]] +3450*s[[12,4,3]] +4104*s[[12,5,1,1]] +8568*s[[12,5,2]] +10368*s[[12,6,1]] +5184*s[[12,7]] +1296*s[[13,4,1,1]] +3060*s[[13,4,2]] +8208*s[[13,5,1]] +7776*s[[13,6]] +468*s[[9,5,2,2,1]] +918*s[[9,5,3,1,1]] +2394*s[[9,5,3,2]] +3275*s[[9,5,4,1]] +1348*s[[9,5,5]] +756*s[[9,6,2,1,1]] +1440*s[[9,6,2,2]] +3294*s[[9,6,3,1]] +3120*s[[9,6,4]] +216*s[[9,7,1,1,1]] +1620*s[[9,7,2,1]] +2244*s[[9,7,3]] +216*s[[9,8,1,1]] +684*s[[9,8,2]] +216*s[[10,4,2,2,1]] +510*s[[10,4,3,1,1]] +1434*s[[10,4,3,2]] +2940*s[[10,4,4,1]] +972*s[[10,5,2,1,1]] +2052*s[[10,5,2,2]] +5046*s[[10,5,3,1]] +4462*s[[10,5,4]] +648*s[[10,6,1,1,1]] +4860*s[[10,6,2,1]] +5472*s[[10,6,3]] +1944*s[[10,7,1,1]] +3816*s[[10,7,2]] +1080*s[[10,8,1]] +66*s[[8,4,3,2,2]] +150*s[[8,4,3,3,1]] +444*s[[8,4,4,2,1]] +840*s[[8,4,4,3]] +72*s[[8,5,2,2,2]] +570*s[[8,5,3,2,1]] +732*s[[8,5,3,3]] +603*s[[8,5,4,1,1]] +1653*s[[8,5,4,2]] +943*s[[8,5,5,1]] +288*s[[8,6,2,2,1]] +522*s[[8,6,3,1,1]] +1200*s[[8,6,3,2]] +1935*s[[8,6,4,1]] +1192*s[[8,6,5]] +180*s[[8,7,2,1,1]] +324*s[[8,7,2,2]] +1026*s[[8,7,3,1]] +1234*s[[8,7,4]] +180*s[[8,8,2,1]] +390*s[[8,8,3]] +36*s[[9,4,2,2,2]] +360*s[[9,4,3,2,1]] +540*s[[9,4,3,3]] +575*s[[9,4,4,1,1]] +1729*s[[9,4,4,2]] +86*s[[6,6,5,1,1]] +186*s[[6,6,5,2]] +104*s[[6,6,6,1]] +36*s[[7,4,3,3,2]] +85*s[[7,4,4,2,2]] +239*s[[7,4,4,3,1]] +300*s[[7,4,4,4]] +96*s[[7,5,3,2,2]] +192*s[[7,5,3,3,1]] +397*s[[7,5,4,2,1]] +605*s[[7,5,4,3]] +170*s[[7,5,5,1,1]] +426*s[[7,5,5,2]] +36*s[[7,6,2,2,2]] +240*s[[7,6,3,2,1]] +234*s[[7,6,3,3]] +309*s[[7,6,4,1,1]] +741*s[[7,6,4,2]] +675*s[[7,6,5,1]] +280*s[[7,6,6]] +36*s[[7,7,2,2,1]] +114*s[[7,7,3,1,1]] +240*s[[7,7,3,2]] +520*s[[7,7,4,1]] +420*s[[7,7,5]]

-18*c[1]^2*c[3]*c[5]*c[9] -12*c[1]^2*c[3]*c[6]*c[8] +30*c[1]^2*c[3]*c[7]^2 +18*c[1]^2*c[4]^2*c[9] +12*c[1]^2*c[4]*c[5]*c[8] -48*c[1]^2*c[4]*c[6]*c[7] -12*c[1]^2*c[5]^2*c[7] +30*c[1]^2*c[5]*c[6]^2 -27*c[1]*c[2]*c[3]*c[5]*c[8] +27*c[1]*c[2]*c[3]*c[6]*c[7] +27*c[1]*c[2]*c[4]^2*c[8] -27*c[1]*c[2]*c[4]*c[5]*c[7] -27*c[1]*c[2]*c[4]*c[6]^2 +27*c[1]*c[2]*c[5]^2*c[6] +3*c[1]*c[3]^2*c[5]*c[7] -3*c[1]*c[3]^2*c[6]^2 -3*c[1]*c[3]*c[4]^2*c[7] +6*c[1]*c[3]*c[4]*c[5]*c[6] -3*c[1]*c[3]*c[5]^3 -9*c[2]^2*c[3]*c[5]*c[7] +9*c[2]^2*c[3]*c[6]^2 +9*c[2]^2*c[4]^2*c[7] -18*c[2]^2*c[4]*c[5]*c[6] +9*c[2]^2*c[5]^3 -54*c[1]*c[3]*c[5]*c[10] -54*c[1]*c[3]*c[6]*c[9] +108*c[1]*c[3]*c[7]*c[8] +54*c[1]*c[4]^2*c[10] +54*c[1]*c[4]*c[5]*c[9] -54*c[1]*c[4]*c[6]*c[8] -108*c[1]*c[4]*c[7]^2 -54*c[1]*c[5]^2*c[8] +108*c[1]*c[5]*c[6]*c[7] -45*c[2]*c[3]*c[5]*c[9] +48*c[2]*c[3]*c[6]*c[8] -3*c[2]*c[3]*c[7]^2 +45*c[2]*c[4]^2*c[9] -48*c[2]*c[4]*c[5]*c[8] -42*c[2]*c[4]*c[6]*c[7] +48*c[2]*c[5]^2*c[7] -3*c[2]*c[5]*c[6]^2 +9*c[3]^2*c[5]*c[8] -9*c[3]^2*c[6]*c[7] -9*c[3]*c[4]^2*c[8] +15*c[3]*c[4]*c[5]*c[7] +3*c[3]*c[4]*c[6]^2 -9*c[3]*c[5]^2*c[6] -6*c[4]^3*c[7] +12*c[4]^2*c[5]*c[6] -6*c[4]*c[5]^3 -36*c[3]*c[5]*c[11] -60*c[3]*c[6]*c[10] -12*c[3]*c[7]*c[9] +108*c[3]*c[8]^2 +36*c[4]^2*c[11] +60*c[4]*c[5]*c[10] +72*c[4]*c[6]*c[9] -204*c[4]*c[7]*c[8] -60*c[5]^2*c[9] -12*c[5]*c[6]*c[8] +108*c[5]*c[7]^2

84*s[[6,6,6,1]] +51*s[[7,5,5,1,1]] +123*s[[7,5,5,2]] +333*s[[7,6,5,1]] +210*s[[7,6,6]] +345*s[[7,7,5]] +186*s[[8,5,5,1]] +417*s[[8,6,5]] +171*s[[9,5,5]] +9*s[[5,5,5,2,2]] +6*s[[5,5,5,3,1]] +42*s[[6,5,5,2,1]] +24*s[[6,5,5,3]] +66*s[[6,6,5,1,1]] +78*s[[6,6,5,2]]

-8*c[1]^2*c[3]*c[5]*c[9] +12*c[1]^2*c[3]*c[6]*c[8] -4*c[1]^2*c[3]*c[7]^2 +8*c[1]^2*c[4]^2*c[9] -12*c[1]^2*c[4]*c[5]*c[8] -4*c[1]^2*c[4]*c[6]*c[7] +12*c[1]^2*c[5]^2*c[7] -4*c[1]^2*c[5]*c[6]^2 -4*c[1]*c[2]*c[3]*c[5]*c[8] +4*c[1]*c[2]*c[3]*c[6]*c[7] +4*c[1]*c[2]*c[4]^2*c[8] -4*c[1]*c[2]*c[4]*c[5]*c[7] -4*c[1]*c[2]*c[4]*c[6]^2 +4*c[1]*c[2]*c[5]^2*c[6] -4*c[1]*c[3]^2*c[5]*c[7] +4*c[1]*c[3]^2*c[6]^2 +4*c[1]*c[3]*c[4]^2*c[7] -8*c[1]*c[3]*c[4]*c[5]*c[6] +4*c[1]*c[3]*c[5]^3 -24*c[1]*c[3]*c[5]*c[10] +12*c[1]*c[3]*c[6]*c[9] +12*c[1]*c[3]*c[7]*c[8] +24*c[1]*c[4]^2*c[10] -12*c[1]*c[4]*c[5]*c[9] -12*c[1]*c[4]*c[6]*c[8] -24*c[1]*c[4]*c[7]^2 +36*c[1]*c[5]*c[6]*c[7] -12*c[1]*c[6]^3 -4*c[2]*c[3]*c[5]*c[9] -12*c[2]*c[3]*c[6]*c[8] +16*c[2]*c[3]*c[7]^2 +4*c[2]*c[4]^2*c[9] +12*c[2]*c[4]*c[5]*c[8] -20*c[2]*c[4]*c[6]*c[7] -12*c[2]*c[5]^2*c[7] +16*c[2]*c[5]*c[6]^2 -8*c[3]^2*c[5]*c[8] +8*c[3]^2*c[6]*c[7] +8*c[3]*c[4]^2*c[8] -4*c[3]*c[4]*c[5]*c[7] -12*c[3]*c[4]*c[6]^2 +8*c[3]*c[5]^2*c[6] -4*c[4]^3*c[7] +8*c[4]^2*c[5]*c[6] -4*c[4]*c[5]^3 -16*c[3]*c[5]*c[11] -24*c[3]*c[6]*c[10] +64*c[3]*c[7]*c[9] -24*c[3]*c[8]^2 +16*c[4]^2*c[11] +24*c[4]*c[5]*c[10] -20*c[4]*c[6]*c[9] -36*c[4]*c[7]*c[8] -44*c[5]^2*c[9] +84*c[5]*c[6]*c[8] -4*c[5]*c[7]^2 -20*c[6]^2*c[7]

16*s[[7,5,5,1,1]] +32*s[[7,5,5,2]] +64*s[[7,6,5,1]] +64*s[[8,5,5,1]] +128*s[[8,6,5]] +64*s[[9,5,5]] +4*s[[5,5,5,3,1]] +8*s[[6,5,5,2,1]] +16*s[[6,5,5,3]] +32*s[[6,6,5,2]]

-16*c[1]^2*c[3]*c[5]*c[9] +24*c[1]^2*c[3]*c[6]*c[8] -8*c[1]^2*c[3]*c[7]^2 +16*c[1]^2*c[4]^2*c[9] -24*c[1]^2*c[4]*c[5]*c[8] -8*c[1]^2*c[4]*c[6]*c[7] +24*c[1]^2*c[5]^2*c[7] -8*c[1]^2*c[5]*c[6]^2 -8*c[1]*c[2]*c[3]*c[5]*c[8] +8*c[1]*c[2]*c[3]*c[6]*c[7] +8*c[1]*c[2]*c[4]^2*c[8] -8*c[1]*c[2]*c[4]*c[5]*c[7] -8*c[1]*c[2]*c[4]*c[6]^2 +8*c[1]*c[2]*c[5]^2*c[6] -8*c[1]*c[3]^2*c[5]*c[7] +8*c[1]*c[3]^2*c[6]^2 +8*c[1]*c[3]*c[4]^2*c[7] -16*c[1]*c[3]*c[4]*c[5]*c[6] +8*c[1]*c[3]*c[5]^3 -96*c[1]*c[3]*c[5]*c[10] +112*c[1]*c[3]*c[6]*c[9] -16*c[1]*c[3]*c[7]*c[8] +96*c[1]*c[4]^2*c[10] -112*c[1]*c[4]*c[5]*c[9] -96*c[1]*c[4]*c[6]*c[8] +16*c[1]*c[4]*c[7]^2 +112*c[1]*c[5]^2*c[8] -16*c[1]*c[5]*c[6]*c[7] -32*c[2]*c[3]*c[5]*c[9] +24*c[2]*c[3]*c[6]*c[8] +8*c[2]*c[3]*c[7]^2 +32*c[2]*c[4]^2*c[9] -24*c[2]*c[4]*c[5]*c[8] -40*c[2]*c[4]*c[6]*c[7] +24*c[2]*c[5]^2*c[7] +8*c[2]*c[5]*c[6]^2 -24*c[3]^2*c[5]*c[8] +24*c[3]^2*c[6]*c[7] +24*c[3]*c[4]^2*c[8] -32*c[3]*c[4]*c[5]*c[7] -16*c[3]*c[4]*c[6]^2 +24*c[3]*c[5]^2*c[6] +8*c[4]^3*c[7] -16*c[4]^2*c[5]*c[6] +8*c[4]*c[5]^3 -128*c[3]*c[5]*c[11] +128*c[3]*c[6]*c[10] +32*c[3]*c[7]*c[9] -32*c[3]*c[8]^2 +128*c[4]^2*c[11] -128*c[4]*c[5]*c[10] -160*c[4]*c[6]*c[9] +32*c[4]*c[7]*c[8] +128*c[5]^2*c[9] +32*c[5]*c[6]*c[8] -32*c[5]*c[7]^2

32*s[[7,5,5,1,1]] +112*s[[7,5,5,2]] +96*s[[7,6,5,1]] +224*s[[8,5,5,1]] +192*s[[8,6,5]] +320*s[[9,5,5]] +8*s[[5,5,5,3,1]] +16*s[[5,5,5,4]] +16*s[[6,5,5,2,1]] +56*s[[6,5,5,3]] +48*s[[6,6,5,2]]

-14400*c[1]^4*c[3]*c[13] +17712*c[1]^4*c[4]*c[12] -2800*c[1]^4*c[5]*c[11] -380*c[1]^4*c[6]*c[10] -80*c[1]^4*c[7]*c[9] -52*c[1]^4*c[8]^2 -18480*c[1]^3*c[2]*c[3]*c[12] +23076*c[1]^3*c[2]*c[4]*c[11] -3962*c[1]^3*c[2]*c[5]*c[10] -458*c[1]^3*c[2]*c[6]*c[9] -176*c[1]^3*c[2]*c[7]*c[8] -6676*c[1]^3*c[3]^2*c[11] +5950*c[1]^3*c[3]*c[4]*c[10] -2605*c[1]^3*c[3]*c[5]*c[9] -826*c[1]^3*c[3]*c[6]*c[8] -255*c[1]^3*c[3]*c[7]^2 +3059*c[1]^3*c[4]^2*c[9] +970*c[1]^3*c[4]*c[5]*c[8] +758*c[1]^3*c[4]*c[6]*c[7] -256*c[1]^3*c[5]^2*c[7] -119*c[1]^3*c[5]*c[6]^2 -8520*c[1]^2*c[2]^2*c[3]*c[11] +10854*c[1]^2*c[2]^2*c[4]*c[10] -2057*c[1]^2*c[2]^2*c[5]*c[9] -210*c[1]^2*c[2]^2*c[6]*c[8] -67*c[1]^2*c[2]^2*c[7]^2 -5894*c[1]^2*c[2]*c[3]^2*c[10] +5566*c[1]^2*c[2]*c[3]*c[4]*c[9] -2488*c[1]^2*c[2]*c[3]*c[5]*c[8] -762*c[1]^2*c[2]*c[3]*c[6]*c[7] +2656*c[1]^2*c[2]*c[4]^2*c[8] +798*c[1]^2*c[2]*c[4]*c[5]*c[7] +404*c[1]^2*c[2]*c[4]*c[6]^2 -280*c[1]^2*c[2]*c[5]^2*c[6] -969*c[1]^2*c[3]^3*c[9] +650*c[1]^2*c[3]^2*c[4]*c[8] -582*c[1]^2*c[3]^2*c[5]*c[7] -151*c[1]^2*c[3]^2*c[6]^2 +752*c[1]^2*c[3]*c[4]^2*c[7] +180*c[1]^2*c[3]*c[4]*c[5]*c[6] -75*c[1]^2*c[3]*c[5]^3 +126*c[1]^2*c[4]^3*c[6] +69*c[1]^2*c[4]^2*c[5]^2 -1680*c[1]*c[2]^3*c[3]*c[10] +2196*c[1]*c[2]^3*c[4]*c[9] -466*c[1]*c[2]^3*c[5]*c[8] -50*c[1]*c[2]^3*c[6]*c[7] -1676*c[1]*c[2]^2*c[3]^2*c[9] +1686*c[1]*c[2]^2*c[3]*c[4]*c[8] -805*c[1]*c[2]^2*c[3]*c[5]*c[7] -137*c[1]*c[2]^2*c[3]*c[6]^2 +763*c[1]*c[2]^2*c[4]^2*c[7] +222*c[1]*c[2]^2*c[4]*c[5]*c[6] -53*c[1]*c[2]^2*c[5]^3 -532*c[1]*c[2]*c[3]^3*c[8] +402*c[1]*c[2]*c[3]^2*c[4]*c[7] -398*c[1]*c[2]*c[3]^2*c[5]*c[6] +442*c[1]*c[2]*c[3]*c[4]^2*c[6] +6*c[1]*c[2]*c[3]*c[4]*c[5]^2 +80*c[1]*c[2]*c[4]^3*c[5] -54*c[1]*c[3]^4*c[7] +26*c[1]*c[3]^3*c[4]*c[6] -46*c[1]*c[3]^3*c[5]^2 +62*c[1]*c[3]^2*c[4]^2*c[5] +12*c[1]*c[3]*c[4]^4 -120*c[2]^4*c[3]*c[9] +162*c[2]^4*c[4]*c[8] -39*c[2]^4*c[5]*c[7] -3*c[2]^4*c[6]^2 -154*c[2]^3*c[3]^2*c[8] +166*c[2]^3*c[3]*c[4]*c[7] -90*c[2]^3*c[3]*c[5]*c[6] +74*c[2]^3*c[4]^2*c[6] +4*c[2]^3*c[4]*c[5]^2 -71*c[2]^2*c[3]^3*c[7] +60*c[2]^2*c[3]^2*c[4]*c[6] -53*c[2]^2*c[3]^2*c[5]^2 +57*c[2]^2*c[3]*c[4]^2*c[5] +7*c[2]^2*c[4]^4 -14*c[2]*c[3]^4*c[6] -4*c[2]*c[3]^3*c[4]*c[5] +18*c[2]*c[3]^2*c[4]^3 -2*c[3]^5*c[5] +2*c[3]^4*c[4]^2 -201600*c[1]^3*c[3]*c[14] +246240*c[1]^3*c[4]*c[13] -39104*c[1]^3*c[5]*c[12] -3728*c[1]^3*c[6]*c[11] -1012*c[1]^3*c[7]*c[10] -796*c[1]^3*c[8]*c[9] -201120*c[1]^2*c[2]*c[3]*c[13] +248616*c[1]^2*c[2]*c[4]*c[12] -42328*c[1]^2*c[2]*c[5]*c[11] -3242*c[1]^2*c[2]*c[6]*c[10] -1388*c[1]^2*c[2]*c[7]*c[9] -538*c[1]^2*c[2]*c[8]^2 -74984*c[1]^2*c[3]^2*c[12] +64464*c[1]^2*c[3]*c[4]*c[11] -29186*c[1]^2*c[3]*c[5]*c[10] -8055*c[1]^2*c[3]*c[6]*c[9] -4647*c[1]^2*c[3]*c[7]*c[8] +35280*c[1]^2*c[4]^2*c[10] +10723*c[1]^2*c[4]*c[5]*c[9] +7987*c[1]^2*c[4]*c[6]*c[8] +3066*c[1]^2*c[4]*c[7]^2 -2692*c[1]^2*c[5]^2*c[8] -1853*c[1]^2*c[5]*c[6]*c[7] -103*c[1]^2*c[6]^3 -63840*c[1]*c[2]^2*c[3]*c[12] +80208*c[1]*c[2]^2*c[4]*c[11] -14874*c[1]*c[2]^2*c[5]*c[10] -901*c[1]*c[2]^2*c[6]*c[9] -593*c[1]*c[2]^2*c[7]*c[8] -45448*c[1]*c[2]*c[3]^2*c[11] +41218*c[1]*c[2]*c[3]*c[4]*c[10] -18595*c[1]*c[2]*c[3]*c[5]*c[9] -4644*c[1]*c[2]*c[3]*c[6]*c[8] -1787*c[1]*c[2]*c[3]*c[7]^2 +20777*c[1]*c[2]*c[4]^2*c[9] +5798*c[1]*c[2]*c[4]*c[5]*c[8] +5226*c[1]*c[2]*c[4]*c[6]*c[7] -1766*c[1]*c[2]*c[5]^2*c[7] -779*c[1]*c[2]*c[5]*c[6]^2 -7672*c[1]*c[3]^3*c[10] +4711*c[1]*c[3]^2*c[4]*c[9] -4351*c[1]*c[3]^2*c[5]*c[8] -1556*c[1]*c[3]^2*c[6]*c[7] +5882*c[1]*c[3]*c[4]^2*c[8] +1202*c[1]*c[3]*c[4]*c[5]*c[7] +784*c[1]*c[3]*c[4]*c[6]^2 -876*c[1]*c[3]*c[5]^2*c[6] +1001*c[1]*c[4]^3*c[7] +865*c[1]*c[4]^2*c[5]*c[6] +10*c[1]*c[4]*c[5]^3 -6480*c[2]^3*c[3]*c[11] +8316*c[2]^3*c[4]*c[10] -1704*c[2]^3*c[5]*c[9] -93*c[2]^3*c[6]*c[8] -39*c[2]^3*c[7]^2 -6636*c[2]^2*c[3]^2*c[10] +6378*c[2]^2*c[3]*c[4]*c[9] -2967*c[2]^2*c[3]*c[5]*c[8] -707*c[2]^2*c[3]*c[6]*c[7] +3001*c[2]^2*c[4]^2*c[8] +764*c[2]^2*c[4]*c[5]*c[7] +476*c[2]^2*c[4]*c[6]^2 -309*c[2]^2*c[5]^2*c[6] -2158*c[2]*c[3]^3*c[9] +1495*c[2]*c[3]^2*c[4]*c[8] -1389*c[2]*c[3]^2*c[5]*c[7] -242*c[2]*c[3]^2*c[6]^2 +1705*c[2]*c[3]*c[4]^2*c[7] +314*c[2]*c[3]*c[4]*c[5]*c[6] -145*c[2]*c[3]*c[5]^3 +297*c[2]*c[4]^3*c[6] +123*c[2]*c[4]^2*c[5]^2 -224*c[3]^4*c[8] +101*c[3]^3*c[4]*c[7] -202*c[3]^3*c[5]*c[6] +252*c[3]^2*c[4]^2*c[6] -15*c[3]^2*c[4]*c[5]^2 +85*c[3]*c[4]^3*c[5] +3*c[4]^5 -1022400*c[1]^2*c[3]*c[15] +1242000*c[1]^2*c[4]*c[14] -197888*c[1]^2*c[5]*c[13] -12660*c[1]^2*c[6]*c[12] -5260*c[1]^2*c[7]*c[11] -2460*c[1]^2*c[8]*c[10] -1332*c[1]^2*c[9]^2 -707280*c[1]*c[2]*c[3]*c[14] +867276*c[1]*c[2]*c[4]*c[13] -146466*c[1]*c[2]*c[5]*c[12] -6812*c[1]*c[2]*c[6]*c[11] -4328*c[1]*c[2]*c[7]*c[10] -2390*c[1]*c[2]*c[8]*c[9] -272876*c[1]*c[3]^2*c[13] +226846*c[1]*c[3]*c[4]*c[12] -106963*c[1]*c[3]*c[5]*c[11] -27283*c[1]*c[3]*c[6]*c[10] -15493*c[1]*c[3]*c[7]*c[9] -5643*c[1]*c[3]*c[8]^2 +132391*c[1]*c[4]^2*c[11] +39839*c[1]*c[4]*c[5]*c[10] +29338*c[1]*c[4]*c[6]*c[9] +18095*c[1]*c[4]*c[7]*c[8] -9719*c[1]*c[5]^2*c[9] -5903*c[1]*c[5]*c[6]*c[8] -2181*c[1]*c[5]*c[7]^2 -448*c[1]*c[6]^2*c[7] -116280*c[2]^2*c[3]*c[13] +144450*c[2]^2*c[4]*c[12] -26253*c[2]^2*c[5]*c[11] -779*c[2]^2*c[6]*c[10] -819*c[2]^2*c[7]*c[9] -319*c[2]^2*c[8]^2 -85386*c[2]*c[3]^2*c[12] +74616*c[2]*c[3]*c[4]*c[11] -34421*c[2]*c[3]*c[5]*c[10] -7654*c[2]*c[3]*c[6]*c[9] -5257*c[2]*c[3]*c[7]*c[8] +39929*c[2]*c[4]^2*c[10] +10922*c[2]*c[4]*c[5]*c[9] +9173*c[2]*c[4]*c[6]*c[8] +3367*c[2]*c[4]*c[7]^2 -3086*c[2]*c[5]^2*c[8] -2181*c[2]*c[5]*c[6]*c[7] -22*c[2]*c[6]^3 -14831*c[3]^3*c[11] +8335*c[3]^2*c[4]*c[10] -8206*c[3]^2*c[5]*c[9] -2426*c[3]^2*c[6]*c[8] -1044*c[3]^2*c[7]^2 +11421*c[3]*c[4]^2*c[9] +2097*c[3]*c[4]*c[5]*c[8] +2473*c[3]*c[4]*c[6]*c[7] -1375*c[3]*c[5]^2*c[7] -697*c[3]*c[5]*c[6]^2 +2033*c[4]^3*c[8] +1469*c[4]^2*c[5]*c[7] +655*c[4]^2*c[6]^2 +128*c[4]*c[5]^2*c[6] -32*c[5]^4 -2217600*c[1]*c[3]*c[16] +2682720*c[1]*c[4]*c[15] -428464*c[1]*c[5]*c[14] -17136*c[1]*c[6]*c[13] -12208*c[1]*c[7]*c[12] -3552*c[1]*c[8]*c[11] -3760*c[1]*c[9]*c[10] -801120*c[2]*c[3]*c[15] +976104*c[2]*c[4]*c[14] -163596*c[2]*c[5]*c[13] -3856*c[2]*c[6]*c[12] -4888*c[2]*c[7]*c[11] -1832*c[2]*c[8]*c[10] -812*c[2]*c[9]^2 -320824*c[3]^2*c[14] +258340*c[3]*c[4]*c[13] -127562*c[3]*c[5]*c[12] -31422*c[3]*c[6]*c[11] -18006*c[3]*c[7]*c[10] -10614*c[3]*c[8]*c[9] +160986*c[4]^2*c[12] +48902*c[4]*c[5]*c[11] +36126*c[4]*c[6]*c[10] +19386*c[4]*c[7]*c[9] +7650*c[4]*c[8]^2 -11752*c[5]^2*c[10] -6644*c[5]*c[6]*c[9] -4092*c[5]*c[7]*c[8] -138*c[6]^2*c[8] -336*c[6]*c[7]^2 -1728000*c[3]*c[17] +2083968*c[4]*c[16] -333408*c[5]*c[15] -7376*c[6]*c[14] -10192*c[7]*c[13] -1968*c[8]*c[12] -2000*c[9]*c[11] -1024*c[10]^2

2*s[[4,4,3,3,3,3]] +24*s[[4,4,4,3,3,2]] +29*s[[4,4,4,4,2,2]] +61*s[[4,4,4,4,3,1]] +42*s[[4,4,4,4,4]] +40*s[[5,4,3,3,3,2]] +194*s[[5,4,4,3,2,2]] +350*s[[5,4,4,3,3,1]] +570*s[[5,4,4,4,2,1]] +795*s[[5,4,4,4,3]] +108*s[[5,5,3,3,2,2]] +180*s[[5,5,3,3,3,1]] +194*s[[5,5,4,2,2,2]] +1278*s[[5,5,4,3,2,1]] +1424*s[[5,5,4,3,3]] +1060*s[[5,5,4,4,1,1]] +2693*s[[5,5,4,4,2]] +540*s[[5,5,5,2,2,1]] +944*s[[5,5,5,3,1,1]] +2252*s[[5,5,5,3,2]] +2720*s[[5,5,5,4,1]] +664*s[[5,5,5,5]] +250*s[[6,4,3,3,2,2]] +430*s[[6,4,3,3,3,1]] +424*s[[6,4,4,2,2,2]] +2820*s[[6,4,4,3,2,1]] +3202*s[[6,4,4,3,3]] +2260*s[[6,4,4,4,1,1]] +5829*s[[6,4,4,4,2]] +406*s[[6,5,3,2,2,2]] +2146*s[[6,5,3,3,2,1]] +2242*s[[6,5,3,3,3]] +4200*s[[6,5,4,2,2,1]] +7310*s[[6,5,4,3,1,1]] +17538*s[[6,5,4,3,2]] +18976*s[[6,5,4,4,1]] +4452*s[[6,5,5,2,1,1]] +8620*s[[6,5,5,2,2]] +19380*s[[6,5,5,3,1]] +14574*s[[6,5,5,4]] +124*s[[6,6,2,2,2,2]] +2188*s[[6,6,3,2,2,1]] +3150*s[[6,6,3,3,1,1]] +7378*s[[6,6,3,3,2]] +7830*s[[6,6,4,2,1,1]] +15222*s[[6,6,4,2,2]] +33890*s[[6,6,4,3,1]] +23121*s[[6,6,4,4]] +3680*s[[6,6,5,1,1,1]] +28052*s[[6,6,5,2,1]] +31940*s[[6,6,5,3]] +8400*s[[6,6,6,1,1]] +16374*s[[6,6,6,2]] +620*s[[7,4,3,2,2,2]] +3300*s[[7,4,3,3,2,1]] +3500*s[[7,4,3,3,3]] +6160*s[[7,4,4,2,2,1]] +10660*s[[7,4,4,3,1,1]] +25786*s[[7,4,4,3,2]] +27087*s[[7,4,4,4,1]] +412*s[[7,5,2,2,2,2]] +6868*s[[7,5,3,2,2,1]] +9630*s[[7,5,3,3,1,1]] +22498*s[[7,5,3,3,2]] +23516*s[[7,5,4,2,1,1]] +45596*s[[7,5,4,2,2]] +99946*s[[7,5,4,3,1]] +66702*s[[7,5,4,4]] +8956*s[[7,5,5,1,1,1]] +67876*s[[7,5,5,2,1]] +75872*s[[7,5,5,3]] +2984*s[[7,6,2,2,2,1]] +16990*s[[7,6,3,2,1,1]] +32122*s[[7,6,3,2,2]] +57658*s[[7,6,3,3,1]] +19550*s[[7,6,4,1,1,1]] +148134*s[[7,6,4,2,1]] +162750*s[[7,6,4,3]] +81380*s[[7,6,5,1,1]] +157588*s[[7,6,5,2]] +68726*s[[7,6,6,1]] +5660*s[[7,7,2,2,1,1]] +10100*s[[7,7,2,2,2]] +10470*s[[7,7,3,1,1,1]] +74470*s[[7,7,3,2,1]] +65388*s[[7,7,3,3]] +94512*s[[7,7,4,1,1]] +182142*s[[7,7,4,2]] +144300*s[[7,7,5,1]] +52714*s[[7,7,6]] +528*s[[8,4,2,2,2,2]] +8752*s[[8,4,3,2,2,1]] +12250*s[[8,4,3,3,1,1]] +28798*s[[8,4,3,3,2]] +28924*s[[8,4,4,2,1,1]] +56344*s[[8,4,4,2,2]] +122770*s[[8,4,4,3,1]] +80212*s[[8,4,4,4]] +6656*s[[8,5,2,2,2,1]] +36430*s[[8,5,3,2,1,1]] +68506*s[[8,5,3,2,2]] +120598*s[[8,5,3,3,1]] +40610*s[[8,5,4,1,1,1]] +304654*s[[8,5,4,2,1]] +329192*s[[8,5,4,3]] +133820*s[[8,5,5,1,1]] +256802*s[[8,5,5,2]] +19840*s[[8,6,2,2,1,1]] +34864*s[[8,6,2,2,2]] +36150*s[[8,6,3,1,1,1]] +252034*s[[8,6,3,2,1]] +217608*s[[8,6,3,3]] +314708*s[[8,6,4,1,1]] +600906*s[[8,6,4,2]] +447882*s[[8,6,5,1]] +132220*s[[8,6,6]] +20320*s[[8,7,2,1,1,1]] +113560*s[[8,7,2,2,1]] +225352*s[[8,7,3,1,1]] +404380*s[[8,7,3,2]] +652768*s[[8,7,4,1]] +338278*s[[8,7,5]] +5432*s[[8,8,1,1,1,1]] +97696*s[[8,8,2,1,1]] +141824*s[[8,8,2,2]] +353018*s[[8,8,3,1]] +332154*s[[8,8,4]] +7680*s[[9,4,2,2,2,1]] +41740*s[[9,4,3,2,1,1]] +78820*s[[9,4,3,2,2]] +138460*s[[9,4,3,3,1]] +45384*s[[9,4,4,1,1,1]] +341292*s[[9,4,4,2,1]] +367380*s[[9,4,4,3]] +37220*s[[9,5,2,2,1,1]] +65084*s[[9,5,2,2,2]] +66288*s[[9,5,3,1,1,1]] +457284*s[[9,5,3,2,1]] +387840*s[[9,5,3,3]] +557084*s[[9,5,4,1,1]] +1055850*s[[9,5,4,2]] +624418*s[[9,5,5,1]] +50580*s[[9,6,2,1,1,1]] +276212*s[[9,6,2,2,1]] +540596*s[[9,6,3,1,1]] +958148*s[[9,6,3,2]] +1521954*s[[9,6,4,1]] +732332*s[[9,6,5]] +19984*s[[9,7,1,1,1,1]] +350792*s[[9,7,2,1,1]] +504472*s[[9,7,2,2]] +1244740*s[[9,7,3,1]] +1153846*s[[9,7,4]] +128064*s[[9,8,1,1,1]] +733436*s[[9,8,2,1]] +845304*s[[9,8,3]] +227792*s[[9,9,1,1]] +419336*s[[9,9,2]] +40080*s[[10,4,2,2,1,1]] +70320*s[[10,4,2,2,2]] +71000*s[[10,4,3,1,1,1]] +491400*s[[10,4,3,2,1]] +416570*s[[10,4,3,3]] +587832*s[[10,4,4,1,1]] +1114428*s[[10,4,4,2]] +86416*s[[10,5,2,1,1,1]] +468048*s[[10,5,2,2,1]] +901152*s[[10,5,3,1,1]] +1586238*s[[10,5,3,2]] +2472170*s[[10,5,4,1]] +936530*s[[10,5,5]] +43688*s[[10,6,1,1,1,1]] +744984*s[[10,6,2,1,1]] +1057588*s[[10,6,2,2]] +2578354*s[[10,6,3,1]] +2341172*s[[10,6,4]] +332112*s[[10,7,1,1,1]] +1870420*s[[10,7,2,1]] +2124678*s[[10,7,3]] +833824*s[[10,8,1,1]] +1522372*s[[10,8,2]] +794712*s[[10,9,1]] +206832*s[[10,10]] +88800*s[[11,4,2,1,1,1]] +482400*s[[11,4,2,2,1]] +925120*s[[11,4,3,1,1]] +1630300*s[[11,4,3,2]] +2508104*s[[11,4,4,1]] +70608*s[[11,5,1,1,1,1]] +1190576*s[[11,5,2,1,1]] +1681340*s[[11,5,2,2]] +4050392*s[[11,5,3,1]] +3612240*s[[11,5,4]] +660064*s[[11,6,1,1,1]] +3652060*s[[11,6,2,1]] +4082916*s[[11,6,3]] +1884552*s[[11,7,1,1]] +3405924*s[[11,7,2]] +2091416*s[[11,8,1]] +765168*s[[11,9]] +70272*s[[12,4,1,1,1,1]] +1187328*s[[12,4,2,1,1]] +1678800*s[[12,4,2,2]] +4032952*s[[12,4,3,1]] +3565360*s[[12,4,4]] +1016448*s[[12,5,1,1,1]] +5580656*s[[12,5,2,1]] +6169192*s[[12,5,3]] +3536104*s[[12,6,1,1]] +6327608*s[[12,6,2]] +4411912*s[[12,7,1]] +1785136*s[[12,8]] +990720*s[[13,4,1,1,1]] +5443680*s[[13,4,2,1]] +6008240*s[[13,4,3]] +5264304*s[[13,5,1,1]] +9375760*s[[13,5,2]] +7979024*s[[13,6,1]] +3622768*s[[13,7]] +5051520*s[[14,4,1,1]] +8998080*s[[14,4,2]] +11598528*s[[14,5,1]] +6395136*s[[14,6]] +11001600*s[[15,4,1]] +9141696*s[[15,5]] +8598528*s[[16,4]]

-408*c[1]^4*c[4]*c[12] -1492*c[1]^4*c[5]*c[11] +2680*c[1]^4*c[6]*c[10] -668*c[1]^4*c[7]*c[9] -112*c[1]^4*c[8]^2 -1420*c[1]^3*c[2]*c[4]*c[11] -226*c[1]^3*c[2]*c[5]*c[10] +2596*c[1]^3*c[2]*c[6]*c[9] -950*c[1]^3*c[2]*c[7]*c[8] -576*c[1]^3*c[3]^2*c[11] +738*c[1]^3*c[3]*c[4]*c[10] -763*c[1]^3*c[3]*c[5]*c[9] +1110*c[1]^3*c[3]*c[6]*c[8] -341*c[1]^3*c[3]*c[7]^2 -181*c[1]^3*c[4]^2*c[9] -360*c[1]^3*c[4]*c[5]*c[8] +332*c[1]^3*c[4]*c[6]*c[7] -174*c[1]^3*c[5]^2*c[7] +215*c[1]^3*c[5]*c[6]^2 -1208*c[1]^2*c[2]^2*c[4]*c[10] +960*c[1]^2*c[2]^2*c[5]*c[9] +608*c[1]^2*c[2]^2*c[6]*c[8] -360*c[1]^2*c[2]^2*c[7]^2 -624*c[1]^2*c[2]*c[3]^2*c[10] +480*c[1]^2*c[2]*c[3]*c[4]*c[9] +9*c[1]^2*c[2]*c[3]*c[5]*c[8] +323*c[1]^2*c[2]*c[3]*c[6]*c[7] -359*c[1]^2*c[2]*c[4]^2*c[8] -182*c[1]^2*c[2]*c[4]*c[5]*c[7] +224*c[1]^2*c[2]*c[4]*c[6]^2 +129*c[1]^2*c[2]*c[5]^2*c[6] -244*c[1]^2*c[3]^3*c[9] +278*c[1]^2*c[3]^2*c[4]*c[8] -261*c[1]^2*c[3]^2*c[5]*c[7] +133*c[1]^2*c[3]^2*c[6]^2 +60*c[1]^2*c[3]*c[4]^2*c[7] +105*c[1]^2*c[3]*c[4]*c[5]*c[6] -29*c[1]^2*c[3]*c[5]^3 -9*c[1]^2*c[4]^3*c[6] -33*c[1]^2*c[4]^2*c[5]^2 -380*c[1]*c[2]^3*c[4]*c[9] +470*c[1]*c[2]^3*c[5]*c[8] -90*c[1]*c[2]^3*c[6]*c[7] -216*c[1]*c[2]^2*c[3]^2*c[9] +68*c[1]*c[2]^2*c[3]*c[4]*c[8] +220*c[1]*c[2]^2*c[3]*c[5]*c[7] -4*c[1]*c[2]^2*c[3]*c[6]^2 -190*c[1]*c[2]^2*c[4]^2*c[7] +76*c[1]*c[2]^2*c[4]*c[5]*c[6] +46*c[1]*c[2]^2*c[5]^3 -162*c[1]*c[2]*c[3]^3*c[8] +127*c[1]*c[2]*c[3]^2*c[4]*c[7] -15*c[1]*c[2]*c[3]^2*c[5]*c[6] +36*c[1]*c[2]*c[3]*c[4]^2*c[6] +40*c[1]*c[2]*c[3]*c[4]*c[5]^2 -26*c[1]*c[2]*c[4]^3*c[5] -33*c[1]*c[3]^4*c[7] +41*c[1]*c[3]^3*c[4]*c[6] -25*c[1]*c[3]^3*c[5]^2 +17*c[1]*c[3]^2*c[4]^2*c[5] -40*c[2]^4*c[4]*c[8] +60*c[2]^4*c[5]*c[7] -20*c[2]^4*c[6]^2 -24*c[2]^3*c[3]^2*c[8] -2*c[2]^3*c[3]*c[4]*c[7] +34*c[2]^3*c[3]*c[5]*c[6] -32*c[2]^3*c[4]^2*c[6] +24*c[2]^3*c[4]*c[5]^2 -26*c[2]^2*c[3]^3*c[7] +7*c[2]^2*c[3]^2*c[4]*c[6] +13*c[2]^2*c[3]^2*c[5]^2 +10*c[2]^2*c[3]*c[4]^2*c[5] -4*c[2]^2*c[4]^4 -11*c[2]*c[3]^4*c[6] +8*c[2]*c[3]^3*c[4]*c[5] +3*c[2]*c[3]^2*c[4]^3 -2*c[3]^5*c[5] +2*c[3]^4*c[4]^2 -4128*c[1]^3*c[4]*c[13] -14264*c[1]^3*c[5]*c[12] +21412*c[1]^3*c[6]*c[11] -472*c[1]^3*c[7]*c[10] -2548*c[1]^3*c[8]*c[9] -12104*c[1]^2*c[2]*c[4]*c[12] +1448*c[1]^2*c[2]*c[5]*c[11] +12470*c[1]^2*c[2]*c[6]*c[10] +352*c[1]^2*c[2]*c[7]*c[9] -2166*c[1]^2*c[2]*c[8]^2 -5184*c[1]^2*c[3]^2*c[12] +6780*c[1]^2*c[3]*c[4]*c[11] -5576*c[1]^2*c[3]*c[5]*c[10] +6093*c[1]^2*c[3]*c[6]*c[9] -649*c[1]^2*c[3]*c[7]*c[8] -1510*c[1]^2*c[4]^2*c[10] -2501*c[1]^2*c[4]*c[5]*c[9] +2015*c[1]^2*c[4]*c[6]*c[8] +198*c[1]^2*c[4]*c[7]^2 -1008*c[1]^2*c[5]^2*c[8] +839*c[1]^2*c[5]*c[6]*c[7] +503*c[1]^2*c[6]^3 -7288*c[1]*c[2]^2*c[4]*c[11] +7264*c[1]*c[2]^2*c[5]*c[10] -74*c[1]*c[2]^2*c[6]*c[9] +98*c[1]*c[2]^2*c[7]*c[8] -3888*c[1]*c[2]*c[3]^2*c[11] +2972*c[1]*c[2]*c[3]*c[4]*c[10] +1210*c[1]*c[2]*c[3]*c[5]*c[9] +194*c[1]*c[2]*c[3]*c[6]*c[8] +636*c[1]*c[2]*c[3]*c[7]^2 -2166*c[1]*c[2]*c[4]^2*c[9] -141*c[1]*c[2]*c[4]*c[5]*c[8] +265*c[1]*c[2]*c[4]*c[6]*c[7] +554*c[1]*c[2]*c[5]^2*c[7] +364*c[1]*c[2]*c[5]*c[6]^2 -1572*c[1]*c[3]^3*c[10] +1766*c[1]*c[3]^2*c[4]*c[9] -1173*c[1]*c[3]^2*c[5]*c[8] +277*c[1]*c[3]^2*c[6]*c[7] +534*c[1]*c[3]*c[4]^2*c[8] +160*c[1]*c[3]*c[4]*c[5]*c[7] +425*c[1]*c[3]*c[4]*c[6]^2 -131*c[1]*c[3]*c[5]^2*c[6] -106*c[1]*c[4]^3*c[7] -133*c[1]*c[4]^2*c[5]*c[6] -47*c[1]*c[4]*c[5]^3 -1200*c[2]^3*c[4]*c[10] +1660*c[2]^3*c[5]*c[9] -660*c[2]^3*c[6]*c[8] +200*c[2]^3*c[7]^2 -696*c[2]^2*c[3]^2*c[10] +194*c[2]^2*c[3]*c[4]*c[9] +995*c[2]^2*c[3]*c[5]*c[8] -285*c[2]^2*c[3]*c[6]*c[7] -579*c[2]^2*c[4]^2*c[8] +418*c[2]^2*c[4]*c[5]*c[7] -258*c[2]^2*c[4]*c[6]^2 +211*c[2]^2*c[5]^2*c[6] -538*c[2]*c[3]^3*c[9] +441*c[2]*c[3]^2*c[4]*c[8] +73*c[2]*c[3]^2*c[5]*c[7] -176*c[2]*c[3]^2*c[6]^2 +122*c[2]*c[3]*c[4]^2*c[7] +131*c[2]*c[3]*c[4]*c[5]*c[6] +37*c[2]*c[3]*c[5]^3 -86*c[2]*c[4]^3*c[6] -4*c[2]*c[4]^2*c[5]^2 -107*c[3]^4*c[8] +118*c[3]^3*c[4]*c[7] -88*c[3]^3*c[5]*c[6] +75*c[3]^2*c[4]^2*c[6] +c[3]^2*c[4]*c[5]^2 +2*c[3]*c[4]^3*c[5] -c[4]^5 -14568*c[1]^2*c[4]*c[14] -46100*c[1]^2*c[5]*c[13] +45660*c[1]^2*c[6]*c[12] +31220*c[1]^2*c[7]*c[11] -13812*c[1]^2*c[8]*c[10] -2400*c[1]^2*c[9]^2 -32804*c[1]*c[2]*c[4]*c[13] +15070*c[1]*c[2]*c[5]*c[12] +1642*c[1]*c[2]*c[6]*c[11] +27718*c[1]*c[2]*c[7]*c[10] -11626*c[1]*c[2]*c[8]*c[9] -14976*c[1]*c[3]^2*c[13] +20190*c[1]*c[3]*c[4]*c[12] -11839*c[1]*c[3]*c[5]*c[11] +4081*c[1]*c[3]*c[6]*c[10] +10999*c[1]*c[3]*c[7]*c[9] -4327*c[1]*c[3]*c[8]^2 -3971*c[1]*c[4]^2*c[11] -5043*c[1]*c[4]*c[5]*c[10] +875*c[1]*c[4]*c[6]*c[9] +3252*c[1]*c[4]*c[7]*c[8] -1860*c[1]*c[5]^2*c[9] -968*c[1]*c[5]*c[6]*c[8] +2052*c[1]*c[5]*c[7]^2 +1535*c[1]*c[6]^2*c[7] -10560*c[2]^2*c[4]*c[12] +13052*c[2]^2*c[5]*c[11] -6500*c[2]^2*c[6]*c[10] +6028*c[2]^2*c[7]*c[9] -2020*c[2]^2*c[8]^2 -5856*c[2]*c[3]^2*c[12] +4528*c[2]*c[3]*c[4]*c[11] +3761*c[2]*c[3]*c[5]*c[10] -4036*c[2]*c[3]*c[6]*c[9] +3243*c[2]*c[3]*c[7]*c[8] -3177*c[2]*c[4]^2*c[10] +1014*c[2]*c[4]*c[5]*c[9] -2731*c[2]*c[4]*c[6]*c[8] +1747*c[2]*c[4]*c[7]^2 +822*c[2]*c[5]^2*c[8] +981*c[2]*c[5]*c[6]*c[7] -296*c[2]*c[6]^3 -2456*c[3]^3*c[11] +2732*c[3]^2*c[4]*c[10] -1276*c[3]^2*c[5]*c[9] -1118*c[3]^2*c[6]*c[8] +874*c[3]^2*c[7]^2 +1018*c[3]*c[4]^2*c[9] +108*c[3]*c[4]*c[5]*c[8] +796*c[3]*c[4]*c[6]*c[7] +54*c[3]*c[5]^2*c[7] -256*c[3]*c[5]*c[6]^2 -196*c[4]^3*c[8] -12*c[4]^2*c[5]*c[7] -152*c[4]^2*c[6]^2 -112*c[4]*c[5]^2*c[6] -4*c[5]^4 -20928*c[1]*c[4]*c[15] -56464*c[1]*c[5]*c[14] -4296*c[1]*c[6]*c[13] +121712*c[1]*c[7]*c[12] -33744*c[1]*c[8]*c[11] -6280*c[1]*c[9]*c[10] -28120*c[2]*c[4]*c[14] +24796*c[2]*c[5]*c[13] -33704*c[2]*c[6]*c[12] +52700*c[2]*c[7]*c[11] -14496*c[2]*c[8]*c[10] -1176*c[2]*c[9]^2 -13824*c[3]^2*c[14] +19380*c[3]*c[4]*c[13] -6350*c[3]*c[5]*c[12] -11268*c[3]*c[6]*c[11] +22264*c[3]*c[7]*c[10] -6458*c[3]*c[8]*c[9] -3242*c[4]^2*c[12] -2344*c[4]*c[5]*c[11] -5601*c[4]*c[6]*c[10] +9136*c[4]*c[7]*c[9] -2095*c[4]*c[8]^2 -799*c[5]^2*c[10] -2726*c[5]*c[6]*c[9] +3206*c[5]*c[7]*c[8] -1734*c[6]^2*c[8] +2455*c[6]*c[7]^2 -10080*c[4]*c[16] -18768*c[5]*c[15] -62816*c[6]*c[14] +125456*c[7]*c[13] -29040*c[8]*c[12] -3008*c[9]*c[11] -1744*c[10]^2

2*s[[4,4,3,3,3,3]] +9*s[[4,4,4,3,3,2]] +3*s[[4,4,4,4,2,2]] +8*s[[4,4,4,4,3,1]] +22*s[[5,4,3,3,3,2]] +48*s[[5,4,4,3,2,2]] +90*s[[5,4,4,3,3,1]] +60*s[[5,4,4,4,2,1]] +78*s[[5,4,4,4,3]] +66*s[[5,5,3,3,2,2]] +72*s[[5,5,3,3,3,1]] +99*s[[5,5,4,2,2,2]] +366*s[[5,5,4,3,2,1]] +290*s[[5,5,4,3,3]] +132*s[[5,5,4,4,1,1]] +354*s[[5,5,4,4,2]] +312*s[[5,5,5,2,2,1]] +276*s[[5,5,5,3,1,1]] +714*s[[5,5,5,3,2]] +432*s[[5,5,5,4,1]] +108*s[[5,5,5,5]] +82*s[[6,4,3,3,2,2]] +154*s[[6,4,3,3,3,1]] +75*s[[6,4,4,2,2,2]] +498*s[[6,4,4,3,2,1]] +591*s[[6,4,4,3,3]] +197*s[[6,4,4,4,1,1]] +501*s[[6,4,4,4,2]] +232*s[[6,5,3,2,2,2]] +826*s[[6,5,3,3,2,1]] +640*s[[6,5,3,3,3]] +1372*s[[6,5,4,2,2,1]] +1653*s[[6,5,4,3,1,1]] +3708*s[[6,5,4,3,2]] +2199*s[[6,5,4,4,1]] +1785*s[[6,5,5,2,1,1]] +3421*s[[6,5,5,2,2]] +4894*s[[6,5,5,3,1]] +2086*s[[6,5,5,4]] +76*s[[6,6,2,2,2,2]] +1060*s[[6,6,3,2,2,1]] +1368*s[[6,6,3,3,1,1]] +2374*s[[6,6,3,3,2]] +3123*s[[6,6,4,2,1,1]] +4551*s[[6,6,4,2,2]] +8262*s[[6,6,4,3,1]] +3055*s[[6,6,4,4]] +2426*s[[6,6,5,1,1,1]] +12094*s[[6,6,5,2,1]] +8465*s[[6,6,5,3]] +6672*s[[6,6,6,1,1]] +7805*s[[6,6,6,2]] +122*s[[7,4,3,2,2,2]] +744*s[[7,4,3,3,2,1]] +878*s[[7,4,3,3,3]] +792*s[[7,4,4,2,2,1]] +1338*s[[7,4,4,3,1,1]] +3354*s[[7,4,4,3,2]] +1878*s[[7,4,4,4,1]] +232*s[[7,5,2,2,2,2]] +2572*s[[7,5,3,2,2,1]] +2718*s[[7,5,3,3,1,1]] +6088*s[[7,5,3,3,2]] +5508*s[[7,5,4,2,1,1]] +10558*s[[7,5,4,2,2]] +17000*s[[7,5,4,3,1]] +6565*s[[7,5,4,4]] +2762*s[[7,5,5,1,1,1]] +19558*s[[7,5,5,2,1]] +15167*s[[7,5,5,3]] +1496*s[[7,6,2,2,2,1]] +7462*s[[7,6,3,2,1,1]] +11362*s[[7,6,3,2,2]] +17788*s[[7,6,3,3,1]] +7694*s[[7,6,4,1,1,1]] +42538*s[[7,6,4,2,1]] +33623*s[[7,6,4,3]] +36204*s[[7,6,5,1,1]] +54118*s[[7,6,5,2]] +39672*s[[7,6,6,1]] +2672*s[[7,7,2,2,1,1]] +4232*s[[7,7,2,2,2]] +4752*s[[7,7,3,1,1,1]] +28888*s[[7,7,3,2,1]] +22212*s[[7,7,3,3]] +34748*s[[7,7,4,1,1]] +59784*s[[7,7,4,2]] +73560*s[[7,7,5,1]] +44950*s[[7,7,6]] +60*s[[8,4,2,2,2,2]] +1216*s[[8,4,3,2,2,1]] +1870*s[[8,4,3,3,1,1]] +4666*s[[8,4,3,3,2]] +2661*s[[8,4,4,2,1,1]] +5391*s[[8,4,4,2,2]] +11454*s[[8,4,4,3,1]] +4357*s[[8,4,4,4]] +2480*s[[8,5,2,2,2,1]] +9502*s[[8,5,3,2,1,1]] +18046*s[[8,5,3,2,2]] +24814*s[[8,5,3,3,1]] +7289*s[[8,5,4,1,1,1]] +52311*s[[8,5,4,2,1]] +43107*s[[8,5,4,3]] +29994*s[[8,5,5,1,1]] +54017*s[[8,5,5,2]] +8944*s[[8,6,2,2,1,1]] +13096*s[[8,6,2,2,2]] +15126*s[[8,6,3,1,1,1]] +80854*s[[8,6,3,2,1]] +53850*s[[8,6,3,3]] +89066*s[[8,6,4,1,1]] +137520*s[[8,6,4,2]] +147879*s[[8,6,5,1]] +61047*s[[8,6,6]] +9412*s[[8,7,2,1,1,1]] +45964*s[[8,7,2,2,1]] +87916*s[[8,7,3,1,1]] +144472*s[[8,7,3,2]] +221413*s[[8,7,4,1]] +163879*s[[8,7,5]] +2360*s[[8,8,1,1,1,1]] +39352*s[[8,8,2,1,1]] +54512*s[[8,8,2,2]] +133994*s[[8,8,3,1]] +121748*s[[8,8,4]] +624*s[[9,4,2,2,2,1]] +3982*s[[9,4,3,2,1,1]] +7978*s[[9,4,3,2,2]] +15328*s[[9,4,3,3,1]] +2952*s[[9,4,4,1,1,1]] +23400*s[[9,4,4,2,1]] +25080*s[[9,4,4,3]] +9284*s[[9,5,2,2,1,1]] +16988*s[[9,5,2,2,2]] +12510*s[[9,5,3,1,1,1]] +86166*s[[9,5,3,2,1]] +59376*s[[9,5,3,3]] +74066*s[[9,5,4,1,1]] +134371*s[[9,5,4,2]] +102375*s[[9,5,5,1]] +21396*s[[9,6,2,1,1,1]] +91748*s[[9,6,2,2,1]] +163664*s[[9,6,3,1,1]] +240638*s[[9,6,3,2]] +328525*s[[9,6,4,1]] +190294*s[[9,6,5]] +9352*s[[9,7,1,1,1,1]] +141248*s[[9,7,2,1,1]] +187444*s[[9,7,2,2]] +444160*s[[9,7,3,1]] +375693*s[[9,7,4]] +51984*s[[9,8,1,1,1]] +283472*s[[9,8,2,1]] +316962*s[[9,8,3]] +83624*s[[9,9,1,1]] +154004*s[[9,9,2]] +2244*s[[10,4,2,2,1,1]] +4188*s[[10,4,2,2,2]] +4472*s[[10,4,3,1,1,1]] +34200*s[[10,4,3,2,1]] +32666*s[[10,4,3,3]] +28452*s[[10,4,4,1,1]] +55719*s[[10,4,4,2]] +14380*s[[10,5,2,1,1,1]] +83316*s[[10,5,2,2,1]] +124044*s[[10,5,3,1,1]] +216240*s[[10,5,3,2]] +243187*s[[10,5,4,1]] +113611*s[[10,5,5]] +17768*s[[10,6,1,1,1,1]] +227136*s[[10,6,2,1,1]] +270280*s[[10,6,2,2]] +586936*s[[10,6,3,1]] +402799*s[[10,6,4]] +134928*s[[10,7,1,1,1]] +685084*s[[10,7,2,1]] +718260*s[[10,7,3]] +328696*s[[10,8,1,1]] +583288*s[[10,8,2]] +291792*s[[10,9,1]] +67824*s[[10,10]] +3264*s[[11,4,2,1,1,1]] +19728*s[[11,4,2,2,1]] +42472*s[[11,4,3,1,1]] +80482*s[[11,4,3,2]] +88128*s[[11,4,4,1]] +7752*s[[11,5,1,1,1,1]] +142760*s[[11,5,2,1,1]] +210848*s[[11,5,2,2]] +403178*s[[11,5,3,1]] +263146*s[[11,5,4]] +189616*s[[11,6,1,1,1]] +818920*s[[11,6,2,1]] +721146*s[[11,6,3]] +688104*s[[11,7,1,1]] +1167648*s[[11,7,2]] +815840*s[[11,8,1]] +286848*s[[11,9]] +1584*s[[12,4,1,1,1,1]] +31728*s[[12,4,2,1,1]] +48540*s[[12,4,2,2]] +130888*s[[12,4,3,1]] +88548*s[[12,4,4]] +80736*s[[12,5,1,1,1]] +473300*s[[12,5,2,1]] +439708*s[[12,5,3]] +718384*s[[12,6,1,1]] +1062308*s[[12,6,2]] +1485664*s[[12,7,1]] +695008*s[[12,8]] +16128*s[[13,4,1,1,1]] +102144*s[[13,4,2,1]] +132632*s[[13,4,3]] +295656*s[[13,5,1,1]] +549496*s[[13,5,2]] +1144136*s[[13,6,1]] +1148704*s[[13,7]] +57168*s[[14,4,1,1]] +113424*s[[14,4,2]] +448176*s[[14,5,1]] +647376*s[[14,6]] +82368*s[[15,4,1]] +235584*s[[15,5]] +39744*s[[16,4]]

-24*c[1]^4*c[4]*c[12] -68*c[1]^4*c[5]*c[11] -152*c[1]^4*c[6]*c[10] -508*c[1]^4*c[7]*c[9] +752*c[1]^4*c[8]^2 -56*c[1]^3*c[2]*c[4]*c[11] -168*c[1]^3*c[2]*c[5]*c[10] -632*c[1]^3*c[2]*c[6]*c[9] +856*c[1]^3*c[2]*c[7]*c[8] -78*c[1]^3*c[3]*c[4]*c[10] -320*c[1]^3*c[3]*c[5]*c[9] +546*c[1]^3*c[3]*c[6]*c[8] -172*c[1]^3*c[3]*c[7]^2 -70*c[1]^3*c[4]^2*c[9] +278*c[1]^3*c[4]*c[5]*c[8] -132*c[1]^3*c[4]*c[6]*c[7] -36*c[1]^3*c[5]^2*c[7] -16*c[1]^3*c[5]*c[6]^2 -46*c[1]^2*c[2]^2*c[4]*c[10] -231*c[1]^2*c[2]^2*c[5]*c[9] -182*c[1]^2*c[2]^2*c[6]*c[8] +459*c[1]^2*c[2]^2*c[7]^2 -239*c[1]^2*c[2]*c[3]*c[4]*c[9] -45*c[1]^2*c[2]*c[3]*c[5]*c[8] +252*c[1]^2*c[2]*c[3]*c[6]*c[7] +17*c[1]^2*c[2]*c[4]^2*c[8] +174*c[1]^2*c[2]*c[4]*c[5]*c[7] -113*c[1]^2*c[2]*c[4]*c[6]^2 -46*c[1]^2*c[2]*c[5]^2*c[6] -36*c[1]^2*c[3]^3*c[9] +52*c[1]^2*c[3]^2*c[4]*c[8] -115*c[1]^2*c[3]^2*c[5]*c[7] +117*c[1]^2*c[3]^2*c[6]^2 -53*c[1]^2*c[3]*c[4]^2*c[7] +43*c[1]^2*c[3]*c[4]*c[5]*c[6] -18*c[1]^2*c[3]*c[5]^3 -13*c[1]^2*c[4]^3*c[6] +23*c[1]^2*c[4]^2*c[5]^2 -16*c[1]*c[2]^3*c[4]*c[9] -124*c[1]*c[2]^3*c[5]*c[8] +140*c[1]*c[2]^3*c[6]*c[7] -158*c[1]*c[2]^2*c[3]*c[4]*c[8] +104*c[1]*c[2]^2*c[3]*c[5]*c[7] +40*c[1]*c[2]^2*c[3]*c[6]^2 +52*c[1]*c[2]^2*c[4]^2*c[7] -28*c[1]*c[2]^2*c[4]*c[5]*c[6] -10*c[1]*c[2]^2*c[5]^3 -30*c[1]*c[2]*c[3]^3*c[8] -3*c[1]*c[2]*c[3]^2*c[4]*c[7] +48*c[1]*c[2]*c[3]^2*c[5]*c[6] -31*c[1]*c[2]*c[3]*c[4]^2*c[6] +7*c[1]*c[2]*c[3]*c[4]*c[5]^2 +9*c[1]*c[2]*c[4]^3*c[5] -13*c[1]*c[3]^4*c[7] +23*c[1]*c[3]^3*c[4]*c[6] -9*c[1]*c[3]^3*c[5]^2 +c[1]*c[3]^2*c[4]^2*c[5] -2*c[1]*c[3]*c[4]^4 -2*c[2]^4*c[4]*c[8] -21*c[2]^4*c[5]*c[7] +23*c[2]^4*c[6]^2 -29*c[2]^3*c[3]*c[4]*c[7] +27*c[2]^3*c[3]*c[5]*c[6] +13*c[2]^3*c[4]^2*c[6] -11*c[2]^3*c[4]*c[5]^2 -6*c[2]^2*c[3]^3*c[7] -9*c[2]^2*c[3]^2*c[4]*c[6] +18*c[2]^2*c[3]^2*c[5]^2 -5*c[2]^2*c[3]*c[4]^2*c[5] +2*c[2]^2*c[4]^4 -5*c[2]*c[3]^4*c[6] +6*c[2]*c[3]^3*c[4]*c[5] -c[2]*c[3]^2*c[4]^3 -c[3]^5*c[5] +c[3]^4*c[4]^2 -192*c[1]^3*c[4]*c[13] -592*c[1]^3*c[5]*c[12] -1200*c[1]^3*c[6]*c[11] -3100*c[1]^3*c[7]*c[10] +5084*c[1]^3*c[8]*c[9] -352*c[1]^2*c[2]*c[4]*c[12] -1108*c[1]^2*c[2]*c[5]*c[11] -3442*c[1]^2*c[2]*c[6]*c[10] +3592*c[1]^2*c[2]*c[7]*c[9] +1310*c[1]^2*c[2]*c[8]^2 -492*c[1]^2*c[3]*c[4]*c[11] -1774*c[1]^2*c[3]*c[5]*c[10] +2003*c[1]^2*c[3]*c[6]*c[9] +95*c[1]^2*c[3]*c[7]*c[8] -406*c[1]^2*c[4]^2*c[10] +1107*c[1]^2*c[4]*c[5]*c[9] +83*c[1]^2*c[4]*c[6]*c[8] -382*c[1]^2*c[4]*c[7]^2 +66*c[1]^2*c[5]^2*c[8] -275*c[1]^2*c[5]*c[6]*c[7] -25*c[1]^2*c[6]^3 -200*c[1]*c[2]^2*c[4]*c[11] -1082*c[1]*c[2]^2*c[5]*c[10] -43*c[1]*c[2]^2*c[6]*c[9] +1325*c[1]*c[2]^2*c[7]*c[8] -1124*c[1]*c[2]*c[3]*c[4]*c[10] +264*c[1]*c[2]*c[3]*c[5]*c[9] -140*c[1]*c[2]*c[3]*c[6]*c[8] +848*c[1]*c[2]*c[3]*c[7]^2 +177*c[1]*c[2]*c[4]^2*c[9] +98*c[1]*c[2]*c[4]*c[5]*c[8] -16*c[1]*c[2]*c[4]*c[6]*c[7] +76*c[1]*c[2]*c[5]^2*c[7] -183*c[1]*c[2]*c[5]*c[6]^2 -180*c[1]*c[3]^3*c[10] +276*c[1]*c[3]^2*c[4]*c[9] -379*c[1]*c[3]^2*c[5]*c[8] +373*c[1]*c[3]^2*c[6]*c[7] -208*c[1]*c[3]*c[4]^2*c[8] -22*c[1]*c[3]*c[4]*c[5]*c[7] +132*c[1]*c[3]*c[4]*c[6]^2 -38*c[1]*c[3]*c[5]^2*c[6] -44*c[1]*c[4]^3*c[7] +60*c[1]*c[4]^2*c[5]*c[6] +30*c[1]*c[4]*c[5]^3 -36*c[2]^3*c[4]*c[10] -308*c[2]^3*c[5]*c[9] +537*c[2]^3*c[6]*c[8] -193*c[2]^3*c[7]^2 -394*c[2]^2*c[3]*c[4]*c[9] +370*c[2]^2*c[3]*c[5]*c[8] -10*c[2]^2*c[3]*c[6]*c[7] +155*c[2]^2*c[4]^2*c[8] -224*c[2]^2*c[4]*c[5]*c[7] +104*c[2]^2*c[4]*c[6]^2 -c[2]^2*c[5]^2*c[6] -78*c[2]*c[3]^3*c[9] -7*c[2]*c[3]^2*c[4]*c[8] +211*c[2]*c[3]^2*c[5]*c[7] -87*c[2]*c[3]^2*c[6]^2 -51*c[2]*c[3]*c[4]^2*c[7] -45*c[2]*c[3]*c[4]*c[5]*c[6] +36*c[2]*c[3]*c[5]^3 +32*c[2]*c[4]^3*c[6] -11*c[2]*c[4]^2*c[5]^2 -35*c[3]^4*c[8] +60*c[3]^3*c[4]*c[7] -26*c[3]^3*c[5]*c[6] +11*c[3]^2*c[4]^2*c[6] -10*c[3]*c[4]^3*c[5] -552*c[1]^2*c[4]*c[14] -1876*c[1]^2*c[5]*c[13] -3476*c[1]^2*c[6]*c[12] -6376*c[1]^2*c[7]*c[11] -3460*c[1]^2*c[8]*c[10] +15740*c[1]^2*c[9]^2 -712*c[1]*c[2]*c[4]*c[13] -2352*c[1]*c[2]*c[5]*c[12] -5364*c[1]*c[2]*c[6]*c[11] +4*c[1]*c[2]*c[7]*c[10] +8424*c[1]*c[2]*c[8]*c[9] -978*c[1]*c[3]*c[4]*c[12] -2780*c[1]*c[3]*c[5]*c[11] -308*c[1]*c[3]*c[6]*c[10] +6020*c[1]*c[3]*c[7]*c[9] -2338*c[1]*c[3]*c[8]^2 -704*c[1]*c[4]^2*c[11] +282*c[1]*c[4]*c[5]*c[10] +2726*c[1]*c[4]*c[6]*c[9] -1742*c[1]*c[4]*c[7]*c[8] +974*c[1]*c[5]^2*c[9] -836*c[1]*c[5]*c[6]*c[8] -182*c[1]*c[5]*c[7]^2 -134*c[1]*c[6]^2*c[7] -210*c[2]^2*c[4]*c[12] -1219*c[2]^2*c[5]*c[11] +1033*c[2]^2*c[6]*c[10] -3077*c[2]^2*c[7]*c[9] +3473*c[2]^2*c[8]^2 -1265*c[2]*c[3]*c[4]*c[11] +951*c[2]*c[3]*c[5]*c[10] -1987*c[2]*c[3]*c[6]*c[9] +2125*c[2]*c[3]*c[7]*c[8] +326*c[2]*c[4]^2*c[10] -903*c[2]*c[4]*c[5]*c[9] +1352*c[2]*c[4]*c[6]*c[8] -636*c[2]*c[4]*c[7]^2 +473*c[2]*c[5]^2*c[8] -414*c[2]*c[5]*c[6]*c[7] -22*c[2]*c[6]^3 -216*c[3]^3*c[11] +356*c[3]^2*c[4]*c[10] -182*c[3]^2*c[5]*c[9] -627*c[3]^2*c[6]*c[8] +777*c[3]^2*c[7]^2 -179*c[3]*c[4]^2*c[9] -367*c[3]*c[4]*c[5]*c[8] +362*c[3]*c[4]*c[6]*c[7] +214*c[3]*c[5]^2*c[7] -190*c[3]*c[5]*c[6]^2 -28*c[4]^3*c[8] -144*c[4]^2*c[5]*c[7] +160*c[4]^2*c[6]^2 +45*c[4]*c[5]^2*c[6] +19*c[5]^4 -672*c[1]*c[4]*c[15] -2552*c[1]*c[5]*c[14] -4492*c[1]*c[6]*c[13] -6032*c[1]*c[7]*c[12] -16696*c[1]*c[8]*c[11] +30444*c[1]*c[9]*c[10] -464*c[2]*c[4]*c[14] -1604*c[2]*c[5]*c[13] -2078*c[2]*c[6]*c[12] -8248*c[2]*c[7]*c[11] +18238*c[2]*c[8]*c[10] -5844*c[2]*c[9]^2 -612*c[3]*c[4]*c[13] -1018*c[3]*c[5]*c[12] -4291*c[3]*c[6]*c[11] +8545*c[3]*c[7]*c[10] -2912*c[3]*c[8]*c[9] -344*c[4]^2*c[12] -1637*c[4]*c[5]*c[11] +4051*c[4]*c[6]*c[10] -1639*c[4]*c[7]*c[9] -307*c[4]*c[8]^2 +1398*c[5]^2*c[10] -825*c[5]*c[6]*c[9] -240*c[5]*c[7]*c[8] -88*c[6]^2*c[8] -81*c[6]*c[7]^2 -288*c[4]*c[16] -1248*c[5]*c[15] -2248*c[6]*c[14] -3232*c[7]*c[13] -2944*c[8]*c[12] -16256*c[9]*c[11] +26216*c[10]^2

s[[4,4,3,3,3,3]] +2*s[[4,4,4,3,3,2]] +3*s[[4,4,4,4,2,2]] +s[[4,4,4,4,3,1]] +8*s[[5,4,3,3,3,2]] +15*s[[5,4,4,3,2,2]] +17*s[[5,4,4,3,3,1]] +27*s[[5,4,4,4,2,1]] +9*s[[5,4,4,4,3]] +36*s[[5,5,3,3,2,2]] +28*s[[5,5,3,3,3,1]] +21*s[[5,5,4,2,2,2]] +117*s[[5,5,4,3,2,1]] +63*s[[5,5,4,3,3]] +102*s[[5,5,4,4,1,1]] +108*s[[5,5,4,4,2]] +42*s[[5,5,5,2,2,1]] +82*s[[5,5,5,3,1,1]] +168*s[[5,5,5,3,2]] +240*s[[5,5,5,4,1]] +150*s[[5,5,5,5]] +23*s[[6,4,3,3,2,2]] +41*s[[6,4,3,3,3,1]] +25*s[[6,4,4,2,2,2]] +123*s[[6,4,4,3,2,1]] +91*s[[6,4,4,3,3]] +76*s[[6,4,4,4,1,1]] +150*s[[6,4,4,4,2]] +95*s[[6,5,3,2,2,2]] +341*s[[6,5,3,3,2,1]] +203*s[[6,5,3,3,3]] +354*s[[6,5,4,2,2,1]] +600*s[[6,5,4,3,1,1]] +1020*s[[6,5,4,3,2]] +1032*s[[6,5,4,4,1]] +324*s[[6,5,5,2,1,1]] +584*s[[6,5,5,2,2]] +1410*s[[6,5,5,3,1]] +1229*s[[6,5,5,4]] +86*s[[6,6,2,2,2,2]] +566*s[[6,6,3,2,2,1]] +789*s[[6,6,3,3,1,1]] +1061*s[[6,6,3,3,2]] +906*s[[6,6,4,2,1,1]] +1466*s[[6,6,4,2,2]] +3200*s[[6,6,4,3,1]] +2141*s[[6,6,4,4]] +313*s[[6,6,5,1,1,1]] +2415*s[[6,6,5,2,1]] +2932*s[[6,6,5,3]] +626*s[[6,6,6,1,1]] +1328*s[[6,6,6,2]] +28*s[[7,4,3,2,2,2]] +156*s[[7,4,3,3,2,1]] +172*s[[7,4,3,3,3]] +202*s[[7,4,4,2,2,1]] +296*s[[7,4,4,3,1,1]] +642*s[[7,4,4,3,2]] +531*s[[7,4,4,4,1]] +62*s[[7,5,2,2,2,2]] +814*s[[7,5,3,2,2,1]] +925*s[[7,5,3,3,1,1]] +1925*s[[7,5,3,3,2]] +1551*s[[7,5,4,2,1,1]] +2453*s[[7,5,4,2,2]] +5081*s[[7,5,4,3,1]] +2747*s[[7,5,4,4]] +533*s[[7,5,5,1,1,1]] +3957*s[[7,5,5,2,1]] +4682*s[[7,5,5,3]] +932*s[[7,6,2,2,2,1]] +3445*s[[7,6,3,2,1,1]] +4943*s[[7,6,3,2,2]] +8171*s[[7,6,3,3,1]] +2016*s[[7,6,4,1,1,1]] +13320*s[[7,6,4,2,1]] +13800*s[[7,6,4,3]] +6260*s[[7,6,5,1,1]] +12472*s[[7,6,5,2]] +4821*s[[7,6,6,1]] +2734*s[[7,7,2,2,1,1]] +2962*s[[7,7,2,2,2]] +2851*s[[7,7,3,1,1,1]] +16415*s[[7,7,3,2,1]] +13490*s[[7,7,3,3]] +11486*s[[7,7,4,1,1]] +21310*s[[7,7,4,2]] +13570*s[[7,7,5,1]] +4030*s[[7,7,6]] +12*s[[8,4,2,2,2,2]] +212*s[[8,4,3,2,2,1]] +305*s[[8,4,3,3,1,1]] +731*s[[8,4,3,3,2]] +557*s[[8,4,4,2,1,1]] +1043*s[[8,4,4,2,2]] +1979*s[[8,4,4,3,1]] +1019*s[[8,4,4,4]] +520*s[[8,5,2,2,2,1]] +2417*s[[8,5,3,2,1,1]] +4391*s[[8,5,3,2,2]] +6539*s[[8,5,3,3,1]] +1974*s[[8,5,4,1,1,1]] +12336*s[[8,5,4,2,1]] +11538*s[[8,5,4,3]] +6030*s[[8,5,5,1,1]] +11774*s[[8,5,5,2]] +3572*s[[8,6,2,2,1,1]] +5708*s[[8,6,2,2,2]] +5389*s[[8,6,3,1,1,1]] +29843*s[[8,6,3,2,1]] +21206*s[[8,6,3,3]] +23694*s[[8,6,4,1,1]] +43140*s[[8,6,4,2]] +29095*s[[8,6,5,1]] +7828*s[[8,6,6]] +7504*s[[8,7,2,1,1,1]] +30548*s[[8,7,2,2,1]] +44096*s[[8,7,3,1,1]] +73630*s[[8,7,3,2]] +70102*s[[8,7,4,1]] +28708*s[[8,7,5]] +4508*s[[8,8,1,1,1,1]] +38960*s[[8,8,2,1,1]] +53340*s[[8,8,2,2]] +85071*s[[8,8,3,1]] +44576*s[[8,8,4]] +96*s[[9,4,2,2,2,1]] +548*s[[9,4,3,2,1,1]] +1052*s[[9,4,3,2,2]] +1892*s[[9,4,3,3,1]] +524*s[[9,4,4,1,1,1]] +3762*s[[9,4,4,2,1]] +3583*s[[9,4,4,3]] +1582*s[[9,5,2,2,1,1]] +2770*s[[9,5,2,2,2]] +2578*s[[9,5,3,1,1,1]] +17028*s[[9,5,3,2,1]] +12584*s[[9,5,3,3]] +16192*s[[9,5,4,1,1]] +27731*s[[9,5,4,2]] +20929*s[[9,5,5,1]] +5630*s[[9,6,2,1,1,1]] +27622*s[[9,6,2,2,1]] +46498*s[[9,6,3,1,1]] +72684*s[[9,6,3,2]] +84857*s[[9,6,4,1]] +37340*s[[9,6,5]] +5448*s[[9,7,1,1,1,1]] +73564*s[[9,7,2,1,1]] +90532*s[[9,7,2,2]] +182246*s[[9,7,3,1]] +102787*s[[9,7,4]] +56352*s[[9,8,1,1,1]] +234402*s[[9,8,2,1]] +177602*s[[9,8,3]] +140616*s[[9,9,1,1]] +170820*s[[9,9,2]] +276*s[[10,4,2,2,1,1]] +492*s[[10,4,2,2,2]] +508*s[[10,4,3,1,1,1]] +3600*s[[10,4,3,2,1]] +3139*s[[10,4,3,3]] +3896*s[[10,4,4,1,1]] +7169*s[[10,4,4,2]] +2060*s[[10,5,2,1,1,1]] +11148*s[[10,5,2,2,1]] +20004*s[[10,5,3,1,1]] +34227*s[[10,5,3,2]] +44496*s[[10,5,4,1]] +22416*s[[10,5,5]] +3052*s[[10,6,1,1,1,1]] +46956*s[[10,6,2,1,1]] +62438*s[[10,6,2,2]] +135585*s[[10,6,3,1]] +94489*s[[10,6,4]] +51384*s[[10,7,1,1,1]] +245602*s[[10,7,2,1]] +228035*s[[10,7,3]] +238056*s[[10,8,1,1]] +373614*s[[10,8,2]] +395372*s[[10,9,1]] +199032*s[[10,10]] +336*s[[11,4,2,1,1,1]] +1872*s[[11,4,2,2,1]] +3728*s[[11,4,3,1,1]] +6668*s[[11,4,3,2]] +9640*s[[11,4,4,1]] +960*s[[11,5,1,1,1,1]] +16192*s[[11,5,2,1,1]] +22822*s[[11,5,2,2]] +52338*s[[11,5,3,1]] +40898*s[[11,5,4]] +26336*s[[11,6,1,1,1]] +135534*s[[11,6,2,1]] +135136*s[[11,6,3]] +176468*s[[11,7,1,1]] +291218*s[[11,7,2]] +408068*s[[11,8,1]] +300408*s[[11,9]] +144*s[[12,4,1,1,1,1]] +2544*s[[12,4,2,1,1]] +3660*s[[12,4,2,2]] +9140*s[[12,4,3,1]] +7996*s[[12,4,4]] +7968*s[[12,5,1,1,1]] +43780*s[[12,5,2,1]] +47048*s[[12,5,3]] +82820*s[[12,6,1,1]] +141976*s[[12,6,2]] +259460*s[[12,7,1]] +242600*s[[12,8]] +1152*s[[13,4,1,1,1]] +6576*s[[13,4,2,1]] +7648*s[[13,4,3]] +23952*s[[13,5,1,1]] +42800*s[[13,5,2]] +112096*s[[13,6,1]] +136952*s[[13,7]] +3312*s[[14,4,1,1]] +6096*s[[14,4,2]] +30768*s[[14,5,1]] +54768*s[[14,6]] +4032*s[[15,4,1]] +14112*s[[15,5]] +1728*s[[16,4]]

8*c[1]^3*c[6]*c[11] -28*c[1]^3*c[7]*c[10] +20*c[1]^3*c[8]*c[9] +4*c[1]^2*c[2]*c[5]*c[11] -2*c[1]^2*c[2]*c[6]*c[10] -40*c[1]^2*c[2]*c[7]*c[9] +38*c[1]^2*c[2]*c[8]^2 +4*c[1]^2*c[3]*c[4]*c[11] -4*c[1]^2*c[3]*c[5]*c[10] +15*c[1]^2*c[3]*c[6]*c[9] -15*c[1]^2*c[3]*c[7]*c[8] -10*c[1]^2*c[4]^2*c[10] +5*c[1]^2*c[4]*c[5]*c[9] -37*c[1]^2*c[4]*c[6]*c[8] +48*c[1]^2*c[4]*c[7]^2 +20*c[1]^2*c[5]^2*c[8] -37*c[1]^2*c[5]*c[6]*c[7] +11*c[1]^2*c[6]^3 +6*c[1]*c[2]^2*c[5]*c[10] -21*c[1]*c[2]^2*c[6]*c[9] +15*c[1]*c[2]^2*c[7]*c[8] +6*c[1]*c[2]*c[3]*c[4]*c[10] -5*c[1]*c[2]*c[3]*c[5]*c[9] +12*c[1]*c[2]*c[3]*c[6]*c[8] -13*c[1]*c[2]*c[3]*c[7]^2 -15*c[1]*c[2]*c[4]^2*c[9] +6*c[1]*c[2]*c[4]*c[5]*c[8] +22*c[1]*c[2]*c[4]*c[6]*c[7] -6*c[1]*c[2]*c[5]^2*c[7] -7*c[1]*c[2]*c[5]*c[6]^2 +5*c[1]*c[3]^2*c[4]*c[9] +3*c[1]*c[3]^2*c[5]*c[8] -4*c[1]*c[3]^2*c[6]*c[7] -24*c[1]*c[3]*c[4]^2*c[8] +22*c[1]*c[3]*c[4]*c[5]*c[7] -6*c[1]*c[3]*c[5]^2*c[6] +13*c[1]*c[4]^3*c[7] -13*c[1]*c[4]^2*c[5]*c[6] +4*c[1]*c[4]*c[5]^3 +2*c[2]^3*c[5]*c[9] -9*c[2]^3*c[6]*c[8] +7*c[2]^3*c[7]^2 +2*c[2]^2*c[3]*c[4]*c[9] -c[2]^2*c[3]*c[5]*c[8] -c[2]^2*c[3]*c[6]*c[7] -5*c[2]^2*c[4]^2*c[8] +2*c[2]^2*c[4]*c[5]*c[7] +8*c[2]^2*c[4]*c[6]^2 -5*c[2]^2*c[5]^2*c[6] +3*c[2]*c[3]^2*c[4]*c[8] +c[2]*c[3]^2*c[5]*c[7] -2*c[2]*c[3]^2*c[6]^2 -13*c[2]*c[3]*c[4]^2*c[7] +14*c[2]*c[3]*c[4]*c[5]*c[6] -5*c[2]*c[3]*c[5]^3 +5*c[2]*c[4]^3*c[6] -3*c[2]*c[4]^2*c[5]^2 +c[3]^3*c[4]*c[7] -4*c[3]^2*c[4]^2*c[6] +3*c[3]^2*c[4]*c[5]^2 -c[3]*c[4]^3*c[5] +c[4]^5 +24*c[1]^2*c[6]*c[12] -60*c[1]^2*c[7]*c[11] -24*c[1]^2*c[8]*c[10] +60*c[1]^2*c[9]^2 +12*c[1]*c[2]*c[5]*c[12] -18*c[1]*c[2]*c[6]*c[11] -42*c[1]*c[2]*c[7]*c[10] +48*c[1]*c[2]*c[8]*c[9] +12*c[1]*c[3]*c[4]*c[12] -8*c[1]*c[3]*c[5]*c[11] +29*c[1]*c[3]*c[6]*c[10] +8*c[1]*c[3]*c[7]*c[9] -41*c[1]*c[3]*c[8]^2 -30*c[1]*c[4]^2*c[11] +5*c[1]*c[4]*c[5]*c[10] -76*c[1]*c[4]*c[6]*c[9] +119*c[1]*c[4]*c[7]*c[8] +52*c[1]*c[5]^2*c[9] -45*c[1]*c[5]*c[6]*c[8] -52*c[1]*c[5]*c[7]^2 +27*c[1]*c[6]^2*c[7] +10*c[2]^2*c[5]*c[11] -41*c[2]^2*c[6]*c[10] +62*c[2]^2*c[7]*c[9] -31*c[2]^2*c[8]^2 +10*c[2]*c[3]*c[4]*c[11] -7*c[2]*c[3]*c[5]*c[10] +12*c[2]*c[3]*c[6]*c[9] -15*c[2]*c[3]*c[7]*c[8] -25*c[2]*c[4]^2*c[10] +4*c[2]*c[4]*c[5]*c[9] +81*c[2]*c[4]*c[6]*c[8] -37*c[2]*c[4]*c[7]^2 -26*c[2]*c[5]^2*c[8] +11*c[2]*c[5]*c[6]*c[7] -8*c[2]*c[6]^3 +9*c[3]^2*c[4]*c[10] +8*c[3]^2*c[5]*c[9] -14*c[3]^2*c[6]*c[8] +5*c[3]^2*c[7]^2 -46*c[3]*c[4]^2*c[9] +41*c[3]*c[4]*c[5]*c[8] -c[3]*c[4]*c[6]*c[7] -14*c[3]*c[5]^2*c[7] +4*c[3]*c[5]*c[6]^2 +27*c[4]^3*c[8] -23*c[4]^2*c[5]*c[7] -3*c[4]^2*c[6]^2 +6*c[4]*c[5]^2*c[6] +c[5]^4 +16*c[1]*c[6]*c[13] +8*c[1]*c[7]*c[12] -168*c[1]*c[8]*c[11] +144*c[1]*c[9]*c[10] +8*c[2]*c[5]*c[13] -20*c[2]*c[6]*c[12] +32*c[2]*c[7]*c[11] -124*c[2]*c[8]*c[10] +104*c[2]*c[9]^2 +8*c[3]*c[4]*c[13] +2*c[3]*c[6]*c[11] +54*c[3]*c[7]*c[10] -64*c[3]*c[8]*c[9] -20*c[4]^2*c[12] -10*c[4]*c[5]*c[11] -2*c[4]*c[6]*c[10] -154*c[4]*c[7]*c[9] +198*c[4]*c[8]^2 +24*c[5]^2*c[10] +58*c[5]*c[6]*c[9] -104*c[5]*c[7]*c[8] -32*c[6]^2*c[8] +42*c[6]*c[7]^2 +32*c[7]*c[13] -80*c[8]*c[12] -32*c[9]*c[11] +80*c[10]^2

s[[4,4,4,4,4]] +3*s[[5,4,4,4,3]] +6*s[[5,5,4,3,3]] +3*s[[5,5,4,4,2]] +2*s[[6,4,4,3,3]] +7*s[[6,4,4,4,2]] +4*s[[6,5,3,3,3]] +20*s[[6,5,4,3,2]] +10*s[[6,5,4,4,1]] +12*s[[6,6,3,3,2]] +28*s[[6,6,4,2,2]] +20*s[[6,6,4,3,1]] +10*s[[6,6,4,4]] +6*s[[7,4,4,3,2]] +15*s[[7,4,4,4,1]] +12*s[[7,5,3,3,2]] +16*s[[7,5,4,2,2]] +50*s[[7,5,4,3,1]] +25*s[[7,5,4,4]] +32*s[[7,6,3,2,2]] +40*s[[7,6,3,3,1]] +100*s[[7,6,4,2,1]] +70*s[[7,6,4,3]] +16*s[[7,7,2,2,2]] +80*s[[7,7,3,2,1]] +40*s[[7,7,3,3]] +120*s[[7,7,4,1,1]] +100*s[[7,7,4,2]] +4*s[[8,4,4,2,2]] +14*s[[8,4,4,3,1]] +31*s[[8,4,4,4]] +8*s[[8,5,3,2,2]] +28*s[[8,5,3,3,1]] +52*s[[8,5,4,2,1]] +112*s[[8,5,4,3]] +16*s[[8,6,2,2,2]] +104*s[[8,6,3,2,1]] +100*s[[8,6,3,3]] +88*s[[8,6,4,1,1]] +264*s[[8,6,4,2]] +96*s[[8,7,2,2,1]] +176*s[[8,7,3,1,1]] +280*s[[8,7,3,2]] +448*s[[8,7,4,1]] +128*s[[8,8,2,1,1]] +160*s[[8,8,2,2]] +400*s[[8,8,3,1]] +496*s[[8,8,4]] +12*s[[9,4,4,2,1]] +30*s[[9,4,4,3]] +24*s[[9,5,3,2,1]] +60*s[[9,5,3,3]] +40*s[[9,5,4,1,1]] +128*s[[9,5,4,2]] +48*s[[9,6,2,2,1]] +80*s[[9,6,3,1,1]] +256*s[[9,6,3,2]] +304*s[[9,6,4,1]] +160*s[[9,7,2,1,1]] +272*s[[9,7,2,2]] +608*s[[9,7,3,1]] +416*s[[9,7,4]] +128*s[[9,8,1,1,1]] +736*s[[9,8,2,1]] +832*s[[9,8,3]] +384*s[[9,9,1,1]] +704*s[[9,9,2]] +8*s[[10,4,4,1,1]] +28*s[[10,4,4,2]] +16*s[[10,5,3,1,1]] +56*s[[10,5,3,2]] +128*s[[10,5,4,1]] +32*s[[10,6,2,1,1]] +112*s[[10,6,2,2]] +256*s[[10,6,3,1]] +256*s[[10,6,4]] +64*s[[10,7,1,1,1]] +512*s[[10,7,2,1]] +512*s[[10,7,3]] +576*s[[10,8,1,1]] +1024*s[[10,8,2]] +1152*s[[10,9,1]] +512*s[[10,10]] +24*s[[11,4,4,1]] +48*s[[11,5,3,1]] +96*s[[11,5,4]] +96*s[[11,6,2,1]] +192*s[[11,6,3]] +192*s[[11,7,1,1]] +384*s[[11,7,2]] +768*s[[11,8,1]] +768*s[[11,9]] +16*s[[12,4,4]] +32*s[[12,5,3]] +64*s[[12,6,2]] +128*s[[12,7,1]] +256*s[[12,8]]

-16*c[1]^2*c[3]*c[5]*c[10] -8*c[1]^2*c[3]*c[6]*c[9] +24*c[1]^2*c[3]*c[7]*c[8] +16*c[1]^2*c[4]^2*c[10] +8*c[1]^2*c[4]*c[5]*c[9] +4*c[1]^2*c[4]*c[6]*c[8] -44*c[1]^2*c[4]*c[7]^2 -28*c[1]^2*c[5]^2*c[8] +64*c[1]^2*c[5]*c[6]*c[7] -20*c[1]^2*c[6]^3 -24*c[1]*c[2]*c[3]*c[5]*c[9] +12*c[1]*c[2]*c[3]*c[6]*c[8] +12*c[1]*c[2]*c[3]*c[7]^2 +24*c[1]*c[2]*c[4]^2*c[9] -12*c[1]*c[2]*c[4]*c[5]*c[8] -36*c[1]*c[2]*c[4]*c[6]*c[7] +12*c[1]*c[2]*c[5]^2*c[7] +12*c[1]*c[2]*c[5]*c[6]^2 -12*c[1]*c[3]^2*c[5]*c[8] +12*c[1]*c[3]^2*c[6]*c[7] +12*c[1]*c[3]*c[4]^2*c[8] -8*c[1]*c[3]*c[4]*c[5]*c[7] -16*c[1]*c[3]*c[4]*c[6]^2 +12*c[1]*c[3]*c[5]^2*c[6] -4*c[1]*c[4]^3*c[7] +8*c[1]*c[4]^2*c[5]*c[6] -4*c[1]*c[4]*c[5]^3 -8*c[2]^2*c[3]*c[5]*c[8] +8*c[2]^2*c[3]*c[6]*c[7] +8*c[2]^2*c[4]^2*c[8] -8*c[2]^2*c[4]*c[5]*c[7] -8*c[2]^2*c[4]*c[6]^2 +8*c[2]^2*c[5]^2*c[6] -8*c[2]*c[3]^2*c[5]*c[7] +8*c[2]*c[3]^2*c[6]^2 +8*c[2]*c[3]*c[4]^2*c[7] -16*c[2]*c[3]*c[4]*c[5]*c[6] +8*c[2]*c[3]*c[5]^3 -48*c[1]*c[3]*c[5]*c[11] -40*c[1]*c[3]*c[6]*c[10] +48*c[1]*c[3]*c[7]*c[9] +40*c[1]*c[3]*c[8]^2 +48*c[1]*c[4]^2*c[11] +40*c[1]*c[4]*c[5]*c[10] +52*c[1]*c[4]*c[6]*c[9] -188*c[1]*c[4]*c[7]*c[8] -100*c[1]*c[5]^2*c[9] +108*c[1]*c[5]*c[6]*c[8] +100*c[1]*c[5]*c[7]^2 -60*c[1]*c[6]^2*c[7] -40*c[2]*c[3]*c[5]*c[10] +20*c[2]*c[3]*c[6]*c[9] +20*c[2]*c[3]*c[7]*c[8] +40*c[2]*c[4]^2*c[10] -20*c[2]*c[4]*c[5]*c[9] -48*c[2]*c[4]*c[6]*c[8] -12*c[2]*c[4]*c[7]^2 +28*c[2]*c[5]^2*c[8] +4*c[2]*c[5]*c[6]*c[7] +8*c[2]*c[6]^3 -20*c[3]^2*c[5]*c[9] +20*c[3]^2*c[6]*c[8] +20*c[3]*c[4]^2*c[9] -12*c[3]*c[4]*c[5]*c[8] -28*c[3]*c[4]*c[6]*c[7] +24*c[3]*c[5]^2*c[7] -4*c[3]*c[5]*c[6]^2 -8*c[4]^3*c[8] +4*c[4]^2*c[5]*c[7] +8*c[4]^2*c[6]^2 -4*c[5]^4 -32*c[3]*c[5]*c[12] -48*c[3]*c[6]*c[11] +80*c[3]*c[8]*c[9] +32*c[4]^2*c[12] +48*c[4]*c[5]*c[11] +88*c[4]*c[6]*c[10] -48*c[4]*c[7]*c[9] -152*c[4]*c[8]^2 -88*c[5]^2*c[10] -32*c[5]*c[6]*c[9] +192*c[5]*c[7]*c[8] +32*c[6]^2*c[8] -72*c[6]*c[7]^2

192*s[[10,5,5]] +48*s[[6,6,5,2,1]] +48*s[[6,6,5,3]] +32*s[[6,6,6,2]] +64*s[[7,5,5,2,1]] +88*s[[7,5,5,3]] +96*s[[7,6,5,1,1]] +208*s[[7,6,5,2]] +64*s[[7,6,6,1]] +224*s[[7,7,5,1]] +64*s[[8,5,5,1,1]] +176*s[[8,5,5,2]] +416*s[[8,6,5,1]] +128*s[[8,6,6]] +448*s[[8,7,5]] +224*s[[9,5,5,1]] +448*s[[9,6,5]] +8*s[[5,5,5,3,2]] +4*s[[5,5,5,4,1]] +16*s[[6,5,5,2,2]] +32*s[[6,5,5,3,1]] +16*s[[6,5,5,4]]

-120*c[1]^4*c[4]*c[12] -28*c[1]^4*c[5]*c[11] +100*c[1]^4*c[6]*c[10] +28*c[1]^4*c[7]*c[9] +20*c[1]^4*c[8]^2 -244*c[1]^3*c[2]*c[4]*c[11] +62*c[1]^3*c[2]*c[5]*c[10] +118*c[1]^3*c[2]*c[6]*c[9] +64*c[1]^3*c[2]*c[7]*c[8] -174*c[1]^3*c[3]*c[4]*c[10] +11*c[1]^3*c[3]*c[5]*c[9] +30*c[1]^3*c[3]*c[6]*c[8] +13*c[1]^3*c[3]*c[7]^2 +55*c[1]^3*c[4]^2*c[9] +24*c[1]^3*c[4]*c[5]*c[8] +52*c[1]^3*c[4]*c[6]*c[7] -24*c[1]^3*c[5]^2*c[7] +13*c[1]^3*c[5]*c[6]^2 -164*c[1]^2*c[2]^2*c[4]*c[10] +84*c[1]^2*c[2]^2*c[5]*c[9] +56*c[1]^2*c[2]^2*c[6]*c[8] +24*c[1]^2*c[2]^2*c[7]^2 -212*c[1]^2*c[2]*c[3]*c[4]*c[9] +53*c[1]^2*c[2]*c[3]*c[5]*c[8] +35*c[1]^2*c[2]*c[3]*c[6]*c[7] +56*c[1]^2*c[2]*c[4]^2*c[8] +34*c[1]^2*c[2]*c[4]*c[5]*c[7] +34*c[1]^2*c[2]*c[4]*c[6]^2 -61*c[1]^2*c[3]^2*c[4]*c[8] +8*c[1]^2*c[3]^2*c[5]*c[7] -c[1]^2*c[3]^2*c[6]^2 +17*c[1]^2*c[3]*c[4]^2*c[7] +19*c[1]^2*c[3]*c[4]*c[5]*c[6] -8*c[1]^2*c[3]*c[5]^3 +18*c[1]^2*c[4]^3*c[6] +8*c[1]^2*c[4]^2*c[5]^2 -44*c[1]*c[2]^3*c[4]*c[9] +29*c[1]*c[2]^3*c[5]*c[8] +15*c[1]*c[2]^3*c[6]*c[7] -79*c[1]*c[2]^2*c[3]*c[4]*c[8] +31*c[1]*c[2]^2*c[3]*c[5]*c[7] +8*c[1]*c[2]^2*c[3]*c[6]^2 +19*c[1]*c[2]^2*c[4]^2*c[7] +19*c[1]*c[2]^2*c[4]*c[5]*c[6] +2*c[1]*c[2]^2*c[5]^3 -43*c[1]*c[2]*c[3]^2*c[4]*c[7] +9*c[1]*c[2]*c[3]^2*c[5]*c[6] +18*c[1]*c[2]*c[3]*c[4]^2*c[6] +4*c[1]*c[2]*c[3]*c[4]*c[5]^2 +12*c[1]*c[2]*c[4]^3*c[5] -7*c[1]*c[3]^3*c[4]*c[6] +4*c[1]*c[3]^2*c[4]^2*c[5] +3*c[1]*c[3]*c[4]^4 -4*c[2]^4*c[4]*c[8] +3*c[2]^4*c[5]*c[7] +c[2]^4*c[6]^2 -9*c[2]^3*c[3]*c[4]*c[7] +5*c[2]^3*c[3]*c[5]*c[6] +2*c[2]^3*c[4]^2*c[6] +2*c[2]^3*c[4]*c[5]^2 -7*c[2]^2*c[3]^2*c[4]*c[6] +2*c[2]^2*c[3]^2*c[5]^2 +4*c[2]^2*c[3]*c[4]^2*c[5] +c[2]^2*c[4]^4 -2*c[2]*c[3]^3*c[4]*c[5] +2*c[2]*c[3]^2*c[4]^3 -1248*c[1]^3*c[4]*c[13] -488*c[1]^3*c[5]*c[12] +1020*c[1]^3*c[6]*c[11] +400*c[1]^3*c[7]*c[10] +316*c[1]^3*c[8]*c[9] -2072*c[1]^2*c[2]*c[4]*c[12] +372*c[1]^2*c[2]*c[5]*c[11] +960*c[1]^2*c[2]*c[6]*c[10] +528*c[1]^2*c[2]*c[7]*c[9] +212*c[1]^2*c[2]*c[8]^2 -1544*c[1]^2*c[3]*c[4]*c[11] -40*c[1]^2*c[3]*c[5]*c[10] +305*c[1]^2*c[3]*c[6]*c[9] +151*c[1]^2*c[3]*c[7]*c[8] +524*c[1]^2*c[4]^2*c[10] +133*c[1]^2*c[4]*c[5]*c[9] +347*c[1]^2*c[4]*c[6]*c[8] +152*c[1]^2*c[4]*c[7]^2 -94*c[1]^2*c[5]^2*c[8] +37*c[1]^2*c[5]*c[6]*c[7] +29*c[1]^2*c[6]^3 -1000*c[1]*c[2]^2*c[4]*c[11] +460*c[1]*c[2]^2*c[5]*c[10] +325*c[1]*c[2]^2*c[6]*c[9] +215*c[1]*c[2]^2*c[7]*c[8] -1336*c[1]*c[2]*c[3]*c[4]*c[10] +230*c[1]*c[2]*c[3]*c[5]*c[9] +236*c[1]*c[2]*c[3]*c[6]*c[8] +50*c[1]*c[2]*c[3]*c[7]^2 +351*c[1]*c[2]*c[4]^2*c[9] +164*c[1]*c[2]*c[4]*c[5]*c[8] +234*c[1]*c[2]*c[4]*c[6]*c[7] +56*c[1]*c[2]*c[5]^2*c[7] +15*c[1]*c[2]*c[5]*c[6]^2 -394*c[1]*c[3]^2*c[4]*c[9] +17*c[1]*c[3]^2*c[5]*c[8] +15*c[1]*c[3]^2*c[6]*c[7] +92*c[1]*c[3]*c[4]^2*c[8] +45*c[1]*c[3]*c[4]*c[5]*c[7] +40*c[1]*c[3]*c[4]*c[6]^2 -25*c[1]*c[3]*c[5]^2*c[6] +99*c[1]*c[4]^3*c[7] +105*c[1]*c[4]^2*c[5]*c[6] +6*c[1]*c[4]*c[5]^3 -144*c[2]^3*c[4]*c[10] +87*c[2]^3*c[5]*c[9] +45*c[2]^3*c[6]*c[8] +12*c[2]^3*c[7]^2 -265*c[2]^2*c[3]*c[4]*c[9] +79*c[2]^2*c[3]*c[5]*c[8] +46*c[2]^2*c[3]*c[6]*c[7] +59*c[2]^2*c[4]^2*c[8] +49*c[2]^2*c[4]*c[5]*c[7] +8*c[2]^2*c[4]*c[6]^2 +24*c[2]^2*c[5]^2*c[6] -147*c[2]*c[3]^2*c[4]*c[8] +13*c[2]*c[3]^2*c[5]*c[7] +14*c[2]*c[3]^2*c[6]^2 +45*c[2]*c[3]*c[4]^2*c[7] +8*c[2]*c[3]*c[4]*c[5]*c[6] +11*c[2]*c[3]*c[5]^3 +31*c[2]*c[4]^3*c[6] +25*c[2]*c[4]^2*c[5]^2 -25*c[3]^3*c[4]*c[7] +6*c[3]^2*c[4]^2*c[6] +c[3]^2*c[4]*c[5]^2 +17*c[3]*c[4]^3*c[5] +c[4]^5 -4488*c[1]^2*c[4]*c[14] -2636*c[1]^2*c[5]*c[13] +3456*c[1]^2*c[6]*c[12] +2060*c[1]^2*c[7]*c[11] +1032*c[1]^2*c[8]*c[10] +576*c[1]^2*c[9]^2 -5468*c[1]*c[2]*c[4]*c[13] +634*c[1]*c[2]*c[5]*c[12] +2242*c[1]*c[2]*c[6]*c[11] +1558*c[1]*c[2]*c[7]*c[10] +1034*c[1]*c[2]*c[8]*c[9] -4302*c[1]*c[3]*c[4]*c[12] -441*c[1]*c[3]*c[5]*c[11] +847*c[1]*c[3]*c[6]*c[10] +345*c[1]*c[3]*c[7]*c[9] +191*c[1]*c[3]*c[8]^2 +1631*c[1]*c[4]^2*c[11] +203*c[1]*c[4]*c[5]*c[10] +706*c[1]*c[4]*c[6]*c[9] +783*c[1]*c[4]*c[7]*c[8] -57*c[1]*c[5]^2*c[9] -147*c[1]*c[5]*c[6]*c[8] +153*c[1]*c[5]*c[7]^2 +88*c[1]*c[6]^2*c[7] -1428*c[2]^2*c[4]*c[12] +624*c[2]^2*c[5]*c[11] +401*c[2]^2*c[6]*c[10] +264*c[2]^2*c[7]*c[9] +139*c[2]^2*c[8]^2 -1988*c[2]*c[3]*c[4]*c[11] +241*c[2]*c[3]*c[5]*c[10] +348*c[2]*c[3]*c[6]*c[9] +111*c[2]*c[3]*c[7]*c[8] +547*c[2]*c[4]^2*c[10] +192*c[2]*c[4]*c[5]*c[9] +163*c[2]*c[4]*c[6]*c[8] +207*c[2]*c[4]*c[7]^2 +146*c[2]*c[5]^2*c[8] +47*c[2]*c[5]*c[6]*c[7] -14*c[2]*c[6]^3 -605*c[3]^2*c[4]*c[10] -11*c[3]^2*c[5]*c[9] +68*c[3]^2*c[6]*c[8] -32*c[3]^2*c[7]^2 +131*c[3]*c[4]^2*c[9] -13*c[3]*c[4]*c[5]*c[8] +89*c[3]*c[4]*c[6]*c[7] +38*c[3]*c[5]^2*c[7] -53*c[3]*c[5]*c[6]^2 +147*c[4]^3*c[8] +169*c[4]^2*c[5]*c[7] +45*c[4]^2*c[6]^2 +22*c[4]*c[5]^2*c[6] +5*c[5]^4 -6528*c[1]*c[4]*c[15] -5728*c[1]*c[5]*c[14] +4384*c[1]*c[6]*c[13] +4504*c[1]*c[7]*c[12] +1704*c[1]*c[8]*c[11] +1664*c[1]*c[9]*c[10] -4456*c[2]*c[4]*c[14] +204*c[2]*c[5]*c[13] +1388*c[2]*c[6]*c[12] +1600*c[2]*c[7]*c[11] +908*c[2]*c[8]*c[10] +356*c[2]*c[9]^2 -3748*c[3]*c[4]*c[13] -670*c[3]*c[5]*c[12] +614*c[3]*c[6]*c[11] +326*c[3]*c[7]*c[10] +310*c[3]*c[8]*c[9] +1642*c[4]^2*c[12] +66*c[4]*c[5]*c[11] +394*c[4]*c[6]*c[10] +814*c[4]*c[7]*c[9] +190*c[4]*c[8]^2 +60*c[5]^2*c[10] -268*c[5]*c[6]*c[9] +220*c[5]*c[7]*c[8] -66*c[6]^2*c[8] +116*c[6]*c[7]^2 -3168*c[4]*c[16] -4368*c[5]*c[15] +1504*c[6]*c[14] +3520*c[7]*c[13] +1168*c[8]*c[12] +848*c[9]*c[11] +496*c[10]^2

864*s[[11,4,2,1,1,1]] +5328*s[[11,4,2,2,1]] +11672*s[[11,4,3,1,1]] +22382*s[[11,4,3,2]] +41620*s[[11,4,4,1]] +1800*s[[11,5,1,1,1,1]] +33832*s[[11,5,2,1,1]] +50488*s[[11,5,2,2]] +124330*s[[11,5,3,1]] +112650*s[[11,5,4]] +37424*s[[11,6,1,1,1]] +207848*s[[11,6,2,1]] +223722*s[[11,6,3]] +178824*s[[11,7,1,1]] +310272*s[[11,7,2]] +284896*s[[11,8,1]] +139776*s[[11,9]] +432*s[[12,4,1,1,1,1]] +8880*s[[12,4,2,1,1]] +13740*s[[12,4,2,2]] +37536*s[[12,4,3,1]] +41900*s[[12,4,4]] +20064*s[[12,5,1,1,1]] +118692*s[[12,5,2,1]] +137596*s[[12,5,3]] +152976*s[[12,6,1,1]] +271268*s[[12,6,2]] +329440*s[[12,7,1]] +204896*s[[12,8]] +69724*s[[9,7,2,2]] +161080*s[[9,7,3,1]] +132373*s[[9,7,4]] +24528*s[[9,8,1,1,1]] +130416*s[[9,8,2,1]] +136674*s[[9,8,3]] +49608*s[[9,9,1,1]] +85620*s[[9,9,2]] +564*s[[10,4,2,2,1,1]] +1068*s[[10,4,2,2,2]] +1152*s[[10,4,3,1,1,1]] +9000*s[[10,4,3,2,1]] +8796*s[[10,4,3,3]] +13108*s[[10,4,4,1,1]] +26865*s[[10,4,4,2]] +3132*s[[10,5,2,1,1,1]] +18564*s[[10,5,2,2,1]] +36564*s[[10,5,3,1,1]] +67944*s[[10,5,3,2]] +104491*s[[10,5,4,1]] +3144*s[[10,6,1,1,1,1]] +55056*s[[10,6,2,1,1]] +79344*s[[10,6,2,2]] +185232*s[[10,6,3,1]] +155207*s[[10,6,4]] +39792*s[[10,7,1,1,1]] +213756*s[[10,7,2,1]] +224820*s[[10,7,3]] +135576*s[[10,8,1,1]] +234264*s[[10,8,2]] +159696*s[[10,9,1]] +49008*s[[10,10]] +32994*s[[8,6,4,1,1]] +63740*s[[8,6,4,2]] +3412*s[[8,7,2,1,1,1]] +18764*s[[8,7,2,2,1]] +34628*s[[8,7,3,1,1]] +60800*s[[8,7,3,2]] +87701*s[[8,7,4,1]] +1176*s[[8,8,1,1,1,1]] +19448*s[[8,8,2,1,1]] +27128*s[[8,8,2,2]] +62642*s[[8,8,3,1]] +51292*s[[8,8,4]] +144*s[[9,4,2,2,2,1]] +962*s[[9,4,3,2,1,1]] +1958*s[[9,4,3,2,2]] +3848*s[[9,4,3,3,1]] +1292*s[[9,4,4,1,1,1]] +10884*s[[9,4,4,2,1]] +13363*s[[9,4,4,3]] +1852*s[[9,5,2,2,1,1]] +3460*s[[9,5,2,2,2]] +3382*s[[9,5,3,1,1,1]] +25554*s[[9,5,3,2,1]] +23254*s[[9,5,3,3]] +30550*s[[9,5,4,1,1]] +60995*s[[9,5,4,2]] +4676*s[[9,6,2,1,1,1]] +26572*s[[9,6,2,2,1]] +49528*s[[9,6,3,1,1]] +88942*s[[9,6,3,2]] +129345*s[[9,6,4,1]] +2952*s[[9,7,1,1,1,1]] +49552*s[[9,7,2,1,1]] +2290*s[[7,6,3,2,1,1]] +4534*s[[7,6,3,2,2]] +7912*s[[7,6,3,3,1]] +2362*s[[7,6,4,1,1,1]] +18626*s[[7,6,4,2,1]] +20340*s[[7,6,4,3]] +1048*s[[7,7,2,2,1,1]] +1888*s[[7,7,2,2,2]] +1792*s[[7,7,3,1,1,1]] +12600*s[[7,7,3,2,1]] +10510*s[[7,7,3,3]] +14128*s[[7,7,4,1,1]] +26830*s[[7,7,4,2]] +11710*s[[7,7,6]] +12*s[[8,4,2,2,2,2]] +264*s[[8,4,3,2,2,1]] +420*s[[8,4,3,3,1,1]] +1068*s[[8,4,3,3,2]] +1151*s[[8,4,4,2,1,1]] +2409*s[[8,4,4,2,2]] +5824*s[[8,4,4,3,1]] +4574*s[[8,4,4,4]] +432*s[[8,5,2,2,2,1]] +2506*s[[8,5,3,2,1,1]] +5050*s[[8,5,3,2,2]] +9280*s[[8,5,3,3,1]] +2725*s[[8,5,4,1,1,1]] +22393*s[[8,5,4,2,1]] +25744*s[[8,5,4,3]] +2336*s[[8,6,2,2,1,1]] +4280*s[[8,6,2,2,2]] +4022*s[[8,6,3,1,1,1]] +29154*s[[8,6,3,2,1]] +24968*s[[8,6,3,3]] +440*s[[6,5,4,2,2,1]] +795*s[[6,5,4,3,1,1]] +2075*s[[6,5,4,3,2]] +2269*s[[6,5,4,4,1]] +613*s[[6,5,5,2,1,1]] +20*s[[6,6,2,2,2,2]] +336*s[[6,6,3,2,2,1]] +466*s[[6,6,3,3,1,1]] +1164*s[[6,6,3,3,2]] +1059*s[[6,6,4,2,1,1]] +2169*s[[6,6,4,2,2]] +4735*s[[6,6,4,3,1]] +3125*s[[6,6,4,4]] +618*s[[6,6,5,1,1,1]] +1844*s[[6,6,6,1,1]] +22*s[[7,4,3,2,2,2]] +144*s[[7,4,3,3,2,1]] +178*s[[7,4,3,3,3]] +316*s[[7,4,4,2,2,1]] +617*s[[7,4,4,3,1,1]] +1611*s[[7,4,4,3,2]] +1983*s[[7,4,4,4,1]] +32*s[[7,5,2,2,2,2]] +600*s[[7,5,3,2,2,1]] +886*s[[7,5,3,3,1,1]] +2232*s[[7,5,3,3,2]] +2046*s[[7,5,4,2,1,1]] +4270*s[[7,5,4,2,2]] +9663*s[[7,5,4,3,1]] +6740*s[[7,5,4,4]] +994*s[[7,5,5,1,1,1]] +432*s[[7,6,2,2,2,1]] +2*s[[4,4,4,3,3,2]] +3*s[[4,4,4,4,2,2]] +8*s[[4,4,4,4,3,1]] +7*s[[4,4,4,4,4]] +2*s[[5,4,3,3,3,2]] +15*s[[5,4,4,3,2,2]] +32*s[[5,4,4,3,3,1]] +60*s[[5,4,4,4,2,1]] +99*s[[5,4,4,4,3]] +12*s[[5,5,3,3,2,2]] +24*s[[5,5,3,3,3,1]] +21*s[[5,5,4,2,2,2]] +156*s[[5,5,4,3,2,1]] +200*s[[5,5,4,3,3]] +132*s[[5,5,4,4,1,1]] +375*s[[5,5,4,4,2]] +84*s[[5,5,5,2,2,1]] +148*s[[5,5,5,3,1,1]] +180*s[[5,5,5,5]] +12*s[[6,4,3,3,2,2]] +24*s[[6,4,3,3,3,1]] +25*s[[6,4,4,2,2,2]] +204*s[[6,4,4,3,2,1]] +270*s[[6,4,4,3,3]] +197*s[[6,4,4,4,1,1]] +550*s[[6,4,4,4,2]] +40*s[[6,5,3,2,2,2]] +240*s[[6,5,3,3,2,1]] +286*s[[6,5,3,3,3]] +4608*s[[13,4,1,1,1]] +29664*s[[13,4,2,1]] +39112*s[[13,4,3]] +76968*s[[13,5,1,1]] +143384*s[[13,5,2]] +258184*s[[13,6,1]] +214688*s[[13,7]] +16848*s[[14,4,1,1]] +33744*s[[14,4,2]] +120624*s[[14,5,1]] +153552*s[[14,6]] +24768*s[[15,4,1]] +65088*s[[15,5]] +12096*s[[16,4]] +414*s[[5,5,5,3,2]] +492*s[[5,5,5,4,1]] +1331*s[[6,5,5,2,2]] +3039*s[[6,5,5,3,1]] +2402*s[[6,5,5,4]] +4986*s[[6,6,5,2,1]] +5663*s[[6,6,5,3]] +3497*s[[6,6,6,2]] +8490*s[[7,5,5,2,1]] +10113*s[[7,5,5,3]] +12656*s[[7,6,5,1,1]] +24860*s[[7,6,5,2]] +13308*s[[7,6,6,1]] +25940*s[[7,7,5,1]] +12786*s[[8,5,5,1,1]] +26079*s[[8,5,5,2]] +58303*s[[8,6,5,1]] +21247*s[[8,6,6]] +54023*s[[8,7,5]] +47163*s[[9,5,5,1]] +75654*s[[9,6,5]] +52979*s[[10,5,5]]

-8*c[1]^3*c[3]*c[5]*c[9] +12*c[1]^3*c[3]*c[6]*c[8] -4*c[1]^3*c[3]*c[7]^2 +8*c[1]^3*c[4]^2*c[9] -12*c[1]^3*c[4]*c[5]*c[8] -4*c[1]^3*c[4]*c[6]*c[7] +12*c[1]^3*c[5]^2*c[7] -4*c[1]^3*c[5]*c[6]^2 -4*c[1]^2*c[2]*c[3]*c[5]*c[8] +4*c[1]^2*c[2]*c[3]*c[6]*c[7] +4*c[1]^2*c[2]*c[4]^2*c[8] -4*c[1]^2*c[2]*c[4]*c[5]*c[7] -4*c[1]^2*c[2]*c[4]*c[6]^2 +4*c[1]^2*c[2]*c[5]^2*c[6] -4*c[1]^2*c[3]^2*c[5]*c[7] +4*c[1]^2*c[3]^2*c[6]^2 +4*c[1]^2*c[3]*c[4]^2*c[7] -8*c[1]^2*c[3]*c[4]*c[5]*c[6] +4*c[1]^2*c[3]*c[5]^3 -48*c[1]^2*c[3]*c[5]*c[10] +48*c[1]^2*c[3]*c[6]*c[9] +48*c[1]^2*c[4]^2*c[10] -48*c[1]^2*c[4]*c[5]*c[9] -42*c[1]^2*c[4]*c[6]*c[8] -6*c[1]^2*c[4]*c[7]^2 +42*c[1]^2*c[5]^2*c[8] +12*c[1]^2*c[5]*c[6]*c[7] -6*c[1]^2*c[6]^3 -8*c[1]*c[2]*c[3]*c[5]*c[9] -6*c[1]*c[2]*c[3]*c[6]*c[8] +14*c[1]*c[2]*c[3]*c[7]^2 +8*c[1]*c[2]*c[4]^2*c[9] +6*c[1]*c[2]*c[4]*c[5]*c[8] -22*c[1]*c[2]*c[4]*c[6]*c[7] -6*c[1]*c[2]*c[5]^2*c[7] +14*c[1]*c[2]*c[5]*c[6]^2 -14*c[1]*c[3]^2*c[5]*c[8] +14*c[1]*c[3]^2*c[6]*c[7] +14*c[1]*c[3]*c[4]^2*c[8] -16*c[1]*c[3]*c[4]*c[5]*c[7] -12*c[1]*c[3]*c[4]*c[6]^2 +14*c[1]*c[3]*c[5]^2*c[6] +2*c[1]*c[4]^3*c[7] -4*c[1]*c[4]^2*c[5]*c[6] +2*c[1]*c[4]*c[5]^3 +4*c[2]^2*c[3]*c[5]*c[8] -4*c[2]^2*c[3]*c[6]*c[7] -4*c[2]^2*c[4]^2*c[8] +4*c[2]^2*c[4]*c[5]*c[7] +4*c[2]^2*c[4]*c[6]^2 -4*c[2]^2*c[5]^2*c[6] +4*c[2]*c[3]^2*c[5]*c[7] -4*c[2]*c[3]^2*c[6]^2 -4*c[2]*c[3]*c[4]^2*c[7] +8*c[2]*c[3]*c[4]*c[5]*c[6] -4*c[2]*c[3]*c[5]^3 -88*c[1]*c[3]*c[5]*c[11] -4*c[1]*c[3]*c[6]*c[10] +136*c[1]*c[3]*c[7]*c[9] -44*c[1]*c[3]*c[8]^2 +88*c[1]*c[4]^2*c[11] +4*c[1]*c[4]*c[5]*c[10] -130*c[1]*c[4]*c[6]*c[9] -50*c[1]*c[4]*c[7]*c[8] -6*c[1]*c[5]^2*c[9] +138*c[1]*c[5]*c[6]*c[8] -42*c[1]*c[5]*c[7]^2 -2*c[1]*c[6]^2*c[7] +4*c[2]*c[3]*c[5]*c[10] -54*c[2]*c[3]*c[6]*c[9] +50*c[2]*c[3]*c[7]*c[8] -4*c[2]*c[4]^2*c[10] +54*c[2]*c[4]*c[5]*c[9] -8*c[2]*c[4]*c[6]*c[8] -38*c[2]*c[4]*c[7]^2 -42*c[2]*c[5]^2*c[8] +26*c[2]*c[5]*c[6]*c[7] +12*c[2]*c[6]^3 -10*c[3]^2*c[5]*c[9] -22*c[3]^2*c[6]*c[8] +32*c[3]^2*c[7]^2 +10*c[3]*c[4]^2*c[9] +18*c[3]*c[4]*c[5]*c[8] -38*c[3]*c[4]*c[6]*c[7] -20*c[3]*c[5]^2*c[7] +30*c[3]*c[5]*c[6]^2 +4*c[4]^3*c[8] -6*c[4]^2*c[5]*c[7] -4*c[4]^2*c[6]^2 +8*c[4]*c[5]^2*c[6] -2*c[5]^4 -48*c[3]*c[5]*c[12] -104*c[3]*c[6]*c[11] +208*c[3]*c[7]*c[10] -56*c[3]*c[8]*c[9] +48*c[4]^2*c[12] +104*c[4]*c[5]*c[11] -124*c[4]*c[6]*c[10] -104*c[4]*c[7]*c[9] +28*c[4]*c[8]^2 -84*c[5]^2*c[10] +160*c[5]*c[6]*c[9] -48*c[5]*c[7]*c[8] +48*c[6]^2*c[8] -28*c[6]*c[7]^2

272*s[[9,5,5,1]] +608*s[[9,6,5]] +224*s[[10,5,5]] +64*s[[7,6,5,1,1]] +216*s[[7,6,5,2]] +160*s[[7,6,6,1]] +80*s[[7,7,5,1]] +112*s[[8,5,5,1,1]] +136*s[[8,5,5,2]] +432*s[[8,6,5,1]] +320*s[[8,6,6]] +160*s[[8,7,5]] +8*s[[6,5,5,2,1,1]] +28*s[[6,5,5,3,1]] +24*s[[6,5,5,4]] +32*s[[6,6,5,2,1]] +88*s[[6,6,5,3]] +80*s[[6,6,6,2]] +16*s[[7,5,5,1,1,1]] +56*s[[7,5,5,2,1]] +68*s[[7,5,5,3]] +4*s[[5,5,5,3,1,1]] +6*s[[5,5,5,4,1]]