Thom polynomials, relative dimension l=4

1

s[[0]]

c[5]

s[[5]]

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

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

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

s[[6,6]]

432*c[1]^2*c[13] +360*c[1]*c[2]*c[12] +156*c[1]*c[3]*c[11] +70*c[1]*c[4]*c[10] +43*c[1]*c[5]*c[9] +14*c[1]*c[6]*c[8] +5*c[1]*c[7]^2 +72*c[2]^2*c[11] +60*c[2]*c[3]*c[10] +26*c[2]*c[4]*c[9] +17*c[2]*c[5]*c[8] +5*c[2]*c[6]*c[7] +12*c[3]^2*c[9] +10*c[3]*c[4]*c[8] +7*c[3]*c[5]*c[7] +c[3]*c[6]^2 +2*c[4]^2*c[7] +3*c[4]*c[5]*c[6] +c[5]^3 +2160*c[1]*c[14] +936*c[2]*c[13] +420*c[3]*c[12] +194*c[4]*c[11] +113*c[5]*c[10] +41*c[6]*c[9] +24*c[7]*c[8] +2592*c[15]

s[[5,5,5]] +5*s[[6,5,4]] +5*s[[6,6,3]] +6*s[[7,4,4]] +19*s[[7,5,3]] +24*s[[7,6,2]] +24*s[[7,7,1]] +30*s[[8,4,3]] +65*s[[8,5,2]] +89*s[[8,6,1]] +113*s[[8,7]] +36*s[[9,3,3]] +114*s[[9,4,2]] +211*s[[9,5,1]] +300*s[[9,6]] +180*s[[10,3,2]] +390*s[[10,4,1]] +665*s[[10,5]] +216*s[[11,2,2]] +684*s[[11,3,1]] +1266*s[[11,4]] +1080*s[[12,2,1]] +2340*s[[12,3]] +1296*s[[13,1,1]] +4104*s[[13,2]] +6480*s[[14,1]] +7776*s[[15]]

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

s[[6,6,4]] +3*s[[7,6,3]] +3*s[[7,7,2]] +7*s[[8,6,2]] +10*s[[8,7,1]] +10*s[[8,8]] +15*s[[9,6,1]] +25*s[[9,7]] +31*s[[10,6]]

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

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

82944*c[1]^3*c[17] +89856*c[1]^2*c[2]*c[16] +35136*c[1]^2*c[3]*c[15] +14736*c[1]^2*c[4]*c[14] +7072*c[1]^2*c[5]*c[13] +2796*c[1]^2*c[6]*c[12] +1356*c[1]^2*c[7]*c[11] +756*c[1]^2*c[8]*c[10] +356*c[1]^2*c[9]^2 +31104*c[1]*c[2]^2*c[15] +23328*c[1]*c[2]*c[3]*c[14] +9432*c[1]*c[2]*c[4]*c[13] +4512*c[1]*c[2]*c[5]*c[12] +1658*c[1]*c[2]*c[6]*c[11] +818*c[1]*c[2]*c[7]*c[10] +572*c[1]*c[2]*c[8]*c[9] +4176*c[1]*c[3]^2*c[13] +3228*c[1]*c[3]*c[4]*c[12] +1532*c[1]*c[3]*c[5]*c[11] +513*c[1]*c[3]*c[6]*c[10] +292*c[1]*c[3]*c[7]*c[9] +99*c[1]*c[3]*c[8]^2 +594*c[1]*c[4]^2*c[11] +557*c[1]*c[4]*c[5]*c[10] +182*c[1]*c[4]*c[6]*c[9] +93*c[1]*c[4]*c[7]*c[8] +142*c[1]*c[5]^2*c[9] +77*c[1]*c[5]*c[6]*c[8] +26*c[1]*c[5]*c[7]^2 +9*c[1]*c[6]^2*c[7] +3456*c[2]^3*c[14] +3744*c[2]^2*c[3]*c[13] +1464*c[2]^2*c[4]*c[12] +704*c[2]^2*c[5]*c[11] +238*c[2]^2*c[6]*c[10] +124*c[2]^2*c[7]*c[9] +62*c[2]^2*c[8]^2 +1296*c[2]*c[3]^2*c[12] +972*c[2]*c[3]*c[4]*c[11] +468*c[2]*c[3]*c[5]*c[10] +143*c[2]*c[3]*c[6]*c[9] +97*c[2]*c[3]*c[7]*c[8] +174*c[2]*c[4]^2*c[10] +167*c[2]*c[4]*c[5]*c[9] +53*c[2]*c[4]*c[6]*c[8] +16*c[2]*c[4]*c[7]^2 +46*c[2]*c[5]^2*c[8] +23*c[2]*c[5]*c[6]*c[7] +c[2]*c[6]^3 +144*c[3]^3*c[11] +156*c[3]^2*c[4]*c[10] +76*c[3]^2*c[5]*c[9] +21*c[3]^2*c[6]*c[8] +11*c[3]^2*c[7]^2 +54*c[3]*c[4]^2*c[9] +53*c[3]*c[4]*c[5]*c[8] +17*c[3]*c[4]*c[6]*c[7] +16*c[3]*c[5]^2*c[7] +4*c[3]*c[5]*c[6]^2 +6*c[4]^3*c[8] +9*c[4]^2*c[5]*c[7] +2*c[4]^2*c[6]^2 +6*c[4]*c[5]^2*c[6] +c[5]^4 +746496*c[1]^2*c[18] +559872*c[1]*c[2]*c[17] +226368*c[1]*c[3]*c[16] +97488*c[1]*c[4]*c[15] +46752*c[1]*c[5]*c[14] +19492*c[1]*c[6]*c[13] +9408*c[1]*c[7]*c[12] +4888*c[1]*c[8]*c[11] +3412*c[1]*c[9]*c[10] +100224*c[2]^2*c[16] +77472*c[2]*c[3]*c[15] +32088*c[2]*c[4]*c[14] +15232*c[2]*c[5]*c[13] +5958*c[2]*c[6]*c[12] +2872*c[2]*c[7]*c[11] +1698*c[2]*c[8]*c[10] +616*c[2]*c[9]^2 +14256*c[3]^2*c[14] +11268*c[3]*c[4]*c[13] +5268*c[3]*c[5]*c[12] +1897*c[3]*c[6]*c[11] +977*c[3]*c[7]*c[10] +558*c[3]*c[8]*c[9] +2118*c[4]^2*c[12] +1943*c[4]*c[5]*c[11] +663*c[4]*c[6]*c[10] +313*c[4]*c[7]*c[9] +113*c[4]*c[8]^2 +466*c[5]^2*c[10] +277*c[5]*c[6]*c[9] +148*c[5]*c[7]*c[8] +34*c[6]^2*c[8] +21*c[6]*c[7]^2 +2156544*c[1]*c[19] +843264*c[2]*c[18] +353664*c[3]*c[17] +156768*c[4]*c[16] +75584*c[5]*c[15] +32984*c[6]*c[14] +15984*c[7]*c[13] +8048*c[8]*c[12] +4624*c[9]*c[11] +2072*c[10]^2 +1990656*c[20]

2025216*s[[16,3,1]] +2292864*s[[16,4]] +331776*s[[17,1,1,1]] +2903040*s[[17,2,1]] +3985920*s[[17,3]] +2985984*s[[18,1,1]] +6359040*s[[18,2]] +8626176*s[[19,1]] +7962624*s[[20]] +6920*s[[11,5,2,2]] +19684*s[[11,5,3,1]] +28286*s[[11,5,4]] +27536*s[[11,6,2,1]] +53900*s[[11,6,3]] +25280*s[[11,7,1,1]] +76224*s[[11,7,2]] +88640*s[[11,8,1]] +73376*s[[11,9]] +5184*s[[12,3,3,2]] +11040*s[[12,4,2,2]] +29136*s[[12,4,3,1]] +32424*s[[12,4,4]] +51240*s[[12,5,2,1]] +96780*s[[12,5,3]] +50624*s[[12,6,1,1]] +151480*s[[12,6,2]] +185216*s[[12,7,1]] +162304*s[[12,8]] +14976*s[[13,3,2,2]] +31680*s[[13,3,3,1]] +84384*s[[13,4,2,1]] +146160*s[[13,4,3]] +95536*s[[13,5,1,1]] +281240*s[[13,5,2]] +366640*s[[13,6,1]] +331520*s[[13,7]] +13824*s[[14,2,2,2]] +120960*s[[14,3,2,1]] +164160*s[[14,3,3]] +166080*s[[14,4,1,1]] +472416*s[[14,4,2]] +693744*s[[14,5,1]] +655200*s[[14,6]] +124416*s[[15,2,2,1]] +264960*s[[15,3,1,1]] +699264*s[[15,3,2]] +1229760*s[[15,4,1]] +1254176*s[[15,5]] +359424*s[[16,2,1,1]] +760320*s[[16,2,2]] +285*s[[8,5,5,2]] +240*s[[8,6,3,3]] +666*s[[8,6,4,2]] +889*s[[8,6,5,1]] +670*s[[8,6,6]] +804*s[[8,7,3,2]] +1490*s[[8,7,4,1]] +1961*s[[8,7,5]] +520*s[[8,8,2,2]] +1476*s[[8,8,3,1]] +2354*s[[8,8,4]] +216*s[[9,4,4,3]] +460*s[[9,5,3,3]] +1214*s[[9,5,4,2]] +1351*s[[9,5,5,1]] +1900*s[[9,6,3,2]] +3520*s[[9,6,4,1]] +4340*s[[9,6,5]] +1736*s[[9,7,2,2]] +5120*s[[9,7,3,1]] +8130*s[[9,7,4]] +5504*s[[9,8,2,1]] +10820*s[[9,8,3]] +3376*s[[9,9,1,1]] +9920*s[[9,9,2]] +624*s[[10,4,3,3]] +1320*s[[10,4,4,2]] +3516*s[[10,5,3,2]] +6090*s[[10,5,4,1]] +6069*s[[10,5,5]] +3704*s[[10,6,2,2]] +10840*s[[10,6,3,1]] +16850*s[[10,6,4]] +13520*s[[10,7,2,1]] +26840*s[[10,7,3]] +11520*s[[10,8,1,1]] +34736*s[[10,8,2]] +35664*s[[10,9,1]] +21280*s[[10,10]] +576*s[[11,3,3,3]] +5040*s[[11,4,3,2]] +6840*s[[11,4,4,1]] +s[[5,5,5,5]] +9*s[[6,5,5,4]] +10*s[[6,6,4,4]] +21*s[[6,6,5,3]] +14*s[[6,6,6,2]] +26*s[[7,5,4,4]] +55*s[[7,5,5,3]] +104*s[[7,6,4,3]] +160*s[[7,6,5,2]] +116*s[[7,6,6,1]] +76*s[[7,7,3,3]] +200*s[[7,7,4,2]] +280*s[[7,7,5,1]] +264*s[[7,7,6]] +24*s[[8,4,4,4]] +210*s[[8,5,4,3]]

-432*c[1]^2*c[5]*c[14] +296*c[1]^2*c[6]*c[13] +72*c[1]^2*c[7]*c[12] +56*c[1]^2*c[8]*c[11] +8*c[1]^2*c[9]*c[10] -360*c[1]*c[2]*c[5]*c[13] +252*c[1]*c[2]*c[6]*c[12] +68*c[1]*c[2]*c[7]*c[11] +36*c[1]*c[2]*c[8]*c[10] +4*c[1]*c[2]*c[9]^2 -156*c[1]*c[3]*c[5]*c[12] +114*c[1]*c[3]*c[6]*c[11] +26*c[1]*c[3]*c[7]*c[10] +16*c[1]*c[3]*c[8]*c[9] -70*c[1]*c[4]*c[5]*c[11] +53*c[1]*c[4]*c[6]*c[10] +10*c[1]*c[4]*c[7]*c[9] +7*c[1]*c[4]*c[8]^2 -35*c[1]*c[5]^2*c[10] +14*c[1]*c[5]*c[6]*c[9] +2*c[1]*c[5]*c[7]*c[8] +12*c[1]*c[6]^2*c[8] +7*c[1]*c[6]*c[7]^2 -72*c[2]^2*c[5]*c[12] +52*c[2]^2*c[6]*c[11] +16*c[2]^2*c[7]*c[10] +4*c[2]^2*c[8]*c[9] -60*c[2]*c[3]*c[5]*c[11] +46*c[2]*c[3]*c[6]*c[10] +12*c[2]*c[3]*c[7]*c[9] +2*c[2]*c[3]*c[8]^2 -26*c[2]*c[4]*c[5]*c[10] +21*c[2]*c[4]*c[6]*c[9] +5*c[2]*c[4]*c[7]*c[8] -13*c[2]*c[5]^2*c[9] +7*c[2]*c[5]*c[6]*c[8] +c[2]*c[5]*c[7]^2 +5*c[2]*c[6]^2*c[7] -12*c[3]^2*c[5]*c[10] +10*c[3]^2*c[6]*c[9] +2*c[3]^2*c[7]*c[8] -10*c[3]*c[4]*c[5]*c[9] +9*c[3]*c[4]*c[6]*c[8] +c[3]*c[4]*c[7]^2 -5*c[3]*c[5]^2*c[8] +4*c[3]*c[5]*c[6]*c[7] +c[3]*c[6]^3 -2*c[4]^2*c[5]*c[8] +2*c[4]^2*c[6]*c[7] -2*c[4]*c[5]^2*c[7] +2*c[4]*c[5]*c[6]^2 -2160*c[1]*c[5]*c[15] +1464*c[1]*c[6]*c[14] +320*c[1]*c[7]*c[13] +256*c[1]*c[8]*c[12] +112*c[1]*c[9]*c[11] +8*c[1]*c[10]^2 -936*c[2]*c[5]*c[14] +644*c[2]*c[6]*c[13] +152*c[2]*c[7]*c[12] +88*c[2]*c[8]*c[11] +52*c[2]*c[9]*c[10] -420*c[3]*c[5]*c[13] +298*c[3]*c[6]*c[12] +60*c[3]*c[7]*c[11] +38*c[3]*c[8]*c[10] +24*c[3]*c[9]^2 -194*c[4]*c[5]*c[12] +141*c[4]*c[6]*c[11] +23*c[4]*c[7]*c[10] +30*c[4]*c[8]*c[9] -97*c[5]^2*c[11] +31*c[5]*c[6]*c[10] -2*c[5]*c[7]*c[9] +3*c[5]*c[8]^2 +32*c[6]^2*c[9] +30*c[6]*c[7]*c[8] +3*c[7]^3 -2592*c[5]*c[16] +1744*c[6]*c[15] +352*c[7]*c[14] +288*c[8]*c[13] +192*c[9]*c[12] +16*c[10]*c[11]

4448*s[[12,7,2]] +5632*s[[12,8,1]] +4544*s[[12,9]] +1280*s[[13,6,1,1]] +4048*s[[13,6,2]] +7232*s[[13,7,1]] +7168*s[[13,8]] +6432*s[[14,6,1]] +8832*s[[14,7]] +7744*s[[15,6]] +368*s[[9,8,3,1]] +692*s[[9,8,4]] +240*s[[9,9,2,1]] +560*s[[9,9,3]] +168*s[[10,6,3,2]] +360*s[[10,6,4,1]] +602*s[[10,6,5]] +208*s[[10,7,2,2]] +656*s[[10,7,3,1]] +1208*s[[10,7,4]] +736*s[[10,8,2,1]] +1632*s[[10,8,3]] +480*s[[10,9,1,1]] +1616*s[[10,9,2]] +992*s[[10,10,1]] +208*s[[11,6,2,2]] +656*s[[11,6,3,1]] +1204*s[[11,6,4]] +1120*s[[11,7,2,1]] +2416*s[[11,7,3]] +1024*s[[11,8,1,1]] +3264*s[[11,8,2]] +3232*s[[11,9,1]] +1984*s[[11,10]] +1056*s[[12,6,2,1]] +2280*s[[12,6,3]] +1408*s[[12,7,1,1]] +2*s[[6,6,5,4]] +3*s[[6,6,6,3]] +4*s[[7,6,4,4]] +12*s[[7,6,5,3]] +18*s[[7,6,6,2]] +12*s[[7,7,4,3]] +24*s[[7,7,5,2]] +36*s[[7,7,6,1]] +24*s[[7,7,7]] +24*s[[8,6,4,3]] +50*s[[8,6,5,2]] +75*s[[8,6,6,1]] +24*s[[8,7,3,3]] +76*s[[8,7,4,2]] +134*s[[8,7,5,1]] +201*s[[8,7,6]] +56*s[[8,8,3,2]] +124*s[[8,8,4,1]] +206*s[[8,8,5]] +32*s[[9,6,3,3]] +100*s[[9,6,4,2]] +180*s[[9,6,5,1]] +270*s[[9,6,6]] +152*s[[9,7,3,2]] +328*s[[9,7,4,1]] +542*s[[9,7,5]] +112*s[[9,8,2,2]]

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

s[[7,7,7]]

-1296*c[1]^2*c[5]*c[15] +1736*c[1]^2*c[6]*c[14] -416*c[1]^2*c[7]*c[13] -16*c[1]^2*c[9]*c[11] -8*c[1]^2*c[10]^2 -1080*c[1]*c[2]*c[5]*c[14] +1452*c[1]*c[2]*c[6]*c[13] -344*c[1]*c[2]*c[7]*c[12] -8*c[1]*c[2]*c[8]*c[11] -20*c[1]*c[2]*c[9]*c[10] -468*c[1]*c[3]*c[5]*c[13] +634*c[1]*c[3]*c[6]*c[12] -152*c[1]*c[3]*c[7]*c[11] -10*c[1]*c[3]*c[8]*c[10] -4*c[1]*c[3]*c[9]^2 -210*c[1]*c[4]*c[5]*c[12] +289*c[1]*c[4]*c[6]*c[11] -77*c[1]*c[4]*c[7]*c[10] -2*c[1]*c[4]*c[8]*c[9] -97*c[1]*c[5]^2*c[11] +91*c[1]*c[5]*c[6]*c[10] -66*c[1]*c[5]*c[7]*c[9] -9*c[1]*c[5]*c[8]^2 +64*c[1]*c[6]^2*c[9] +22*c[1]*c[6]*c[7]*c[8] -5*c[1]*c[7]^3 -216*c[2]^2*c[5]*c[13] +292*c[2]^2*c[6]*c[12] -68*c[2]^2*c[7]*c[11] -4*c[2]^2*c[8]*c[10] -4*c[2]^2*c[9]^2 -180*c[2]*c[3]*c[5]*c[12] +246*c[2]*c[3]*c[6]*c[11] -58*c[2]*c[3]*c[7]*c[10] -8*c[2]*c[3]*c[8]*c[9] -78*c[2]*c[4]*c[5]*c[11] +109*c[2]*c[4]*c[6]*c[10] -30*c[2]*c[4]*c[7]*c[9] -c[2]*c[4]*c[8]^2 -35*c[2]*c[5]^2*c[10] +34*c[2]*c[5]*c[6]*c[9] -26*c[2]*c[5]*c[7]*c[8] +24*c[2]*c[6]^2*c[8] +3*c[2]*c[6]*c[7]^2 -36*c[3]^2*c[5]*c[11] +50*c[3]^2*c[6]*c[10] -12*c[3]^2*c[7]*c[9] -2*c[3]^2*c[8]^2 -30*c[3]*c[4]*c[5]*c[10] +43*c[3]*c[4]*c[6]*c[9] -13*c[3]*c[4]*c[7]*c[8] -13*c[3]*c[5]^2*c[9] +13*c[3]*c[5]*c[6]*c[8] -9*c[3]*c[5]*c[7]^2 +9*c[3]*c[6]^2*c[7] -6*c[4]^2*c[5]*c[9] +9*c[4]^2*c[6]*c[8] -3*c[4]^2*c[7]^2 -5*c[4]*c[5]^2*c[8] +2*c[4]*c[5]*c[6]*c[7] +3*c[4]*c[6]^3 -2*c[5]^3*c[7] +2*c[5]^2*c[6]^2 -6480*c[1]*c[5]*c[16] +8664*c[1]*c[6]*c[15] -2104*c[1]*c[7]*c[14] +16*c[1]*c[8]*c[13] -48*c[1]*c[9]*c[12] -48*c[1]*c[10]*c[11] -2808*c[2]*c[5]*c[15] +3764*c[2]*c[6]*c[14] -908*c[2]*c[7]*c[13] -8*c[2]*c[8]*c[12] -28*c[2]*c[9]*c[11] -12*c[2]*c[10]^2 -1260*c[3]*c[5]*c[14] +1698*c[3]*c[6]*c[13] -414*c[3]*c[7]*c[12] -14*c[3]*c[8]*c[11] -10*c[3]*c[9]*c[10] -582*c[4]*c[5]*c[13] +793*c[4]*c[6]*c[12] -208*c[4]*c[7]*c[11] -c[4]*c[8]*c[10] -2*c[4]*c[9]^2 -275*c[5]^2*c[12] +250*c[5]*c[6]*c[11] -177*c[5]*c[7]*c[10] -41*c[5]*c[8]*c[9] +180*c[6]^2*c[10] +51*c[6]*c[7]*c[9] +36*c[6]*c[8]^2 -24*c[7]^2*c[8] -7776*c[5]*c[17] +10384*c[6]*c[16] -2544*c[7]*c[15] +32*c[8]*c[14] -32*c[9]*c[13] -48*c[10]*c[12] -16*c[11]^2

104*s[[10,6,3,3]] +328*s[[10,6,4,2]] +602*s[[10,6,5,1]] +965*s[[10,6,6]] +224*s[[10,7,3,2]] +488*s[[10,7,4,1]] +844*s[[10,7,5]] +96*s[[10,8,2,2]] +320*s[[10,8,3,1]] +644*s[[10,8,4]] +144*s[[10,9,2,1]] +384*s[[10,9,3]] +32*s[[10,10,1,1]] +144*s[[10,10,2]] +528*s[[11,6,3,2]] +1140*s[[11,6,4,1]] +1932*s[[11,6,5]] +288*s[[11,7,2,2]] +912*s[[11,7,3,1]] +1692*s[[11,7,4]] +576*s[[11,8,2,1]] +1296*s[[11,8,3]] +224*s[[11,9,1,1]] +784*s[[11,9,2]] +320*s[[11,10,1]] +64*s[[11,11]] +640*s[[12,6,2,2]] +2024*s[[12,6,3,1]] +3736*s[[12,6,4]] +1504*s[[12,7,2,1]] +3256*s[[12,7,3]] +768*s[[12,8,1,1]] +2464*s[[12,8,2]] +2*s[[6,6,5,5]] +5*s[[6,6,6,4]] +12*s[[7,6,5,4]] +24*s[[7,6,6,3]] +4*s[[7,7,4,4]] +12*s[[7,7,5,3]] +24*s[[7,7,6,2]] +16*s[[8,6,4,4]] +50*s[[8,6,5,3]] +89*s[[8,6,6,2]] +28*s[[8,7,4,3]] +62*s[[8,7,5,2]] +113*s[[8,7,6,1]] +8*s[[8,8,3,3]] +28*s[[8,8,4,2]] +62*s[[8,8,5,1]] +113*s[[8,8,6]] +84*s[[9,6,4,3]] +180*s[[9,6,5,2]] +300*s[[9,6,6,1]] +40*s[[9,7,3,3]] +128*s[[9,7,4,2]] +242*s[[9,7,5,1]] +413*s[[9,7,6]] +64*s[[9,8,3,2]] +156*s[[9,8,4,1]] +304*s[[9,8,5]] +16*s[[9,9,2,2]] +64*s[[9,9,3,1]] +156*s[[9,9,4]] +1440*s[[12,9,1]] +512*s[[12,10]] +3216*s[[13,6,2,1]] +6960*s[[13,6,3]] +1856*s[[13,7,1,1]] +5872*s[[13,7,2]] +4160*s[[13,8,1]] +1984*s[[13,9]] +3872*s[[14,6,1,1]] +12256*s[[14,6,2]] +9440*s[[14,7,1]] +5248*s[[14,8]] +19392*s[[15,6,1]] +11456*s[[15,7]] +23296*s[[16,6]]

-8*c[1]^2*c[6]*c[14] -20*c[1]^2*c[7]*c[13] -12*c[1]^2*c[8]*c[12] -124*c[1]^2*c[9]*c[11] +164*c[1]^2*c[10]^2 -12*c[1]*c[2]*c[6]*c[13] -22*c[1]*c[2]*c[7]*c[12] -70*c[1]*c[2]*c[8]*c[11] +104*c[1]*c[2]*c[9]*c[10] -10*c[1]*c[3]*c[6]*c[12] -41*c[1]*c[3]*c[7]*c[11] +82*c[1]*c[3]*c[8]*c[10] -31*c[1]*c[3]*c[9]^2 -25*c[1]*c[4]*c[6]*c[11] +42*c[1]*c[4]*c[7]*c[10] -17*c[1]*c[4]*c[8]*c[9] -16*c[1]*c[5]^2*c[11] +32*c[1]*c[5]*c[6]*c[10] -8*c[1]*c[5]*c[7]*c[9] -5*c[1]*c[6]^2*c[9] -3*c[1]*c[6]*c[7]*c[8] -4*c[2]^2*c[6]*c[12] -6*c[2]^2*c[7]*c[11] -32*c[2]^2*c[8]*c[10] +42*c[2]^2*c[9]^2 -6*c[2]*c[3]*c[6]*c[11] -21*c[2]*c[3]*c[7]*c[10] +27*c[2]*c[3]*c[8]*c[9] -13*c[2]*c[4]*c[6]*c[10] +21*c[2]*c[4]*c[7]*c[9] -8*c[2]*c[4]*c[8]^2 -8*c[2]*c[5]^2*c[10] +16*c[2]*c[5]*c[6]*c[9] -4*c[2]*c[5]*c[7]*c[8] -3*c[2]*c[6]^2*c[8] -c[2]*c[6]*c[7]^2 -2*c[3]^2*c[6]*c[10] -9*c[3]^2*c[7]*c[9] +11*c[3]^2*c[8]^2 -7*c[3]*c[4]*c[6]*c[9] +7*c[3]*c[4]*c[7]*c[8] -4*c[3]*c[5]^2*c[9] +8*c[3]*c[5]*c[6]*c[8] -2*c[3]*c[5]*c[7]^2 -2*c[3]*c[6]^2*c[7] -3*c[4]^2*c[6]*c[8] +3*c[4]^2*c[7]^2 -2*c[4]*c[5]^2*c[8] +3*c[4]*c[5]*c[6]*c[7] -c[4]*c[6]^3 -c[5]^3*c[7] +c[5]^2*c[6]^2 -24*c[1]*c[6]*c[15] -68*c[1]*c[7]*c[14] -56*c[1]*c[8]*c[13] -256*c[1]*c[9]*c[12] +404*c[1]*c[10]*c[11] -20*c[2]*c[6]*c[14] -38*c[2]*c[7]*c[13] -144*c[2]*c[8]*c[12] +326*c[2]*c[9]*c[11] -124*c[2]*c[10]^2 -18*c[3]*c[6]*c[13] -79*c[3]*c[7]*c[12] +161*c[3]*c[8]*c[11] -64*c[3]*c[9]*c[10] -49*c[4]*c[6]*c[12] +85*c[4]*c[7]*c[11] -35*c[4]*c[8]*c[10] -c[4]*c[9]^2 -32*c[5]^2*c[12] +64*c[5]*c[6]*c[11] -16*c[5]*c[7]*c[10] -9*c[6]^2*c[10] -4*c[6]*c[7]*c[9] -3*c[6]*c[8]^2 -16*c[6]*c[16] -56*c[7]*c[15] -64*c[8]*c[14] -16*c[9]*c[13] -496*c[10]*c[12] +648*c[11]^2

4*s[[10,6,3,3]] +14*s[[10,6,4,2]] +31*s[[10,6,5,1]] +52*s[[10,7,3,2]] +112*s[[10,7,4,1]] +56*s[[10,7,5]] +88*s[[10,8,2,2]] +264*s[[10,8,3,1]] +182*s[[10,8,4]] +448*s[[10,9,2,1]] +364*s[[10,9,3]] +496*s[[10,10,1,1]] +448*s[[10,10,2]] +12*s[[11,6,3,2]] +30*s[[11,6,4,1]] +63*s[[11,6,5]] +40*s[[11,7,2,2]] +128*s[[11,7,3,1]] +238*s[[11,7,4]] +304*s[[11,8,2,1]] +616*s[[11,8,3]] +416*s[[11,9,1,1]] +1232*s[[11,9,2]] +1904*s[[11,10,1]] +2016*s[[11,11]] +8*s[[12,6,2,2]] +28*s[[12,6,3,1]] +62*s[[12,6,4]] +128*s[[12,7,2,1]] +284*s[[12,7,3]] +256*s[[12,8,1,1]] +784*s[[12,8,2]] +s[[6,6,5,5]] +3*s[[7,6,5,4]] +6*s[[7,7,4,4]] +3*s[[7,7,5,3]] +2*s[[8,6,4,4]] +7*s[[8,6,5,3]] +20*s[[8,7,4,3]] +10*s[[8,7,5,2]] +28*s[[8,8,3,3]] +20*s[[8,8,4,2]] +10*s[[8,8,5,1]] +6*s[[9,6,4,3]] +15*s[[9,6,5,2]] +16*s[[9,7,3,3]] +50*s[[9,7,4,2]] +25*s[[9,7,5,1]] +100*s[[9,8,3,2]] +70*s[[9,8,4,1]] +35*s[[9,8,5]] +120*s[[9,9,2,2]] +100*s[[9,9,3,1]] +70*s[[9,9,4]] +1504*s[[12,9,1]] +1824*s[[12,10]] +24*s[[13,6,2,1]] +60*s[[13,6,3]] +96*s[[13,7,1,1]] +312*s[[13,7,2]] +864*s[[13,8,1]] +1344*s[[13,9]] +16*s[[14,6,1,1]] +56*s[[14,6,2]] +304*s[[14,7,1]] +704*s[[14,8]] +48*s[[15,6,1]] +224*s[[15,7]] +32*s[[16,6]]

-16*c[1]^2*c[6]*c[15] -24*c[1]^2*c[7]*c[14] +16*c[1]^2*c[8]*c[13] +32*c[1]^2*c[9]*c[12] -8*c[1]^2*c[10]*c[11] -24*c[1]*c[2]*c[6]*c[14] -20*c[1]*c[2]*c[7]*c[13] +32*c[1]*c[2]*c[8]*c[12] +20*c[1]*c[2]*c[9]*c[11] -8*c[1]*c[2]*c[10]^2 -20*c[1]*c[3]*c[6]*c[13] +2*c[1]*c[3]*c[7]*c[12] +18*c[1]*c[3]*c[8]*c[11] -18*c[1]*c[4]*c[6]*c[12] +20*c[1]*c[4]*c[7]*c[11] -6*c[1]*c[4]*c[8]*c[10] +4*c[1]*c[4]*c[9]^2 -18*c[1]*c[5]*c[6]*c[11] +4*c[1]*c[5]*c[7]*c[10] -2*c[1]*c[5]*c[8]*c[9] +18*c[1]*c[6]^2*c[10] -2*c[1]*c[6]*c[7]*c[9] +6*c[1]*c[6]*c[8]^2 -6*c[1]*c[7]^2*c[8] -8*c[2]^2*c[6]*c[13] -4*c[2]^2*c[7]*c[12] +12*c[2]^2*c[8]*c[11] -12*c[2]*c[3]*c[6]*c[12] +2*c[2]*c[3]*c[7]*c[11] +12*c[2]*c[3]*c[8]*c[10] -2*c[2]*c[3]*c[9]^2 -10*c[2]*c[4]*c[6]*c[11] +10*c[2]*c[4]*c[7]*c[10] -10*c[2]*c[5]*c[6]*c[10] +2*c[2]*c[5]*c[7]*c[9] +10*c[2]*c[6]^2*c[9] -2*c[2]*c[7]^3 -4*c[3]^2*c[6]*c[11] +2*c[3]^2*c[7]*c[10] +2*c[3]^2*c[8]*c[9] -6*c[3]*c[4]*c[6]*c[10] +6*c[3]*c[4]*c[7]*c[9] -6*c[3]*c[5]*c[6]*c[9] +2*c[3]*c[5]*c[7]*c[8] +6*c[3]*c[6]^2*c[8] -2*c[3]*c[6]*c[7]^2 -2*c[4]^2*c[6]*c[9] +2*c[4]^2*c[7]*c[8] -4*c[4]*c[5]*c[6]*c[8] +2*c[4]*c[5]*c[7]^2 +2*c[4]*c[6]^2*c[7] -2*c[5]^2*c[6]*c[7] +2*c[5]*c[6]^3 -48*c[1]*c[6]*c[16] -88*c[1]*c[7]*c[15] +24*c[1]*c[8]*c[14] +112*c[1]*c[9]*c[13] +24*c[1]*c[10]*c[12] -24*c[1]*c[11]^2 -40*c[2]*c[6]*c[15] -36*c[2]*c[7]*c[14] +44*c[2]*c[8]*c[13] +36*c[2]*c[9]*c[12] -4*c[2]*c[10]*c[11] -36*c[3]*c[6]*c[14] +6*c[3]*c[7]*c[13] +28*c[3]*c[8]*c[12] -6*c[3]*c[9]*c[11] +8*c[3]*c[10]^2 -34*c[4]*c[6]*c[13] +42*c[4]*c[7]*c[12] -18*c[4]*c[8]*c[11] +10*c[4]*c[9]*c[10] -34*c[5]*c[6]*c[12] +10*c[5]*c[7]*c[11] -6*c[5]*c[8]*c[10] -2*c[5]*c[9]^2 +34*c[6]^2*c[11] -8*c[6]*c[7]*c[10] +20*c[6]*c[8]*c[9] -8*c[7]^2*c[9] -6*c[7]*c[8]^2 -32*c[6]*c[17] -80*c[7]*c[16] -16*c[8]*c[15] +96*c[9]*c[14] +64*c[10]*c[13] -32*c[11]*c[12]

70*s[[9,8,5,1]] +70*s[[9,8,6]] +40*s[[9,9,3,2]] +60*s[[9,9,4,1]] +70*s[[9,9,5]] +12*s[[10,6,4,3]] +30*s[[10,6,5,2]] +62*s[[10,6,6,1]] +24*s[[10,7,3,3]] +72*s[[10,7,4,2]] +112*s[[10,7,5,1]] +112*s[[10,7,6]] +96*s[[10,8,3,2]] +164*s[[10,8,4,1]] +182*s[[10,8,5]] +64*s[[10,9,2,2]] +168*s[[10,9,3,1]] +224*s[[10,9,4]] +96*s[[10,10,2,1]] +168*s[[10,10,3]] +8*s[[11,6,3,3]] +28*s[[11,6,4,2]] +62*s[[11,6,5,1]] +126*s[[11,6,6]] +80*s[[11,7,3,2]] +164*s[[11,7,4,1]] +238*s[[11,7,5]] +96*s[[11,8,2,2]] +272*s[[11,8,3,1]] +392*s[[11,8,4]] +288*s[[11,9,2,1]] +504*s[[11,9,3]] +160*s[[11,10,1,1]] +448*s[[11,10,2]] +224*s[[11,11,1]] +2*s[[6,6,6,5]] +2*s[[7,6,5,5]] +6*s[[7,6,6,4]] +6*s[[7,7,5,4]] +6*s[[7,7,6,3]] +6*s[[8,6,5,4]] +14*s[[8,6,6,3]] +8*s[[8,7,4,4]] +20*s[[8,7,5,3]] +20*s[[8,7,6,2]] +16*s[[8,8,4,3]] +20*s[[8,8,5,2]] +20*s[[8,8,6,1]] +4*s[[9,6,4,4]] +14*s[[9,6,5,3]] +30*s[[9,6,6,2]] +28*s[[9,7,4,3]] +50*s[[9,7,5,2]] +50*s[[9,7,6,1]] +24*s[[9,8,3,3]] +60*s[[9,8,4,2]] +24*s[[12,6,3,2]] +60*s[[12,6,4,1]] +126*s[[12,6,5]] +64*s[[12,7,2,2]] +200*s[[12,7,3,1]] +352*s[[12,7,4]] +352*s[[12,8,2,1]] +664*s[[12,8,3]] +320*s[[12,9,1,1]] +896*s[[12,9,2]] +800*s[[12,10,1]] +384*s[[12,11]] +16*s[[13,6,2,2]] +56*s[[13,6,3,1]] +124*s[[13,6,4]] +208*s[[13,7,2,1]] +448*s[[13,7,3]] +320*s[[13,8,1,1]] +944*s[[13,8,2]] +1280*s[[13,9,1]] +960*s[[13,10]] +48*s[[14,6,2,1]] +120*s[[14,6,3]] +160*s[[14,7,1,1]] +512*s[[14,7,2]] +1120*s[[14,8,1]] +1280*s[[14,9]] +32*s[[15,6,1,1]] +112*s[[15,6,2]] +512*s[[15,7,1]] +960*s[[15,8]] +96*s[[16,6,1]] +384*s[[16,7]] +64*s[[17,6]]

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

s[[7,7,7,2]] +4*s[[8,7,7,1]] +6*s[[8,8,7]] +11*s[[9,7,7]]

-15*c[1]*c[5]*c[7]*c[11] +12*c[1]*c[5]*c[8]*c[10] +3*c[1]*c[5]*c[9]^2 +15*c[1]*c[6]^2*c[11] -12*c[1]*c[6]*c[7]*c[10] -18*c[1]*c[6]*c[8]*c[9] +12*c[1]*c[7]^2*c[9] +3*c[1]*c[7]*c[8]^2 -7*c[2]*c[5]*c[7]*c[10] +7*c[2]*c[5]*c[8]*c[9] +7*c[2]*c[6]^2*c[10] -7*c[2]*c[6]*c[7]*c[9] -7*c[2]*c[6]*c[8]^2 +7*c[2]*c[7]^2*c[8] -3*c[3]*c[5]*c[7]*c[9] +3*c[3]*c[5]*c[8]^2 +3*c[3]*c[6]^2*c[9] -6*c[3]*c[6]*c[7]*c[8] +3*c[3]*c[7]^3 -31*c[5]*c[7]*c[12] +21*c[5]*c[8]*c[11] +10*c[5]*c[9]*c[10] +31*c[6]^2*c[12] -21*c[6]*c[7]*c[11] -28*c[6]*c[8]*c[10] -13*c[6]*c[9]^2 +18*c[7]^2*c[10] +16*c[7]*c[8]*c[9] -3*c[8]^3

3*s[[7,7,7,3]] +10*s[[8,7,7,2]] +10*s[[8,8,7,1]] +25*s[[9,7,7,1]] +35*s[[9,8,7]] +56*s[[10,7,7]]

95*c[3]*c[4]*c[5]*c[6]*c[7] +344*c[2]*c[4]*c[5]*c[6]*c[8] +689*c[2]*c[3]*c[5]*c[7]*c[8] +666*c[1]*c[4]*c[5]*c[7]*c[8] +597*c[1]*c[3]*c[6]*c[7]*c[8] +1095*c[2]*c[3]*c[5]*c[6]*c[9] +1401*c[1]*c[4]*c[5]*c[6]*c[9] +1550*c[2]*c[3]*c[4]*c[7]*c[9] +2456*c[1]*c[3]*c[5]*c[7]*c[9] +2168*c[1]*c[2]*c[6]*c[7]*c[9] +3657*c[1]*c[3]*c[4]*c[8]*c[9] +5426*c[1]*c[2]*c[5]*c[8]*c[9] +3114*c[2]*c[3]*c[4]*c[6]*c[10] +4706*c[1]*c[3]*c[5]*c[6]*c[10] +6213*c[1]*c[3]*c[4]*c[7]*c[10] +8277*c[1]*c[2]*c[5]*c[7]*c[10] +12594*c[1]*c[2]*c[4]*c[8]*c[10] +25308*c[1]*c[2]*c[3]*c[9]*c[10] +10256*c[2]*c[3]*c[4]*c[5]*c[11] +13298*c[1]*c[3]*c[4]*c[6]*c[11] +18409*c[1]*c[2]*c[5]*c[6]*c[11] +22835*c[1]*c[2]*c[4]*c[7]*c[11] +40534*c[1]*c[2]*c[3]*c[8]*c[11] +41444*c[1]*c[3]*c[4]*c[5]*c[12] +51154*c[1]*c[2]*c[4]*c[6]*c[12] +79458*c[1]*c[2]*c[3]*c[7]*c[12] +149312*c[1]*c[2]*c[4]*c[5]*c[13] +168732*c[1]*c[2]*c[3]*c[6]*c[13] +458096*c[1]*c[2]*c[3]*c[5]*c[14] +1090752*c[1]*c[2]*c[3]*c[4]*c[15] +c[5]^5 +4976640000*c[25] +1532160*c[1]*c[2]*c[3]^2*c[16] +4826880*c[1]*c[2]^2*c[3]*c[17] +16974720*c[1]^2*c[2]*c[3]*c[18] +130890240*c[1]*c[2]*c[3]*c[19] +155520*c[1]*c[3]^3*c[15] +443520*c[2]^3*c[3]*c[16] +2790720*c[1]^2*c[3]^2*c[17] +6215040*c[2]*c[3]^2*c[17] +4838400*c[1]*c[2]^3*c[18] +19111680*c[2]^2*c[3]*c[18] +22095360*c[1]*c[3]^2*c[18] +204480*c[2]^2*c[3]^2*c[15] +40320*c[2]*c[3]^3*c[14] +53222400*c[1]^3*c[2]*c[20] +183859200*c[1]*c[2]^2*c[20] +215953920*c[1]^2*c[3]*c[20] +245911680*c[2]*c[3]*c[20] +579225600*c[1]^2*c[2]*c[21] +785882880*c[1]*c[3]*c[21] +2036966400*c[1]*c[2]*c[22] +19226880*c[1]^3*c[3]*c[19] +24537600*c[1]^2*c[2]^2*c[19] +41472000*c[1]^4*c[21] +334886400*c[2]^2*c[21] +580608000*c[1]^3*c[22] +923973120*c[3]*c[22] +2944512000*c[1]^2*c[23] +2307225600*c[2]*c[23] +6386688000*c[1]*c[24] +2880*c[3]^4*c[13] +645120*c[3]^3*c[16] +345600*c[2]^4*c[17] +18662400*c[2]^3*c[19] +42713280*c[3]^2*c[19] +c[1]*c[6]^4 +14*c[6]^3*c[7] +29*c[2]^2*c[7]^3 +63*c[4]*c[7]^3 +78*c[3]^3*c[8]^2 +972*c[1]*c[8]^3 +24*c[4]^4*c[9] +4164*c[8]^2*c[9] +5713*c[7]*c[9]^2 +1444*c[5]^3*c[10] +32545*c[5]*c[10]^2 +17094*c[7]^2*c[11] +38104*c[1]^3*c[11]^2 +141860*c[3]*c[11]^2 +911632*c[1]*c[12]^2 +23472*c[4]^3*c[13] +110959*c[6]^2*c[13] +1761440*c[12]*c[13] +2695504*c[11]*c[14] +960451*c[5]^2*c[15] +5120640*c[10]*c[15] +9959808*c[9]*c[16] +5922072*c[4]^2*c[17] +20068416*c[8]*c[17] +40975168*c[7]*c[18] +84808368*c[6]*c[19] +184841312*c[5]*c[20] +399882624*c[4]*c[21] +285*c[3]^2*c[5]^2*c[9] +366*c[1]*c[5]^3*c[9] +1087*c[5]^2*c[6]*c[9] +262*c[2]^2*c[6]^2*c[9] +758*c[4]*c[6]^2*c[9] +268*c[3]^3*c[7]*c[9] +1017*c[1]^2*c[7]^2*c[9] +1944*c[2]*c[7]^2*c[9] +2098*c[4]^2*c[8]*c[9] +1912*c[2]^2*c[3]*c[9]^2 +2270*c[1]*c[3]^2*c[9]^2 +5084*c[3]*c[4]*c[9]^2 +3916*c[1]^2*c[5]*c[9]^2 +6839*c[2]*c[5]*c[9]^2 +7820*c[1]*c[6]*c[9]^2 +336*c[3]*c[4]^3*c[10] +450*c[3]^3*c[6]*c[10] +2753*c[3]*c[6]^2*c[10] +3723*c[4]^2*c[7]*c[10] +8007*c[1]*c[7]^2*c[10] +16543*c[7]*c[8]*c[10] +3740*c[2]^3*c[9]*c[10] +14240*c[3]^2*c[9]*c[10] +25263*c[6]*c[9]*c[10] +14980*c[1]*c[2]^2*c[10]^2 +16230*c[1]^2*c[3]*c[10]^2 +36604*c[2]*c[3]*c[10]^2 +42846*c[1]*c[4]*c[10]^2 +1704*c[3]^2*c[4]^2*c[11] +1296*c[2]*c[4]^3*c[11] +1508*c[3]^3*c[5]*c[11] +3811*c[2]^2*c[5]^2*c[11] +10616*c[4]*c[5]^2*c[11] +8637*c[4]^2*c[6]*c[11] +5408*c[1]^2*c[6]^2*c[11] +11405*c[2]*c[6]^2*c[11] +6672*c[2]^3*c[8]*c[11] +22240*c[3]^2*c[8]*c[11] +40063*c[6]*c[8]*c[11] +75303*c[5]*c[9]*c[11] +98512*c[2]^2*c[10]*c[11] +135316*c[4]*c[10]*c[11] +245540*c[1]*c[2]*c[11]^2 +3696*c[3]^3*c[4]*c[12] +99192*c[3]^2*c[6]*c[13] +298303*c[5]*c[7]*c[13] +297288*c[2]^2*c[8]*c[13] +393254*c[4]*c[8]*c[13] +180240*c[1]^3*c[9]*c[13] +641548*c[3]*c[9]*c[13] +1092864*c[1]^2*c[10]*c[13] +1189136*c[2]*c[10]*c[13] +2315568*c[1]*c[11]*c[13] +222432*c[3]*c[4]^2*c[14] +68312*c[2]^3*c[5]*c[14] +275872*c[3]^2*c[5]*c[14] +474344*c[1]*c[5]^2*c[14] +690271*c[5]*c[6]*c[14] +595696*c[2]^2*c[7]*c[14] +836119*c[4]*c[7]*c[14] +340680*c[1]^3*c[8]*c[14] +1275998*c[3]*c[8]*c[14] +10*c[4]*c[5]^3*c[6] +10*c[4]^2*c[5]*c[6]^2 +10*c[3]*c[5]^2*c[6]^2 +5*c[3]*c[4]*c[6]^3 +5*c[2]*c[5]*c[6]^3 +25*c[4]^2*c[5]^2*c[7] +30*c[3]*c[5]^3*c[7] +12*c[4]^3*c[6]*c[7] +19*c[3]^2*c[6]^2*c[7] +39*c[3]*c[4]^2*c[7]^2 +68*c[3]^2*c[5]*c[7]^2 +82*c[1]*c[5]^2*c[7]^2 +133*c[5]*c[6]*c[7]^2 +78*c[1]*c[3]*c[7]^3 +38*c[4]^3*c[5]*c[8] +100*c[2]*c[5]^3*c[8] +226*c[5]*c[6]^2*c[8] +542*c[5]^2*c[7]*c[8] +635*c[3]*c[7]^2*c[8] +304*c[1]*c[4]^2*c[8]^2 +499*c[2]^2*c[5]*c[8]^2 +930*c[4]*c[5]*c[8]^2 +773*c[3]*c[6]*c[8]^2 +651*c[1]^2*c[7]*c[8]^2 +1519*c[2]*c[7]*c[8]^2 +2069088*c[1]^2*c[9]*c[14] +2182364*c[2]*c[9]*c[14] +4112136*c[1]*c[10]*c[14] +160224*c[2]^3*c[4]*c[15] +672384*c[3]^2*c[4]*c[15] +355944*c[1]^2*c[4]^2*c[15] +775152*c[2]*c[4]^2*c[15] +1273992*c[2]^2*c[6]*c[15] +1872993*c[4]*c[6]*c[15] +5376*c[1]*c[4]^3*c[12] +27288*c[4]^2*c[5]*c[12] +696264*c[1]^3*c[7]*c[15] +2677460*c[3]*c[7]*c[15] +4062888*c[1]^2*c[8]*c[15] +4398504*c[2]*c[8]*c[15] +7911120*c[1]*c[9]*c[15] +2933952*c[1]*c[4]^2*c[16] +3141648*c[2]^2*c[5]*c[16] +4854162*c[4]*c[5]*c[16] +1466040*c[1]^3*c[6]*c[16] +5763822*c[3]*c[6]*c[16] +8328456*c[1]^2*c[7]*c[16] +9032832*c[2]*c[7]*c[16] +15825264*c[1]*c[8]*c[16] +7269696*c[2]^2*c[4]*c[17] +3431888*c[1]^3*c[5]*c[17] +14011708*c[3]*c[5]*c[17] +17463136*c[1]^2*c[6]*c[17] +19085292*c[2]*c[6]*c[17] +32415440*c[1]*c[7]*c[17] +7699776*c[1]^3*c[4]*c[18] +32720016*c[3]*c[4]*c[18] +39848992*c[1]^2*c[5]*c[18] +44075928*c[2]*c[5]*c[18] +67578296*c[1]*c[6]*c[18] +88569984*c[1]^2*c[4]*c[19] +99269856*c[2]*c[4]*c[19] +150615088*c[1]*c[5]*c[19] +330730176*c[1]*c[4]*c[20] +34736*c[3]*c[5]^2*c[12] +49698*c[1]*c[6]^2*c[12] +11984*c[2]^3*c[7]*c[12] +46712*c[3]^2*c[7]*c[12] +89066*c[6]*c[7]*c[12] +138558*c[5]*c[8]*c[12] +150688*c[2]^2*c[9]*c[12] +202108*c[4]*c[9]*c[12] +97728*c[1]^3*c[10]*c[12] +377188*c[3]*c[10]*c[12] +697072*c[1]^2*c[11]*c[12] +748808*c[2]*c[11]*c[12] +23256*c[2]^2*c[4]^2*c[13] +57837*c[1]^2*c[5]^2*c[13] +123878*c[2]*c[5]^2*c[13] +25548*c[2]^3*c[6]*c[13] +389*c[3]^2*c[4]*c[6]*c[9] +453*c[2]*c[4]^2*c[6]*c[9] +579*c[1]*c[3]*c[6]^2*c[9] +873*c[1]*c[4]^2*c[7]*c[9] +1044*c[2]^2*c[5]*c[7]*c[9] +2659*c[4]*c[5]*c[7]*c[9] +2459*c[3]*c[6]*c[7]*c[9] +1580*c[2]*c[3]^2*c[8]*c[9] +1850*c[2]^2*c[4]*c[8]*c[9] +5331*c[3]*c[5]*c[8]*c[9] +2706*c[1]^2*c[6]*c[8]*c[9] +5414*c[2]*c[6]*c[8]*c[9] +99*c[2]*c[4]*c[5]*c[7]^2 +98*c[2]*c[3]*c[6]*c[7]^2 +93*c[1]*c[4]*c[6]*c[7]^2 +170*c[3]*c[4]*c[5]^2*c[8] +115*c[3]*c[4]^2*c[6]*c[8] +136*c[3]^2*c[5]*c[6]*c[8] +254*c[1]*c[5]^2*c[6]*c[8] +130*c[2]*c[3]*c[6]^2*c[8] +166*c[1]*c[4]*c[6]^2*c[8] +233*c[3]^2*c[4]*c[7]*c[8] +31056*c[2]*c[4]*c[9]*c[10] +45213*c[1]*c[5]*c[9]*c[10] +6316*c[1]*c[4]^2*c[5]*c[11] +8298*c[1]*c[3]*c[5]^2*c[11] +5356*c[2]*c[3]^2*c[6]*c[11] +6117*c[2]^2*c[4]*c[6]*c[11] +229*c[2]*c[4]^2*c[7]*c[8] +302*c[2]^2*c[6]*c[7]*c[8] +664*c[4]*c[6]*c[7]*c[8] +556*c[1]*c[2]*c[7]^2*c[8] +604*c[2]*c[3]*c[4]*c[8]^2 +802*c[1]*c[3]*c[5]*c[8]^2 +849*c[1]*c[2]*c[6]*c[8]^2 +400*c[3]*c[4]^2*c[5]*c[9] +632*c[2]*c[4]*c[5]^2*c[9] +89352*c[2]*c[3]*c[9]*c[11] +107993*c[1]*c[4]*c[9]*c[11] +89776*c[1]^2*c[2]*c[10]*c[11] +212870*c[1]*c[3]*c[10]*c[11] +8772*c[1]*c[7]*c[8]*c[9] +4977*c[1]*c[2]*c[4]*c[9]^2 +1366*c[3]^2*c[4]*c[5]*c[10] +1536*c[2]*c[4]^2*c[5]*c[10] +2096*c[2]*c[3]*c[5]^2*c[10] +2522*c[1]*c[4]*c[5]^2*c[10] +1929*c[1]*c[4]^2*c[6]*c[10] +2181*c[2]^2*c[5]*c[6]*c[10] +6126*c[4]*c[5]*c[6]*c[10] +2411*c[1]*c[2]*c[6]^2*c[10] +2768*c[2]*c[3]^2*c[7]*c[10] +2775*c[2]^2*c[4]*c[7]*c[10] +9896*c[3]*c[5]*c[7]*c[10] +4425*c[1]^2*c[6]*c[7]*c[10] +9480*c[2]*c[6]*c[7]*c[10] +5602*c[2]^2*c[3]*c[8]*c[10] +65*c[2]*c[5]^2*c[6]*c[7] +41*c[2]*c[4]*c[6]^2*c[7] +51*c[1]*c[5]*c[6]^2*c[7] +6549024*c[1]^2*c[2]*c[4]*c[17] +16559232*c[1]*c[3]*c[4]*c[17] +22710944*c[1]*c[2]*c[5]*c[17] +51612288*c[1]*c[2]*c[4]*c[18] +12768*c[2]*c[3]*c[4]^2*c[12] +16552*c[2]*c[3]^2*c[5]*c[12] +18834*c[2]^2*c[4]*c[5]*c[12] +29864*c[1]*c[2]*c[5]^2*c[12] +20606*c[2]^2*c[3]*c[6]*c[12] +22560*c[1]*c[3]^2*c[6]*c[12] +59302*c[3]*c[4]*c[6]*c[12] +38038*c[1]^2*c[5]*c[6]*c[12] +80788*c[2]*c[5]*c[6]*c[12] +46566*c[1]^2*c[4]*c[7]*c[12] +99150*c[2]*c[4]*c[7]*c[12] +141828*c[1]*c[5]*c[7]*c[12] +73516*c[1]*c[2]^2*c[8]*c[12] +76212*c[1]^2*c[3]*c[8]*c[12] +165288*c[2]*c[3]*c[8]*c[12] +190532*c[1]*c[4]*c[8]*c[12] +147420*c[1]^2*c[2]*c[9]*c[12] +332682*c[1]*c[3]*c[9]*c[12] +640940*c[1]*c[2]*c[10]*c[12] +40224*c[2]*c[3]^2*c[4]*c[13] +51792*c[1]*c[3]*c[4]^2*c[13] +59068*c[2]^2*c[3]*c[5]*c[13] +65592*c[1]*c[3]^2*c[5]*c[13] +176768*c[3]*c[4]*c[5]*c[13] +21037*c[3]*c[5]*c[6]*c[11] +9916*c[2]^2*c[3]*c[7]*c[11] +11002*c[1]*c[3]^2*c[7]*c[11] +26790*c[3]*c[4]*c[7]*c[11] +16670*c[1]^2*c[5]*c[7]*c[11] +35291*c[2]*c[5]*c[7]*c[11] +39945*c[1]*c[6]*c[7]*c[11] +23104*c[1]^2*c[4]*c[8]*c[11] +50272*c[2]*c[4]*c[8]*c[11] +68360*c[1]*c[5]*c[8]*c[11] +40180*c[1]*c[2]^2*c[9]*c[11] +44766*c[1]^2*c[3]*c[9]*c[11] +5472*c[1]*c[3]^2*c[8]*c[10] +13764*c[3]*c[4]*c[8]*c[10] +8668*c[1]^2*c[5]*c[8]*c[10] +19418*c[2]*c[5]*c[8]*c[10] +19754*c[1]*c[6]*c[8]*c[10] +15507*c[1]^2*c[4]*c[9]*c[10] +104553*c[1]^2*c[4]*c[6]*c[13] +223590*c[2]*c[4]*c[6]*c[13] +327239*c[1]*c[5]*c[6]*c[13] +142588*c[1]*c[2]^2*c[7]*c[13] +157086*c[1]^2*c[3]*c[7]*c[13] +336592*c[2]*c[3]*c[7]*c[13] +398271*c[1]*c[4]*c[7]*c[13] +274484*c[1]^2*c[2]*c[8]*c[13] +626854*c[1]*c[3]*c[8]*c[13] +1126960*c[1]*c[2]*c[9]*c[13] +141456*c[2]^2*c[3]*c[4]*c[14] +159264*c[1]*c[3]^2*c[4]*c[14] +184128*c[1]*c[2]*c[4]^2*c[14] +290350*c[1]^2*c[4]*c[5]*c[14] +626724*c[2]*c[4]*c[5]*c[14] +304432*c[1]*c[2]^2*c[6]*c[14] +336150*c[1]^2*c[3]*c[6]*c[14] +724172*c[2]*c[3]*c[6]*c[14] +894470*c[1]*c[4]*c[6]*c[14] +552972*c[1]^2*c[2]*c[7]*c[14] +1309134*c[1]*c[3]*c[7]*c[14] +2213452*c[1]*c[2]*c[8]*c[14] +775408*c[1]*c[2]^2*c[5]*c[15] +869412*c[1]^2*c[3]*c[5]*c[15] +1892984*c[2]*c[3]*c[5]*c[15] +2395184*c[1]*c[4]*c[5]*c[15] +1174892*c[1]^2*c[2]*c[6]*c[15] +2816092*c[1]*c[3]*c[6]*c[15] +4519564*c[1]*c[2]*c[7]*c[15] +1799616*c[1]*c[2]^2*c[4]*c[16] +2049264*c[1]^2*c[3]*c[4]*c[16] +4508448*c[2]*c[3]*c[4]*c[16] +2863912*c[1]^2*c[2]*c[5]*c[16] +7047776*c[1]*c[3]*c[5]*c[16] +9585672*c[1]*c[2]*c[6]*c[16]

2173388840*s[[18,5,2]] +2473965440*s[[18,6,1]] +1723235264*s[[18,7]] +122688000*s[[19,2,2,1,1]] +216000000*s[[19,2,2,2]] +218822400*s[[19,3,1,1,1]] +1524096000*s[[19,3,2,1]] +1302840000*s[[19,3,3]] +1847080320*s[[19,4,1,1]] +3520759200*s[[19,4,2]] +4487745296*s[[19,5,1]] +3280526912*s[[19,6]] +266112000*s[[20,2,1,1,1]] +1451520000*s[[20,2,2,1]] +2797401600*s[[20,3,1,1]] +4946256000*s[[20,3,2]] +7679676480*s[[20,4,1]] +6060649504*s[[20,5]] +207360000*s[[21,1,1,1,1]] +3518208000*s[[21,2,1,1]] +4985280000*s[[21,2,2]] +12018182400*s[[21,3,1]] +10706747520*s[[21,4]] +2903040000*s[[22,1,1,1]] +15990912000*s[[22,2,1]] +17707737600*s[[22,3]] +14722560000*s[[23,1,1]] +26258688000*s[[23,2]] +31933440000*s[[24,1]] +24883200000*s[[25]] +23311680*s[[16,4,2,2,1]] +41218800*s[[16,4,3,1,1]] +101184720*s[[16,4,3,2]] +110779200*s[[16,4,4,1]] +63997304*s[[16,5,2,1,1]] +128183720*s[[16,5,2,2]] +305539136*s[[16,5,3,1]] +266437794*s[[16,5,4]] +50106224*s[[16,6,1,1,1]] +405573432*s[[16,6,2,1]] +502517984*s[[16,6,3]] +327782800*s[[16,7,1,1]] +665144128*s[[16,7,2]] +678848480*s[[16,8,1]] +449482272*s[[16,9]] +1728000*s[[17,2,2,2,2]] +29318400*s[[17,3,2,2,1]] +41544000*s[[17,3,3,1,1]] +98481600*s[[17,3,3,2]] +100151520*s[[17,4,2,1,1]] +196893600*s[[17,4,2,2]] +435367680*s[[17,4,3,1]] +293935320*s[[17,4,4]] +89222896*s[[17,5,1,1,1]] +706587840*s[[17,5,2,1]] +841008820*s[[17,5,3]] +614263440*s[[17,6,1,1]] +1233940128*s[[17,6,2]] +1312796352*s[[17,7,1]] +886909312*s[[17,8]] +24192000*s[[18,2,2,2,1]] +133257600*s[[18,3,2,1,1]] +253008000*s[[18,3,2,2]] +448358400*s[[18,3,3,1]] +147564480*s[[18,4,1,1,1]] +1121299200*s[[18,4,2,1]] +1223619600*s[[18,4,3]] +1101556064*s[[18,5,1,1]] +17791092*s[[14,6,3,1,1]] +44953692*s[[14,6,3,2]] +68319198*s[[14,6,4,1]] +52017351*s[[14,6,5]] +20023544*s[[14,7,2,1,1]] +40762000*s[[14,7,2,2]] +102199924*s[[14,7,3,1]] +101847118*s[[14,7,4]] +13836624*s[[14,8,1,1,1]] +114166776*s[[14,8,2,1]] +146160324*s[[14,8,3]] +85447632*s[[14,9,1,1]] +174955408*s[[14,9,2]] +169009872*s[[14,10,1]] +106340864*s[[14,11]] +1022400*s[[15,3,3,2,2]] +1800000*s[[15,3,3,3,1]] +1823520*s[[15,4,2,2,2]] +12700800*s[[15,4,3,2,1]] +15016800*s[[15,4,3,3]] +10857000*s[[15,4,4,1,1]] +28750680*s[[15,4,4,2]] +15392336*s[[15,5,2,2,1]] +29339660*s[[15,5,3,1,1]] +73385444*s[[15,5,3,2]] +102558960*s[[15,5,4,1]] +60495771*s[[15,5,5]] +36964616*s[[15,6,2,1,1]] +74807864*s[[15,6,2,2]] +184381244*s[[15,6,3,1]] +176104644*s[[15,6,4]] +26796720*s[[15,7,1,1,1]] +219584744*s[[15,7,2,1]] +277881288*s[[15,7,3]] +169670160*s[[15,8,1,1]] +346312800*s[[15,8,2]] +343822032*s[[15,9,1]] +223694784*s[[15,10]] +2217600*s[[16,3,2,2,2]] +12096000*s[[16,3,3,2,1]] +13104000*s[[16,3,3,3]] +3628064*s[[13,5,4,2,1]] +5715360*s[[13,5,4,3]] +2449461*s[[13,5,5,1,1]] +6846715*s[[13,5,5,2]] +726752*s[[13,6,2,2,2]] +5741268*s[[13,6,3,2,1]] +7226072*s[[13,6,3,3]] +6806246*s[[13,6,4,1,1]] +18546066*s[[13,6,4,2]] +20778919*s[[13,6,5,1]] +10912573*s[[13,6,6]] +4910256*s[[13,7,2,2,1]] +9837492*s[[13,7,3,1,1]] +24995248*s[[13,7,3,2]] +39457434*s[[13,7,4,1]] +32955226*s[[13,7,5]] +10344520*s[[13,8,2,1,1]] +21121832*s[[13,8,2,2]] +53435036*s[[13,8,3,1]] +54453192*s[[13,8,4]] +6878592*s[[13,9,1,1,1]] +56925192*s[[13,9,2,1]] +73385812*s[[13,9,3]] +40869552*s[[13,10,1,1]] +83944416*s[[13,10,2]] +76121040*s[[13,11,1]] +42305792*s[[13,12]] +201600*s[[14,3,3,3,2]] +1110480*s[[14,4,3,2,2]] +2108400*s[[14,4,3,3,1]] +3736320*s[[14,4,4,2,1]] +5644800*s[[14,4,4,3]] +1229704*s[[14,5,2,2,2]] +9344160*s[[14,5,3,2,1]] +11518360*s[[14,5,3,3]] +10196830*s[[14,5,4,1,1]] +27515586*s[[14,5,4,2]] +24095624*s[[14,5,5,1]] +9029256*s[[14,6,2,2,1]] +843206*s[[12,5,4,3,1]] +799554*s[[12,5,4,4]] +923160*s[[12,5,5,2,1]] +1587880*s[[12,5,5,3]] +515000*s[[12,6,3,2,2]] +1029416*s[[12,6,3,3,1]] +2442650*s[[12,6,4,2,1]] +3924468*s[[12,6,4,3]] +2102622*s[[12,6,5,1,1]] +5928718*s[[12,6,5,2]] +4382082*s[[12,6,6,1]] +393832*s[[12,7,2,2,2]] +3171224*s[[12,7,3,2,1]] +4033664*s[[12,7,3,3]] +3899776*s[[12,7,4,1,1]] +10678618*s[[12,7,4,2]] +13058762*s[[12,7,5,1]] +8919634*s[[12,7,6]] +2511096*s[[12,8,2,2,1]] +5071728*s[[12,8,3,1,1]] +12915304*s[[12,8,3,2]] +20797928*s[[12,8,4,1]] +18146798*s[[12,8,5]] +5020136*s[[12,9,2,1,1]] +10252360*s[[12,9,2,2]] +26108248*s[[12,9,3,1]] +26957598*s[[12,9,4]] +3106656*s[[12,10,1,1,1]] +25822160*s[[12,10,2,1]] +33485528*s[[12,10,3]] +16278560*s[[12,11,1,1]] +33500024*s[[12,11,2]] +21647104*s[[12,12,1]] +14400*s[[13,3,3,3,3]] +244320*s[[13,4,3,3,2]] +346200*s[[13,4,4,2,2]] +820680*s[[13,4,4,3,1]] +708120*s[[13,4,4,4]] +834596*s[[13,5,3,2,2]] +1640780*s[[13,5,3,3,1]] +293831*s[[11,5,5,4]] +121860*s[[11,6,3,3,2]] +230808*s[[11,6,4,2,2]] +575352*s[[11,6,4,3,1]] +566688*s[[11,6,4,4]] +790677*s[[11,6,5,2,1]] +1383186*s[[11,6,5,3]] +440250*s[[11,6,6,1,1]] +1260849*s[[11,6,6,2]] +281284*s[[11,7,3,2,2]] +566568*s[[11,7,3,3,1]] +1384356*s[[11,7,4,2,1]] +2243484*s[[11,7,4,3]] +1297542*s[[11,7,5,1,1]] +3672881*s[[11,7,5,2]] +3515076*s[[11,7,6,1]] +1724686*s[[11,7,7]] +196496*s[[11,8,2,2,2]] +1593564*s[[11,8,3,2,1]] +2032400*s[[11,8,3,3]] +1997268*s[[11,8,4,1,1]] +5475660*s[[11,8,4,2]] +6977554*s[[11,8,5,1]] +5242247*s[[11,8,6]] +1151256*s[[11,9,2,2,1]] +2343180*s[[11,9,3,1,1]] +5963172*s[[11,9,3,2]] +9728472*s[[11,9,4,1]] +8689135*s[[11,9,5]] +2007776*s[[11,10,2,1,1]] +4111184*s[[11,10,2,2]] +10514816*s[[11,10,3,1]] +10961004*s[[11,10,4]] +882880*s[[11,11,1,1,1]] +7355472*s[[11,11,2,1]] +9566972*s[[11,11,3]] +18480*s[[12,4,3,3,3]] +100800*s[[12,4,4,3,2]] +109200*s[[12,4,4,4,1]] +194264*s[[12,5,3,3,2]] +343490*s[[12,5,4,2,2]] +204183*s[[10,6,5,3,1]] +258169*s[[10,6,5,4]] +165153*s[[10,6,6,2,1]] +298596*s[[10,6,6,3]] +65444*s[[10,7,3,3,2]] +127244*s[[10,7,4,2,2]] +318846*s[[10,7,4,3,1]] +318076*s[[10,7,4,4]] +473575*s[[10,7,5,2,1]] +833308*s[[10,7,5,3]] +340416*s[[10,7,6,1,1]] +977536*s[[10,7,6,2]] +656502*s[[10,7,7,1]] +133764*s[[10,8,3,2,2]] +269236*s[[10,8,3,3,1]] +669936*s[[10,8,4,2,1]] +1085908*s[[10,8,4,3]] +653156*s[[10,8,5,1,1]] +1847973*s[[10,8,5,2]] +1938608*s[[10,8,6,1]] +1230297*s[[10,8,7]] +79168*s[[10,9,2,2,2]] +648768*s[[10,9,3,2,1]] +828904*s[[10,9,3,3]] +824826*s[[10,9,4,1,1]] +2255544*s[[10,9,4,2]] +2940602*s[[10,9,5,1]] +2303328*s[[10,9,6]] +328472*s[[10,10,2,2,1]] +671096*s[[10,10,3,1,1]] +1712228*s[[10,10,3,2]] +2813020*s[[10,10,4,1]] +2547143*s[[10,10,5]] +8520*s[[11,4,4,3,3]] +15000*s[[11,4,4,4,2]] +15196*s[[11,5,3,3,3]] +105840*s[[11,5,4,3,2]] +125140*s[[11,5,4,4,1]] +90475*s[[11,5,5,2,2]] +239589*s[[11,5,5,3,1]] +42441*s[[9,6,6,3,1]] +57614*s[[9,6,6,4]] +4880*s[[9,7,3,3,3]] +37418*s[[9,7,4,3,2]] +45906*s[[9,7,4,4,1]] +42889*s[[9,7,5,2,2]] +115150*s[[9,7,5,3,1]] +146517*s[[9,7,5,4]] +119365*s[[9,7,6,2,1]] +216358*s[[9,7,6,3]] +59142*s[[9,7,7,1,1]] +170747*s[[9,7,7,2]] +27372*s[[9,8,3,3,2]] +54352*s[[9,8,4,2,2]] +135604*s[[9,8,4,3,1]] +135744*s[[9,8,4,4]] +209307*s[[9,8,5,2,1]] +366658*s[[9,8,5,3]] +163955*s[[9,8,6,1,1]] +469516*s[[9,8,6,2]] +403386*s[[9,8,7,1]] +178919*s[[9,8,8]] +38564*s[[9,9,3,2,2]] +78088*s[[9,9,3,3,1]] +196182*s[[9,9,4,2,1]] +317452*s[[9,9,4,3]] +195695*s[[9,9,5,1,1]] +549679*s[[9,9,5,2]] +598934*s[[9,9,6,1]] +409432*s[[9,9,7]] +1680*s[[10,4,4,4,3]] +9254*s[[10,5,4,3,3]] +17570*s[[10,5,4,4,2]] +31136*s[[10,5,5,3,2]] +47040*s[[10,5,5,4,1]] +35574*s[[10,5,5,5]] +9524*s[[10,6,3,3,3]] +71502*s[[10,6,4,3,2]] +87308*s[[10,6,4,4,1]] +76169*s[[10,6,5,2,2]] +840*s[[8,5,5,4,3]] +910*s[[8,5,5,5,2]] +1326*s[[8,6,4,4,3]] +2232*s[[8,6,5,3,3]] +5352*s[[8,6,5,4,2]] +4773*s[[8,6,5,5,1]] +4986*s[[8,6,6,3,2]] +8155*s[[8,6,6,4,1]] +7968*s[[8,6,6,5]] +2850*s[[8,7,4,3,3]] +5498*s[[8,7,4,4,2]] +12642*s[[8,7,5,3,2]] +19415*s[[8,7,5,4,1]] +15854*s[[8,7,5,5]] +9666*s[[8,7,6,2,2]] +26478*s[[8,7,6,3,1]] +35980*s[[8,7,6,4]] +17880*s[[8,7,7,2,1]] +32778*s[[8,7,7,3]] +1432*s[[8,8,3,3,3]] +11276*s[[8,8,4,3,2]] +13814*s[[8,8,4,4,1]] +13459*s[[8,8,5,2,2]] +35616*s[[8,8,5,3,1]] +45323*s[[8,8,5,4]] +40004*s[[8,8,6,2,1]] +71986*s[[8,8,6,3]] +24643*s[[8,8,7,1,1]] +71367*s[[8,8,7,2]] +39620*s[[8,8,8,1]] +120*s[[9,4,4,4,4]] +2036*s[[9,5,4,4,3]] +2885*s[[9,5,5,3,3]] +6839*s[[9,5,5,4,2]] +5901*s[[9,5,5,5,1]] +6146*s[[9,6,4,3,3]] +11954*s[[9,6,4,4,2]] +25619*s[[9,6,5,3,2]] +39582*s[[9,6,5,4,1]] +31638*s[[9,6,5,5]] +15442*s[[9,6,6,2,2]] +s[[5,5,5,5,5]] +14*s[[6,5,5,5,4]] +35*s[[6,6,5,4,4]] +56*s[[6,6,5,5,3]] +70*s[[6,6,6,4,3]] +84*s[[6,6,6,5,2]] +42*s[[6,6,6,6,1]] +71*s[[7,5,5,4,4]] +125*s[[7,5,5,5,3]] +92*s[[7,6,4,4,4]] +573*s[[7,6,5,4,3]] +617*s[[7,6,5,5,2]] +381*s[[7,6,6,3,3]] +947*s[[7,6,6,4,2]] +998*s[[7,6,6,5,1]] +520*s[[7,6,6,6]] +430*s[[7,7,4,4,3]] +783*s[[7,7,5,3,3]] +1817*s[[7,7,5,4,2]] +1637*s[[7,7,5,5,1]] +2130*s[[7,7,6,3,2]] +3437*s[[7,7,6,4,1]] +3432*s[[7,7,6,5]] +972*s[[7,7,7,2,2]] +2715*s[[7,7,7,3,1]] +3736*s[[7,7,7,4]] +154*s[[8,5,4,4,4]]

-32*c[2]*c[3]*c[5]*c[7]*c[9] -82*c[1]*c[4]*c[5]*c[7]*c[9] +372*c[1]*c[3]*c[6]*c[7]*c[9] +8168*c[1]*c[2]*c[4]*c[6]*c[13] +4884*c[1]*c[2]*c[3]*c[7]*c[13] -9432*c[1]*c[2]*c[4]*c[5]*c[14] +18536*c[1]*c[2]*c[3]*c[6]*c[14] -23328*c[1]*c[2]*c[3]*c[5]*c[15] -86*c[2]*c[3]*c[4]*c[8]*c[9] -174*c[1]*c[3]*c[5]*c[8]*c[9] +616*c[1]*c[2]*c[6]*c[8]*c[9] +166*c[2]*c[3]*c[5]*c[6]*c[10] +231*c[1]*c[4]*c[5]*c[6]*c[10] +120*c[2]*c[3]*c[4]*c[7]*c[10] -76*c[1]*c[3]*c[5]*c[7]*c[10] +832*c[1]*c[2]*c[6]*c[7]*c[10] -198*c[1]*c[3]*c[4]*c[8]*c[10] -28*c[2]*c[4]*c[5]*c[7]*c[8] +124*c[2]*c[3]*c[6]*c[7]*c[8] +103*c[1]*c[4]*c[6]*c[7]*c[8] +66*c[2]*c[4]*c[5]*c[6]*c[9] +19*c[3]*c[4]*c[5]*c[6]*c[8] +2*c[3]*c[5]*c[6]^3 -4256*c[13]^2 -254*c[1]*c[2]*c[5]*c[8]*c[10] -454*c[1]*c[2]*c[4]*c[9]*c[10] +938*c[2]*c[3]*c[4]*c[6]*c[11] +534*c[1]*c[3]*c[5]*c[6]*c[11] +410*c[1]*c[3]*c[4]*c[7]*c[11] -251*c[1]*c[2]*c[5]*c[7]*c[11] +744*c[1]*c[2]*c[4]*c[8]*c[11] -420*c[1]*c[2]*c[3]*c[9]*c[11] -972*c[2]*c[3]*c[4]*c[5]*c[12] +2958*c[1]*c[3]*c[4]*c[6]*c[12] +1434*c[1]*c[2]*c[5]*c[6]*c[12] +974*c[1]*c[2]*c[4]*c[7]*c[12] +1152*c[1]*c[2]*c[3]*c[8]*c[12] -3228*c[1]*c[3]*c[4]*c[5]*c[13] +1552*c[1]^2*c[3]*c[9]*c[12] -1192*c[2]*c[3]*c[9]*c[12] +3508*c[1]*c[4]*c[9]*c[12] -4272*c[1]^2*c[2]*c[10]*c[12] -2424*c[1]*c[3]*c[10]*c[12] -12048*c[1]*c[2]*c[11]*c[12] -1296*c[2]*c[3]^2*c[5]*c[13] -1464*c[2]^2*c[4]*c[5]*c[13] -3792*c[1]*c[2]*c[5]^2*c[13] +3040*c[2]^2*c[3]*c[6]*c[13] +3432*c[1]*c[3]^2*c[6]*c[13] +9914*c[3]*c[4]*c[6]*c[13] +2138*c[1]^2*c[5]*c[6]*c[13] +4738*c[2]*c[5]*c[6]*c[13] +1550*c[1]^2*c[4]*c[7]*c[13] +3494*c[2]*c[4]*c[7]*c[13] -11268*c[3]*c[4]*c[5]*c[14] +12300*c[1]^2*c[4]*c[6]*c[14] +26912*c[2]*c[4]*c[6]*c[14] +13732*c[1]*c[5]*c[6]*c[14] -54*c[3]*c[4]^2*c[5]*c[10] -115*c[2]*c[4]*c[5]^2*c[10] +2*c[4]^2*c[5]*c[6]*c[7] +4*c[3]*c[5]^2*c[6]*c[7] +21*c[3]*c[4]*c[6]^2*c[7] +12*c[2]*c[5]*c[6]^2*c[7] -1264*c[1]*c[2]^2*c[10]*c[11] -1956*c[1]^2*c[3]*c[10]*c[11] -984*c[2]*c[3]*c[10]*c[11] -2440*c[1]*c[4]*c[10]*c[11] -594*c[1]*c[4]^2*c[5]*c[12] -1220*c[1]*c[3]*c[5]^2*c[12] +1096*c[2]*c[3]^2*c[6]*c[12] +1324*c[2]^2*c[4]*c[6]*c[12] +1808*c[3]*c[5]*c[6]*c[12] +880*c[2]^2*c[3]*c[7]*c[12] +1064*c[1]*c[3]^2*c[7]*c[12] +1466*c[3]*c[4]*c[7]*c[12] -496*c[1]^2*c[5]*c[7]*c[12] -949*c[2]*c[5]*c[7]*c[12] +9729*c[1]*c[6]*c[7]*c[12] +970*c[1]^2*c[4]*c[8]*c[12] +2538*c[2]*c[4]*c[8]*c[12] -1805*c[1]*c[5]*c[8]*c[12] -1016*c[1]*c[2]^2*c[9]*c[12] +328*c[4]*c[6]*c[7]*c[9] +164*c[1]*c[2]*c[7]^2*c[9] +22*c[1]*c[4]^2*c[8]*c[9] -79*c[2]^2*c[5]*c[8]*c[9] -134*c[4]*c[5]*c[8]*c[9] +454*c[3]*c[6]*c[8]*c[9] +426*c[1]^2*c[7]*c[8]*c[9] +637*c[2]*c[7]*c[8]*c[9] +58*c[1]*c[3]*c[4]*c[9]^2 -249*c[1]*c[2]*c[5]*c[9]^2 -31104*c[1]*c[2]^2*c[5]*c[16] -35136*c[1]^2*c[3]*c[5]*c[16] -77472*c[2]*c[3]*c[5]*c[16] -97488*c[1]*c[4]*c[5]*c[16] +68848*c[1]^2*c[2]*c[6]*c[16] +174896*c[1]*c[3]*c[6]*c[16] +85728*c[1]*c[2]*c[7]*c[16] -89856*c[1]^2*c[2]*c[5]*c[17] -226368*c[1]*c[3]*c[5]*c[17] +426368*c[1]*c[2]*c[6]*c[17] -559872*c[1]*c[2]*c[5]*c[18] +8140*c[1]*c[3]*c[9]*c[13] -4312*c[1]*c[2]*c[10]*c[13] -3744*c[2]^2*c[3]*c[5]*c[14] -4176*c[1]*c[3]^2*c[5]*c[14] +84*c[5]*c[6]*c[7]*c[8] +80*c[1]*c[3]*c[7]^2*c[8] -42*c[2]*c[3]*c[5]*c[8]^2 -23*c[1]*c[4]*c[5]*c[8]^2 +625*c[1]*c[4]^2*c[6]*c[11] +232*c[2]^2*c[5]*c[6]*c[11] +812*c[4]*c[5]*c[6]*c[11] +1303*c[1]*c[2]*c[6]^2*c[11] +376*c[2]*c[3]^2*c[7]*c[11] +144*c[2]^2*c[4]*c[7]*c[11] -215*c[3]*c[5]*c[7]*c[11] +1412*c[1]^2*c[6]*c[7]*c[11] +2974*c[2]*c[6]*c[7]*c[11] +220*c[2]^2*c[3]*c[8]*c[11] -224*c[1]*c[3]^2*c[8]*c[11] -274*c[3]*c[4]*c[8]*c[11] -274*c[1]^2*c[5]*c[8]*c[11] -628*c[2]*c[5]*c[8]*c[11] +4805*c[1]*c[6]*c[8]*c[11] +658*c[1]^2*c[4]*c[9]*c[11] -1142*c[2]*c[4]*c[9]*c[11] -1752*c[1]*c[5]*c[9]*c[11] +72*c[1]*c[3]*c[6]*c[8]^2 +197*c[1]*c[2]*c[7]*c[8]^2 -33*c[3]*c[4]*c[5]^2*c[9] +67*c[3]*c[4]^2*c[6]*c[9] +28*c[3]^2*c[5]*c[6]*c[9] +23*c[1]*c[5]^2*c[6]*c[9] +114*c[2]*c[3]*c[6]^2*c[9] +187*c[1]*c[4]*c[6]^2*c[9] +24*c[3]^2*c[4]*c[7]*c[9] -30*c[2]*c[4]^2*c[7]*c[9] +115*c[2]^2*c[6]*c[7]*c[9] -348*c[2]*c[3]*c[5]^2*c[11] -417*c[1]*c[4]*c[5]^2*c[11] +5512*c[1]*c[2]^2*c[7]*c[14] +6604*c[1]^2*c[3]*c[7]*c[14] +14676*c[2]*c[3]*c[7]*c[14] +10612*c[1]*c[4]*c[7]*c[14] +9152*c[1]^2*c[2]*c[8]*c[14] +10984*c[1]*c[3]*c[8]*c[14] +11176*c[1]*c[2]*c[9]*c[14] -14736*c[1]^2*c[4]*c[5]*c[15] -32088*c[2]*c[4]*c[5]*c[15] +24112*c[1]*c[2]^2*c[6]*c[15] +27432*c[1]^2*c[3]*c[6]*c[15] +60728*c[2]*c[3]*c[6]*c[15] +79280*c[1]*c[4]*c[6]*c[15] +14696*c[1]^2*c[2]*c[7]*c[15] +38872*c[1]*c[3]*c[7]*c[15] +52960*c[1]*c[2]*c[8]*c[15] +162*c[3]^2*c[4]*c[6]*c[10] +197*c[2]*c[4]^2*c[6]*c[10] -7*c[3]*c[4]*c[5]*c[7]^2 +18*c[2]*c[4]*c[6]*c[7]^2 +15*c[1]*c[5]*c[6]*c[7]^2 +9*c[2]*c[5]^2*c[6]*c[8] +59*c[2]*c[4]*c[6]^2*c[8] +41*c[1]*c[5]*c[6]^2*c[8] -13*c[3]*c[4]^2*c[7]*c[8] -12*c[3]^2*c[5]*c[7]*c[8] -16*c[1]*c[5]^2*c[7]*c[8] -3728*c[1]*c[5]*c[7]*c[13] +3760*c[1]*c[2]^2*c[8]*c[13] +1504*c[1]^2*c[3]*c[8]*c[13] +4244*c[2]*c[3]*c[8]*c[13] +6528*c[1]*c[4]*c[8]*c[13] +2152*c[1]^2*c[2]*c[9]*c[13] +412*c[1]*c[3]*c[6]^2*c[10] -53*c[1]*c[4]^2*c[7]*c[10] -33*c[2]^2*c[5]*c[7]*c[10] -244*c[4]*c[5]*c[7]*c[10] +1194*c[3]*c[6]*c[7]*c[10] -88*c[2]*c[3]^2*c[8]*c[10] +140*c[2]^2*c[4]*c[8]*c[10] -508*c[3]*c[5]*c[8]*c[10] +660*c[1]^2*c[6]*c[8]*c[10] +1939*c[2]*c[6]*c[8]*c[10] +1632*c[1]*c[7]*c[8]*c[10] -396*c[2]^2*c[3]*c[9]*c[10] -96*c[1]*c[3]^2*c[9]*c[10] +162*c[3]*c[4]*c[9]*c[10] -488*c[1]^2*c[5]*c[9]*c[10] -1073*c[2]*c[5]*c[9]*c[10] +3390*c[1]*c[6]*c[9]*c[10] -824*c[1]*c[2]*c[3]*c[10]^2 -156*c[3]^2*c[4]*c[5]*c[11] -174*c[2]*c[4]^2*c[5]*c[11] +3*c[4]^2*c[6]^3 +c[2]*c[6]^4 -3*c[4]^3*c[7]^2 +23*c[6]^2*c[7]^2 +4*c[5]*c[7]^3 +32*c[6]^3*c[8] -24*c[5]^2*c[8]^2 +54*c[1]^2*c[8]^3 +146*c[2]*c[8]^3 +4*c[4]^2*c[9]^2 +724*c[8]*c[9]^2 +998*c[8]^2*c[10] -56*c[2]^3*c[10]^2 +108*c[3]^2*c[10]^2 +2476*c[6]*c[10]^2 -272*c[5]^3*c[11] -1928*c[2]^2*c[11]^2 -4006*c[4]*c[11]^2 +2087*c[7]^2*c[12] -3088*c[1]^2*c[12]^2 -3312*c[2]*c[12]^2 +25206*c[6]^2*c[14] -9376*c[12]*c[14] -51808*c[11]*c[15] -70400*c[5]^2*c[16] +58720*c[10]*c[16] +77856*c[9]*c[17] +153088*c[8]*c[18] +268512*c[7]*c[19] +1497920*c[6]*c[20] -1990656*c[5]*c[21] -144*c[3]^3*c[5]*c[12] -560*c[2]^2*c[5]^2*c[12] -1555*c[4]*c[5]^2*c[12] +2093*c[4]^2*c[6]*c[12] +2166*c[1]^2*c[6]^2*c[12] +4659*c[2]*c[6]^2*c[12] +504*c[2]^3*c[8]*c[12] -364*c[3]^2*c[8]*c[12] +8280*c[6]*c[8]*c[12] -2037*c[5]*c[9]*c[12] +312*c[2]^2*c[10]*c[12] +3450*c[4]*c[10]*c[12] -976*c[1]^3*c[11]*c[12] -10148*c[3]*c[11]*c[12] -2118*c[4]^2*c[5]*c[13] -4428*c[3]*c[5]^2*c[13] +15004*c[1]*c[6]^2*c[13] +672*c[2]^3*c[7]*c[13] +3228*c[3]^2*c[7]*c[13] +16341*c[6]*c[7]*c[13] -3157*c[5]*c[8]*c[13] -2704*c[2]^2*c[9]*c[13] +4664*c[4]*c[9]*c[13] -4400*c[1]^3*c[10]*c[13] +7672*c[3]*c[10]*c[13] -13360*c[1]^2*c[11]*c[13] -21728*c[2]*c[11]*c[13] +2*c[4]*c[5]^2*c[6]^2 -2*c[4]*c[5]^3*c[7] +9*c[1]*c[6]^3*c[7] -2*c[2]*c[5]^2*c[7]^2 +20*c[3]^2*c[6]*c[7]^2 +9*c[4]^3*c[6]*c[8] +16*c[3]^2*c[6]^2*c[8] +49*c[2]^2*c[7]^2*c[8] +21*c[4]*c[7]^2*c[8] -30*c[3]^2*c[4]*c[8]^2 +7*c[2]*c[4]^2*c[8]^2 +87*c[2]^2*c[6]*c[8]^2 +128*c[4]*c[6]*c[8]^2 +93*c[3]*c[7]*c[8]^2 -6*c[4]^3*c[5]*c[9] -20*c[2]*c[5]^3*c[9] +152*c[5]*c[6]^2*c[9] -60*c[5]^2*c[7]*c[9] +228*c[3]*c[7]^2*c[9] -36*c[3]^3*c[8]*c[9] +776*c[1]*c[8]^2*c[9] -88*c[2]*c[3]^2*c[9]^2 -144*c[2]^2*c[4]*c[9]^2 -153*c[3]*c[5]*c[9]^2 +446*c[1]^2*c[6]*c[9]^2 +399*c[2]*c[6]*c[9]^2 +901*c[1]*c[7]*c[9]^2 -52*c[3]^2*c[5]^2*c[10] -72*c[1]*c[5]^3*c[10] +61*c[5]^2*c[6]*c[10] +189*c[2]^2*c[6]^2*c[10] +644*c[4]*c[6]^2*c[10] +52*c[3]^3*c[7]*c[10] +164*c[1]^2*c[7]^2*c[10] +518*c[2]*c[7]^2*c[10] +79*c[4]^2*c[8]*c[10] +2080*c[7]*c[9]*c[10] -742*c[1]^2*c[4]*c[10]^2 +286*c[2]*c[4]*c[10]^2 -1471*c[1]*c[5]*c[10]^2 +128*c[3]^3*c[6]*c[11] +1527*c[3]*c[6]^2*c[11] -58*c[4]^2*c[7]*c[11] +1219*c[1]*c[7]^2*c[11] +1915*c[7]*c[8]*c[11] -384*c[2]^3*c[9]*c[11] -204*c[3]^2*c[9]*c[11] +3861*c[6]*c[9]*c[11] -2944*c[5]*c[10]*c[11] -720*c[1]^2*c[2]*c[11]^2 -4100*c[1]*c[3]*c[11]^2 +122136*c[2]*c[7]*c[17] +18*c[2]*c[3]*c[7]^3 +c[1]*c[4]*c[7]^3 -13008*c[1]*c[12]*c[13] -6208*c[1]^2*c[5]^2*c[14] -13360*c[2]*c[5]^2*c[14] +2720*c[2]^3*c[6]*c[14] +11488*c[3]^2*c[6]*c[14] -6880*c[5]*c[7]*c[14] +11064*c[2]^2*c[8]*c[14] +10466*c[4]*c[8]*c[14] +5296*c[1]^3*c[9]*c[14] +10600*c[3]*c[9]*c[14] -12240*c[1]^2*c[10]*c[14] +17792*c[2]*c[10]*c[14] -48704*c[1]*c[11]*c[14] -3456*c[2]^3*c[5]*c[15] -14256*c[3]^2*c[5]*c[15] -42432*c[1]*c[5]^2*c[15] +21450*c[5]*c[6]*c[15] +16440*c[2]^2*c[7]*c[15] +17390*c[4]*c[7]*c[15] +7296*c[1]^3*c[8]*c[15] +18528*c[3]*c[8]*c[15] +39600*c[1]^2*c[9]*c[15] +14792*c[2]*c[9]*c[15] +22480*c[1]*c[10]*c[15] +77040*c[2]^2*c[6]*c[16] +124804*c[4]*c[6]*c[16] +12720*c[1]^3*c[7]*c[16] +56060*c[3]*c[7]*c[16] +62304*c[1]^2*c[8]*c[16] +74464*c[2]*c[8]*c[16] +96944*c[1]*c[9]*c[16] -100224*c[2]^2*c[5]*c[17] -156768*c[4]*c[5]*c[17] +63008*c[1]^3*c[6]*c[17] +171968*c[1]*c[8]*c[17] -82944*c[1]^3*c[5]*c[18] -353664*c[3]*c[5]*c[18] +564736*c[1]^2*c[6]*c[18] +639120*c[2]*c[6]*c[18] +300464*c[1]*c[7]*c[18] -746496*c[1]^2*c[5]*c[19] -843264*c[2]*c[5]*c[19] +1626400*c[1]*c[6]*c[19] -2156544*c[1]*c[5]*c[20] -5*c[4]^2*c[5]^2*c[8] -6*c[3]*c[5]^3*c[8] +270952*c[3]*c[6]*c[17] +108544*c[1]^2*c[7]*c[17]

31311*s[[9,8,7,2]] +19829*s[[9,8,8,1]] +568*s[[9,9,3,3,2]] +1448*s[[9,9,4,2,2]] +4544*s[[9,9,4,3,1]] +5508*s[[9,9,4,4]] +9478*s[[9,9,5,2,1]] +17982*s[[9,9,5,3]] +12034*s[[9,9,6,1,1]] +33629*s[[9,9,6,2]] +38039*s[[9,9,7,1]] +23193*s[[9,9,8]] +524*s[[10,6,4,3,3]] +1088*s[[10,6,4,4,2]] +2816*s[[10,6,5,3,2]] +4734*s[[10,6,5,4,1]] +4458*s[[10,6,5,5]] +3142*s[[10,6,6,2,2]] +9094*s[[10,6,6,3,1]] +13845*s[[10,6,6,4]] +512*s[[10,7,3,3,3]] +4320*s[[10,7,4,3,2]] +5612*s[[10,7,4,4,1]] +6110*s[[10,7,5,2,2]] +16976*s[[10,7,5,3,1]] +23406*s[[10,7,5,4]] +26124*s[[10,7,6,2,1]] +49787*s[[10,7,6,3]] +14897*s[[10,7,7,1,1]] +43804*s[[10,7,7,2]] +2552*s[[10,8,3,3,2]] +6140*s[[10,8,4,2,2]] +15976*s[[10,8,4,3,1]] +18152*s[[10,8,4,4]] +31432*s[[10,8,5,2,1]] +57780*s[[10,8,5,3]] +35441*s[[10,8,6,1,1]] +103580*s[[10,8,6,2]] +103412*s[[10,8,7,1]] +49988*s[[10,8,8]] +3120*s[[10,9,3,2,2]] +7776*s[[10,9,3,3,1]] +23364*s[[10,9,4,2,1]] +43088*s[[10,9,4,3]] +32196*s[[10,9,5,1,1]] +93504*s[[10,9,5,2]] +145068*s[[10,9,6,1]] +119929*s[[10,9,7]] +832*s[[10,10,2,2,2]] +9648*s[[10,10,3,2,1]] +16280*s[[10,10,3,3]] +16256*s[[10,10,4,1,1]] +52332*s[[10,10,4,2]] +92022*s[[10,10,5,1]] +108233*s[[10,10,6]] +520*s[[11,6,3,3,3]] +4464*s[[11,6,4,3,2]] +5956*s[[11,6,4,4,1]] +5978*s[[11,6,5,2,2]] +16814*s[[11,6,5,3,1]] +23580*s[[11,6,5,4]] +24450*s[[11,6,6,2,1]] +47364*s[[11,6,6,3]] +5232*s[[11,7,3,3,2]] +11000*s[[11,7,4,2,2]] +28516*s[[11,7,4,3,1]] +30632*s[[11,7,4,4]] +51098*s[[11,7,5,2,1]] +94398*s[[11,7,5,3]] +53411*s[[11,7,6,1,1]] +157935*s[[11,7,6,2]] +119723*s[[11,7,7,1]] +10064*s[[11,8,3,2,2]] +20888*s[[11,8,3,3,1]] +104424*s[[12,7,5,1,1]] +304380*s[[12,7,5,2]] +412898*s[[12,7,6,1]] +230938*s[[12,7,7]] +11200*s[[12,8,2,2,2]] +97112*s[[12,8,3,2,1]] +129344*s[[12,8,3,3]] +137920*s[[12,8,4,1,1]] +387896*s[[12,8,4,2]] +597572*s[[12,8,5,1]] +600718*s[[12,8,6]] +52896*s[[12,9,2,2,1]] +123336*s[[12,9,3,1,1]] +325872*s[[12,9,3,2]] +627692*s[[12,9,4,1]] +702300*s[[12,9,5]] +68144*s[[12,10,2,1,1]] +161840*s[[12,10,2,2]] +474064*s[[12,10,3,1]] +629864*s[[12,10,4]] +22944*s[[12,11,1,1,1]] +247280*s[[12,11,2,1]] +401160*s[[12,11,3]] +73120*s[[12,12,1,1]] +180256*s[[12,12,2]] +14312*s[[13,6,3,2,2]] +30152*s[[13,6,3,3,1]] +79808*s[[13,6,4,2,1]] +137376*s[[13,6,4,3]] +89126*s[[13,6,5,1,1]] +261266*s[[13,6,5,2]] +345534*s[[13,6,6,1]] +16352*s[[13,7,2,2,2]] +355184*s[[16,6,2,1,1]] +750608*s[[16,6,2,2]] +1996256*s[[16,6,3,1]] +2252580*s[[16,6,4]] +426656*s[[16,7,1,1,1]] +3721392*s[[16,7,2,1]] +5093840*s[[16,7,3]] +3253792*s[[16,8,1,1]] +6920800*s[[16,8,2]] +6436160*s[[16,9,1]] +3472128*s[[16,10]] +329440*s[[17,6,1,1,1]] +2879424*s[[17,6,2,1]] +3947848*s[[17,6,3]] +3882528*s[[17,7,1,1]] +8256288*s[[17,7,2]] +9668160*s[[17,8,1]] +6259072*s[[17,9]] +2*s[[6,6,5,5,4]] +5*s[[6,6,6,4,4]] +9*s[[6,6,6,5,3]] +8*s[[6,6,6,6,2]] +12*s[[7,6,5,4,4]] +22*s[[7,6,5,5,3]] +63*s[[7,6,6,4,3]] +90*s[[7,6,6,5,2]] +78*s[[7,6,6,6,1]] +4*s[[7,7,4,4,4]] +56*s[[7,7,5,4,3]] +72*s[[7,7,5,5,2]] +96*s[[7,7,6,3,3]] +226*s[[7,7,6,4,2]] +290*s[[7,7,6,5,1]] +250*s[[7,7,6,6]] +180*s[[7,7,7,3,2]] +282*s[[7,7,7,4,1]] +350*s[[7,7,7,5]] +16*s[[8,6,4,4,4]] +126*s[[8,6,5,4,3]] +154*s[[8,6,5,5,2]] +172*s[[8,6,6,3,3]] +463*s[[8,6,6,4,2]] +591*s[[8,6,6,5,1]] +502*s[[8,6,6,6]] +96*s[[8,7,4,4,3]] +242*s[[8,7,5,3,3]] +600*s[[8,7,5,4,2]] +640*s[[8,7,5,5,1]] +1197*s[[8,7,6,3,2]] +2040*s[[8,7,6,4,1]] +2459*s[[8,7,6,5]] +693*s[[8,7,7,2,2]] +1880*s[[8,7,7,3,1]] +849816*s[[14,7,3,2]] +1486044*s[[14,7,4,1]] +1515638*s[[14,7,5]] +355760*s[[14,8,2,1,1]] +748144*s[[14,8,2,2]] +1993336*s[[14,8,3,1]] +2284316*s[[14,8,4]] +206976*s[[14,9,1,1,1]] +1816320*s[[14,9,2,1]] +2576312*s[[14,9,3]] +957024*s[[14,10,1,1]] +2186672*s[[14,10,2]] +1267904*s[[14,11,1]] +468672*s[[14,12]] +122144*s[[15,6,2,2,1]] +259544*s[[15,6,3,1,1]] +683912*s[[15,6,3,2]] +1197936*s[[15,6,4,1]] +1212754*s[[15,6,5]] +453104*s[[15,7,2,1,1]] +955472*s[[15,7,2,2]] +2537528*s[[15,7,3,1]] +2857448*s[[15,7,4]] +348192*s[[15,8,1,1,1]] +3033584*s[[15,8,2,1]] +4160944*s[[15,8,3]] +2067264*s[[15,9,1,1]] +4423520*s[[15,9,2]] +3334720*s[[15,10,1]] +1394240*s[[15,11]] +141624*s[[13,7,3,2,1]] +190136*s[[13,7,3,3]] +192780*s[[13,7,4,1,1]] +544364*s[[13,7,4,2]] +802546*s[[13,7,5,1]] +776293*s[[13,7,6]] +113232*s[[13,8,2,2,1]] +241016*s[[13,8,3,1,1]] +630200*s[[13,8,3,2]] +1133412*s[[13,8,4,1]] +1190754*s[[13,8,5]] +193472*s[[13,9,2,1,1]] +407152*s[[13,9,2,2]] +1143632*s[[13,9,3,1]] +1379140*s[[13,9,4]] +78848*s[[13,10,1,1,1]] +795600*s[[13,10,2,1]] +1225704*s[[13,10,3]] +331264*s[[13,11,1,1]] +783424*s[[13,11,2]] +381088*s[[13,12,1]] +101440*s[[13,13]] +13456*s[[14,6,2,2,2]] +117216*s[[14,6,3,2,1]] +158464*s[[14,6,3,3]] +160012*s[[14,6,4,1,1]] +454020*s[[14,6,4,2]] +660440*s[[14,6,5,1]] +628746*s[[14,6,6]] +152592*s[[14,7,2,2,1]] +323544*s[[14,7,3,1,1]] +2685*s[[8,7,7,4]] +100*s[[8,8,4,3,3]] +272*s[[8,8,4,4,2]] +836*s[[8,8,5,3,2]] +1434*s[[8,8,5,4,1]] +1420*s[[8,8,5,5]] +1189*s[[8,8,6,2,2]] +3136*s[[8,8,6,3,1]] +4638*s[[8,8,6,4]] +3254*s[[8,8,7,2,1]] +5755*s[[8,8,7,3]] +1378*s[[8,8,8,1,1]] +3933*s[[8,8,8,2]] +164*s[[9,6,4,4,3]] +334*s[[9,6,5,3,3]] +852*s[[9,6,5,4,2]] +878*s[[9,6,5,5,1]] +1494*s[[9,6,6,3,2]] +2697*s[[9,6,6,4,1]] +3228*s[[9,6,6,5]] +432*s[[9,7,4,3,3]] +868*s[[9,7,4,4,2]] +2516*s[[9,7,5,3,2]] +4138*s[[9,7,5,4,1]] +3988*s[[9,7,5,5]] +3047*s[[9,7,6,2,2]] +8646*s[[9,7,6,3,1]] +12750*s[[9,7,6,4]] +6764*s[[9,7,7,2,1]] +12621*s[[9,7,7,3]] +160*s[[9,8,3,3,3]] +1868*s[[9,8,4,3,2]] +2712*s[[9,8,4,4,1]] +3102*s[[9,8,5,2,2]] +8576*s[[9,8,5,3,1]] +12170*s[[9,8,5,4]] +14582*s[[9,8,6,2,1]] +26949*s[[9,8,6,3]] +11001*s[[9,8,7,1,1]] +2971712*s[[18,6,1,1]] +6325136*s[[18,6,2]] +11310272*s[[18,7,1]] +9106688*s[[18,8]] +8599712*s[[19,6,1]] +10503680*s[[19,7]] +7948096*s[[20,6]] +59476*s[[11,8,4,2,1]] +101208*s[[11,8,4,3]] +72254*s[[11,8,5,1,1]] +209438*s[[11,8,5,2]] +299991*s[[11,8,6,1]] +219000*s[[11,8,7]] +3952*s[[11,9,2,2,2]] +42032*s[[11,9,3,2,1]] +61104*s[[11,9,3,3]] +66880*s[[11,9,4,1,1]] +190284*s[[11,9,4,2]] +317536*s[[11,9,5,1]] +341100*s[[11,9,6]] +16016*s[[11,10,2,2,1]] +39152*s[[11,10,3,1,1]] +117104*s[[11,10,3,2]] +238524*s[[11,10,4,1]] +295152*s[[11,10,5]] +15008*s[[11,11,2,1,1]] +37040*s[[11,11,2,2]] +112608*s[[11,11,3,1]] +157372*s[[11,11,4]] +4832*s[[12,6,3,3,2]] +10196*s[[12,6,4,2,2]] +26732*s[[12,6,4,3,1]] +29328*s[[12,6,4,4]] +46224*s[[12,6,5,2,1]] +86392*s[[12,6,5,3]] +46628*s[[12,6,6,1,1]] +138900*s[[12,6,6,2]] +16592*s[[12,7,3,2,2]] +34712*s[[12,7,3,3,1]] +91724*s[[12,7,4,2,1]] +156204*s[[12,7,4,3]]

-368*c[1]^3*c[6]*c[17] -1240*c[1]^3*c[7]*c[16] -1528*c[1]^3*c[8]*c[15] -4256*c[1]^3*c[9]*c[14] +4624*c[1]^3*c[10]*c[13] +2768*c[1]^3*c[11]*c[12] -664*c[1]^2*c[2]*c[6]*c[16] -1852*c[1]^2*c[2]*c[7]*c[15] -3548*c[1]^2*c[2]*c[8]*c[14] -1216*c[1]^2*c[2]*c[9]*c[13] +5364*c[1]^2*c[2]*c[10]*c[12] +1916*c[1]^2*c[2]*c[11]^2 -492*c[1]^2*c[3]*c[6]*c[15] -1774*c[1]^2*c[3]*c[7]*c[14] +554*c[1]^2*c[3]*c[8]*c[13] -794*c[1]^2*c[3]*c[9]*c[12] +2506*c[1]^2*c[3]*c[10]*c[11] -854*c[1]^2*c[4]*c[6]*c[14] +277*c[1]^2*c[4]*c[7]*c[13] +108*c[1]^2*c[4]*c[8]*c[12] -301*c[1]^2*c[4]*c[9]*c[11] +770*c[1]^2*c[4]*c[10]^2 -432*c[1]^2*c[5]^2*c[14] +197*c[1]^2*c[5]*c[6]*c[13] +96*c[1]^2*c[5]*c[7]*c[12] +112*c[1]^2*c[5]*c[8]*c[11] +91*c[1]^2*c[5]*c[9]*c[10] +6*c[1]^2*c[6]^2*c[12] +63*c[1]^2*c[6]*c[7]*c[11] +126*c[1]^2*c[6]*c[8]*c[10] -148*c[1]^2*c[6]*c[9]^2 +45*c[1]^2*c[7]^2*c[10] -144*c[1]^2*c[7]*c[8]*c[9] -12*c[1]^2*c[8]^3 -352*c[1]*c[2]^2*c[6]*c[15] -864*c[1]*c[2]^2*c[7]*c[14] -2120*c[1]*c[2]^2*c[8]*c[13] +1280*c[1]*c[2]^2*c[9]*c[12] +2056*c[1]*c[2]^2*c[10]*c[11] -464*c[1]*c[2]*c[3]*c[6]*c[14] -1528*c[1]*c[2]*c[3]*c[7]*c[13] -52*c[1]*c[2]*c[3]*c[8]*c[12] +952*c[1]*c[2]*c[3]*c[9]*c[11] +1092*c[1]*c[2]*c[3]*c[10]^2 -728*c[1]*c[2]*c[4]*c[6]*c[13] +230*c[1]*c[2]*c[4]*c[7]*c[12] -132*c[1]*c[2]*c[4]*c[8]*c[11] +630*c[1]*c[2]*c[4]*c[9]*c[10] -360*c[1]*c[2]*c[5]^2*c[13] +172*c[1]*c[2]*c[5]*c[6]*c[12] +91*c[1]*c[2]*c[5]*c[7]*c[11] +70*c[1]*c[2]*c[5]*c[8]*c[10] +91*c[1]*c[2]*c[5]*c[9]^2 +11*c[1]*c[2]*c[6]^2*c[11] +80*c[1]*c[2]*c[6]*c[7]*c[10] -66*c[1]*c[2]*c[6]*c[8]*c[9] -14*c[1]*c[2]*c[7]^2*c[9] -75*c[1]*c[2]*c[7]*c[8]^2 -132*c[1]*c[3]^2*c[6]*c[13] -494*c[1]*c[3]^2*c[7]*c[12] +394*c[1]*c[3]^2*c[8]*c[11] +232*c[1]*c[3]^2*c[9]*c[10] -340*c[1]*c[3]*c[4]*c[6]*c[12] -35*c[1]*c[3]*c[4]*c[7]*c[11] +370*c[1]*c[3]*c[4]*c[8]*c[10] +5*c[1]*c[3]*c[4]*c[9]^2 -156*c[1]*c[3]*c[5]^2*c[12] +74*c[1]*c[3]*c[5]*c[6]*c[11] +13*c[1]*c[3]*c[5]*c[7]*c[10] +101*c[1]*c[3]*c[5]*c[8]*c[9] +9*c[1]*c[3]*c[6]^2*c[10] -53*c[1]*c[3]*c[6]*c[7]*c[9] +33*c[1]*c[3]*c[6]*c[8]^2 -21*c[1]*c[3]*c[7]^2*c[8] -125*c[1]*c[4]^2*c[6]*c[11] +102*c[1]*c[4]^2*c[7]*c[10] +23*c[1]*c[4]^2*c[8]*c[9] -70*c[1]*c[4]*c[5]^2*c[11] +13*c[1]*c[4]*c[5]*c[6]*c[10] +50*c[1]*c[4]*c[5]*c[7]*c[9] +23*c[1]*c[4]*c[5]*c[8]^2 -31*c[1]*c[4]*c[6]^2*c[9] +9*c[1]*c[4]*c[6]*c[7]*c[8] +6*c[1]*c[4]*c[7]^3 -27*c[1]*c[5]^3*c[10] +4*c[1]*c[5]^2*c[6]*c[9] +4*c[1]*c[5]^2*c[7]*c[8] +10*c[1]*c[5]*c[6]^2*c[8] +9*c[1]*c[5]*c[6]*c[7]^2 -56*c[2]^3*c[6]*c[14] -124*c[2]^3*c[7]*c[13] -364*c[2]^3*c[8]*c[12] +412*c[2]^3*c[9]*c[11] +132*c[2]^3*c[10]^2 -100*c[2]^2*c[3]*c[6]*c[13] -306*c[2]^2*c[3]*c[7]*c[12] -94*c[2]^2*c[3]*c[8]*c[11] +500*c[2]^2*c[3]*c[9]*c[10] -146*c[2]^2*c[4]*c[6]*c[12] +53*c[2]^2*c[4]*c[7]*c[11] -58*c[2]^2*c[4]*c[8]*c[10] +151*c[2]^2*c[4]*c[9]^2 -72*c[2]^2*c[5]^2*c[12] +39*c[2]^2*c[5]*c[6]*c[11] +25*c[2]^2*c[5]*c[7]*c[10] +24*c[2]^2*c[5]*c[8]*c[9] +5*c[2]^2*c[6]^2*c[10] +26*c[2]^2*c[6]*c[7]*c[9] -29*c[2]^2*c[6]*c[8]^2 -18*c[2]^2*c[7]^2*c[8] -52*c[2]*c[3]^2*c[6]*c[12] -186*c[2]*c[3]^2*c[7]*c[11] +124*c[2]*c[3]^2*c[8]*c[10] +114*c[2]*c[3]^2*c[9]^2 -128*c[2]*c[3]*c[4]*c[6]*c[11] +c[2]*c[3]*c[4]*c[7]*c[10] +127*c[2]*c[3]*c[4]*c[8]*c[9] -60*c[2]*c[3]*c[5]^2*c[11] +36*c[2]*c[3]*c[5]*c[6]*c[10] +20*c[2]*c[3]*c[5]*c[7]*c[9] +20*c[2]*c[3]*c[5]*c[8]^2 +8*c[2]*c[3]*c[6]^2*c[9] -16*c[2]*c[3]*c[6]*c[7]*c[8] -8*c[2]*c[3]*c[7]^3 -45*c[2]*c[4]^2*c[6]*c[10] +45*c[2]*c[4]^2*c[7]*c[9] -26*c[2]*c[4]*c[5]^2*c[10] +13*c[2]*c[4]*c[5]*c[6]*c[9] +21*c[2]*c[4]*c[5]*c[7]*c[8] -11*c[2]*c[4]*c[6]^2*c[8] +3*c[2]*c[4]*c[6]*c[7]^2 -9*c[2]*c[5]^3*c[9] +3*c[2]*c[5]^2*c[6]*c[8] +c[2]*c[5]^2*c[7]^2 +5*c[2]*c[5]*c[6]^2*c[7] -8*c[3]^3*c[6]*c[11] -32*c[3]^3*c[7]*c[10] +40*c[3]^3*c[8]*c[9] -26*c[3]^2*c[4]*c[6]*c[10] -6*c[3]^2*c[4]*c[7]*c[9] +32*c[3]^2*c[4]*c[8]^2 -12*c[3]^2*c[5]^2*c[10] +9*c[3]^2*c[5]*c[6]*c[9] +7*c[3]^2*c[5]*c[7]*c[8] +3*c[3]^2*c[6]^2*c[8] -7*c[3]^2*c[6]*c[7]^2 -17*c[3]*c[4]^2*c[6]*c[9] +17*c[3]*c[4]^2*c[7]*c[8] -10*c[3]*c[4]*c[5]^2*c[9] +9*c[3]*c[4]*c[5]*c[6]*c[8] +5*c[3]*c[4]*c[5]*c[7]^2 -4*c[3]*c[4]*c[6]^2*c[7] -3*c[3]*c[5]^3*c[8] +2*c[3]*c[5]^2*c[6]*c[7] +c[3]*c[5]*c[6]^3 -3*c[4]^3*c[6]*c[8] +3*c[4]^3*c[7]^2 -2*c[4]^2*c[5]^2*c[8] +3*c[4]^2*c[5]*c[6]*c[7] -c[4]^2*c[6]^3 -c[4]*c[5]^3*c[7] +c[4]*c[5]^2*c[6]^2 -2272*c[1]^2*c[6]*c[18] -8160*c[1]^2*c[7]*c[17] -11224*c[1]^2*c[8]*c[16] -24640*c[1]^2*c[9]*c[15] +14336*c[1]^2*c[10]*c[14] +22432*c[1]^2*c[11]*c[13] +9528*c[1]^2*c[12]^2 -3008*c[1]*c[2]*c[6]*c[17] -8680*c[1]*c[2]*c[7]*c[16] -18092*c[1]*c[2]*c[8]*c[15] -760*c[1]*c[2]*c[9]*c[14] +9808*c[1]*c[2]*c[10]*c[13] +20732*c[1]*c[2]*c[11]*c[12] -2384*c[1]*c[3]*c[6]*c[16] -8804*c[1]*c[3]*c[7]*c[15] +2366*c[1]*c[3]*c[8]*c[14] -1932*c[1]*c[3]*c[9]*c[13] +5202*c[1]*c[3]*c[10]*c[12] +5552*c[1]*c[3]*c[11]^2 -4280*c[1]*c[4]*c[6]*c[15] +1298*c[1]*c[4]*c[7]*c[14] +269*c[1]*c[4]*c[8]*c[13] -591*c[1]*c[4]*c[9]*c[12] +3304*c[1]*c[4]*c[10]*c[11] -2160*c[1]*c[5]^2*c[15] +916*c[1]*c[5]*c[6]*c[14] +354*c[1]*c[5]*c[7]*c[13] +442*c[1]*c[5]*c[8]*c[12] +254*c[1]*c[5]*c[9]*c[11] +450*c[1]*c[5]*c[10]^2 -27*c[1]*c[6]^2*c[13] +239*c[1]*c[6]*c[7]*c[12] +372*c[1]*c[6]*c[8]*c[11] -345*c[1]*c[6]*c[9]*c[10] +158*c[1]*c[7]^2*c[11] -105*c[1]*c[7]*c[8]*c[10] -334*c[1]*c[7]*c[9]^2 -214*c[1]*c[8]^2*c[9] -864*c[2]^2*c[6]*c[16] -2184*c[2]^2*c[7]*c[15] -5676*c[2]^2*c[8]*c[14] +4388*c[2]^2*c[9]*c[13] +1644*c[2]^2*c[10]*c[12] +2692*c[2]^2*c[11]^2 -1208*c[2]*c[3]*c[6]*c[15] -4048*c[2]*c[3]*c[7]*c[14] -490*c[2]*c[3]*c[8]*c[13] +3330*c[2]*c[3]*c[9]*c[12] +2416*c[2]*c[3]*c[10]*c[11] -1924*c[2]*c[4]*c[6]*c[14] +486*c[2]*c[4]*c[7]*c[13] -575*c[2]*c[4]*c[8]*c[12] +1974*c[2]*c[4]*c[9]*c[11] +39*c[2]*c[4]*c[10]^2 -936*c[2]*c[5]^2*c[14] +390*c[2]*c[5]*c[6]*c[13] +133*c[2]*c[5]*c[7]*c[12] +25*c[2]*c[5]*c[8]*c[11] +516*c[2]*c[5]*c[9]*c[10] -12*c[2]*c[6]^2*c[12] +135*c[2]*c[6]*c[7]*c[11] -249*c[2]*c[6]*c[8]*c[10] +192*c[2]*c[6]*c[9]^2 -45*c[2]*c[7]^2*c[10] -86*c[2]*c[7]*c[8]*c[9] -63*c[2]*c[8]^3 -364*c[3]^2*c[6]*c[14] -1370*c[3]^2*c[7]*c[13] +954*c[3]^2*c[8]*c[12] +722*c[3]^2*c[9]*c[11] +58*c[3]^2*c[10]^2 -944*c[3]*c[4]*c[6]*c[13] -191*c[3]*c[4]*c[7]*c[12] +848*c[3]*c[4]*c[8]*c[11] +287*c[3]*c[4]*c[9]*c[10] -420*c[3]*c[5]^2*c[13] +156*c[3]*c[5]*c[6]*c[12] -65*c[3]*c[5]*c[7]*c[11] +278*c[3]*c[5]*c[8]*c[10] +115*c[3]*c[5]*c[9]^2 -6*c[3]*c[6]^2*c[11] -151*c[3]*c[6]*c[7]*c[10] +135*c[3]*c[6]*c[8]*c[9] -62*c[3]*c[7]^2*c[9] +20*c[3]*c[7]*c[8]^2 -357*c[4]^2*c[6]*c[12] +239*c[4]^2*c[7]*c[11] +60*c[4]^2*c[8]*c[10] +58*c[4]^2*c[9]^2 -194*c[4]*c[5]^2*c[12] -11*c[4]*c[5]*c[6]*c[11] +120*c[4]*c[5]*c[7]*c[10] +117*c[4]*c[5]*c[8]*c[9] -93*c[4]*c[6]^2*c[10] +20*c[4]*c[6]*c[7]*c[9] +7*c[4]*c[6]*c[8]^2 +34*c[4]*c[7]^2*c[8] -81*c[5]^3*c[11] +3*c[5]^2*c[6]*c[10] +4*c[5]^2*c[7]*c[9] +9*c[5]^2*c[8]^2 +21*c[5]*c[6]^2*c[9] +39*c[5]*c[6]*c[7]*c[8] +5*c[5]*c[7]^3 -c[6]^3*c[8] +c[6]^2*c[7]^2 -4240*c[1]*c[6]*c[19] -16600*c[1]*c[7]*c[18] -25808*c[1]*c[8]*c[17] -41088*c[1]*c[9]*c[16] -15032*c[1]*c[10]*c[15] +60672*c[1]*c[11]*c[14] +42096*c[1]*c[12]*c[13] -3144*c[2]*c[6]*c[18] -9372*c[2]*c[7]*c[17] -21616*c[2]*c[8]*c[16] +6544*c[2]*c[9]*c[15] -10288*c[2]*c[10]*c[14] +28172*c[2]*c[11]*c[13] +9704*c[2]*c[12]^2 -2692*c[3]*c[6]*c[17] -10222*c[3]*c[7]*c[16] +2704*c[3]*c[8]*c[15] +910*c[3]*c[9]*c[14] -3858*c[3]*c[10]*c[13] +13158*c[3]*c[11]*c[12] -5090*c[4]*c[6]*c[16] +1633*c[4]*c[7]*c[15] +199*c[4]*c[8]*c[14] +814*c[4]*c[9]*c[13] -1685*c[4]*c[10]*c[12] +4129*c[4]*c[11]^2 -2592*c[5]^2*c[16] +1071*c[5]*c[6]*c[15] +396*c[5]*c[7]*c[14] +479*c[5]*c[8]*c[13] +533*c[5]*c[9]*c[12] +369*c[5]*c[10]*c[11] -65*c[6]^2*c[14] +265*c[6]*c[7]*c[13] +259*c[6]*c[8]*c[12] +672*c[6]*c[9]*c[11] -827*c[6]*c[10]^2 +151*c[7]^2*c[12] +379*c[7]*c[8]*c[11] -677*c[7]*c[9]*c[10] -279*c[8]^2*c[10] -134*c[8]*c[9]^2 -2336*c[6]*c[20] -10480*c[7]*c[19] -18944*c[8]*c[18] -17664*c[9]*c[17] -50416*c[10]*c[16] +53776*c[11]*c[15] +30224*c[12]*c[14] +15840*c[13]^2

3460*s[[9,8,7,2]] +995*s[[9,8,8,1]] +812*s[[9,9,3,3,2]] +1450*s[[9,9,4,2,2]] +3174*s[[9,9,4,3,1]] +3056*s[[9,9,4,4]] +3970*s[[9,9,5,2,1]] +7427*s[[9,9,5,3]] +1750*s[[9,9,6,1,1]] +7360*s[[9,9,6,2]] +3430*s[[9,9,7,1]] +980*s[[9,9,8]] +34*s[[10,6,4,3,3]] +82*s[[10,6,4,4,2]] +256*s[[10,6,5,3,2]] +516*s[[10,6,5,4,1]] +645*s[[10,6,5,5]] +179*s[[10,6,6,2,2]] +583*s[[10,6,6,3,1]] +1082*s[[10,6,6,4]] +92*s[[10,7,3,3,3]] +918*s[[10,7,4,3,2]] +1418*s[[10,7,4,4,1]] +969*s[[10,7,5,2,2]] +2977*s[[10,7,5,3,1]] +4744*s[[10,7,5,4]] +2532*s[[10,7,6,2,1]] +5742*s[[10,7,6,3]] +996*s[[10,7,7,1,1]] +3634*s[[10,7,7,2]] +1488*s[[10,8,3,3,2]] +2432*s[[10,8,4,2,2]] +6628*s[[10,8,4,3,1]] +6824*s[[10,8,4,4]] +8035*s[[10,8,5,2,1]] +16259*s[[10,8,5,3]] +4578*s[[10,8,6,1,1]] +15518*s[[10,8,6,2]] +8805*s[[10,8,7,1]] +2268*s[[10,8,8]] +3648*s[[10,9,3,2,2]] +6640*s[[10,9,3,3,1]] +14774*s[[10,9,4,2,1]] +23412*s[[10,9,4,3]] +10906*s[[10,9,5,1,1]] +33812*s[[10,9,5,2]] +25144*s[[10,9,6,1]] +9870*s[[10,9,7]] +1816*s[[10,10,2,2,2]] +13252*s[[10,10,3,2,1]] +15068*s[[10,10,3,3]] +14812*s[[10,10,4,1,1]] +37272*s[[10,10,4,2]] +38969*s[[10,10,5,1]] +18816*s[[10,10,6]] +20*s[[11,6,3,3,3]] +216*s[[11,6,4,3,2]] +344*s[[11,6,4,4,1]] +367*s[[11,6,5,2,2]] +1141*s[[11,6,5,3,1]] +1935*s[[11,6,5,4]] +1113*s[[11,6,6,2,1]] +2458*s[[11,6,6,3]] +668*s[[11,7,3,3,2]] +1524*s[[11,7,4,2,2]] +4360*s[[11,7,4,3,1]] +5590*s[[11,7,4,4]] +6141*s[[11,7,5,2,1]] +12752*s[[11,7,5,3]] +3986*s[[11,7,6,1,1]] +13018*s[[11,7,6,2]] +7628*s[[11,7,7,1]] +3428*s[[11,8,3,2,2]] +7700*s[[11,8,3,3,1]] +8866*s[[12,7,5,1,1]] +27802*s[[12,7,5,2]] +24888*s[[12,7,6,1]] +11650*s[[12,7,7]] +2408*s[[12,8,2,2,2]] +22408*s[[12,8,3,2,1]] +32884*s[[12,8,3,3]] +26440*s[[12,8,4,1,1]] +78838*s[[12,8,4,2]] +87126*s[[12,8,5,1]] +54458*s[[12,8,6]] +30464*s[[12,9,2,2,1]] +54792*s[[12,9,3,1,1]] +146844*s[[12,9,3,2]] +204524*s[[12,9,4,1]] +149770*s[[12,9,5]] +77488*s[[12,10,2,1,1]] +148904*s[[12,10,2,2]] +350108*s[[12,10,3,1]] +302402*s[[12,10,4]] +49504*s[[12,11,1,1,1]] +380848*s[[12,11,2,1]] +450628*s[[12,11,3]] +188128*s[[12,12,1,1]] +368304*s[[12,12,2]] +268*s[[13,6,3,2,2]] +628*s[[13,6,3,3,1]] +1912*s[[13,6,4,2,1]] +3744*s[[13,6,4,3]] +2749*s[[13,6,5,1,1]] +8659*s[[13,6,5,2]] +8681*s[[13,6,6,1]] +896*s[[13,7,2,2,2]] +1864*s[[16,6,2,1,1]] +4312*s[[16,6,2,2]] +12976*s[[16,6,3,1]] +18318*s[[16,6,4]] +7376*s[[16,7,1,1,1]] +71496*s[[16,7,2,1]] +107648*s[[16,7,3]] +161968*s[[16,8,1,1]] +354880*s[[16,8,2]] +753632*s[[16,9,1]] +894240*s[[16,10]] +1040*s[[17,6,1,1,1]] +10656*s[[17,6,2,1]] +17372*s[[17,6,3]] +47600*s[[17,7,1,1]] +108416*s[[17,7,2]] +333952*s[[17,8,1]] +513664*s[[17,9]] +s[[6,6,5,5,4]] +2*s[[6,6,6,5,3]] +s[[6,6,6,6,2]] +3*s[[7,6,5,4,4]] +8*s[[7,6,5,5,3]] +6*s[[7,6,6,4,3]] +17*s[[7,6,6,5,2]] +9*s[[7,6,6,6,1]] +6*s[[7,7,4,4,4]] +24*s[[7,7,5,4,3]] +28*s[[7,7,5,5,2]] +6*s[[7,7,6,3,3]] +45*s[[7,7,6,4,2]] +63*s[[7,7,6,5,1]] +36*s[[7,7,6,6]] +9*s[[7,7,7,3,2]] +57*s[[7,7,7,4,1]] +72*s[[7,7,7,5]] +2*s[[8,6,4,4,4]] +24*s[[8,6,5,4,3]] +41*s[[8,6,5,5,2]] +14*s[[8,6,6,3,3]] +49*s[[8,6,6,4,2]] +91*s[[8,6,6,5,1]] +50*s[[8,6,6,6]] +56*s[[8,7,4,4,3]] +70*s[[8,7,5,3,3]] +203*s[[8,7,5,4,2]] +203*s[[8,7,5,5,1]] +150*s[[8,7,6,3,2]] +390*s[[8,7,6,4,1]] +474*s[[8,7,6,5]] +30*s[[8,7,7,2,2]] +202*s[[8,7,7,3,1]] +38564*s[[14,7,3,2]] +73458*s[[14,7,4,1]] +67919*s[[14,7,5]] +36488*s[[14,8,2,1,1]] +81024*s[[14,8,2,2]] +219612*s[[14,8,3,1]] +224478*s[[14,8,4]] +49584*s[[14,9,1,1,1]] +445880*s[[14,9,2,1]] +547796*s[[14,9,3]] +544704*s[[14,10,1,1]] +1024800*s[[14,10,2]] +1390784*s[[14,11,1]] +967904*s[[14,12]] +976*s[[15,6,2,2,1]] +2356*s[[15,6,3,1,1]] +6748*s[[15,6,3,2]] +14184*s[[15,6,4,1]] +18791*s[[15,6,5]] +12120*s[[15,7,2,1,1]] +27432*s[[15,7,2,2]] +77700*s[[15,7,3,1]] +97888*s[[15,7,4]] +24144*s[[15,8,1,1,1]] +223768*s[[15,8,2,1]] +317312*s[[15,8,3]] +347568*s[[15,9,1,1]] +742192*s[[15,9,2]] +1239632*s[[15,10,1]] +1236064*s[[15,11]] +8748*s[[13,7,3,2,1]] +13160*s[[13,7,3,3]] +13126*s[[13,7,4,1,1]] +39850*s[[13,7,4,2]] +50823*s[[13,7,5,1]] +34691*s[[13,7,6]] +17024*s[[13,8,2,2,1]] +37140*s[[13,8,3,1,1]] +103272*s[[13,8,3,2]] +158458*s[[13,8,4,1]] +126406*s[[13,8,5]] +69496*s[[13,9,2,1,1]] +152272*s[[13,9,2,2]] +351380*s[[13,9,3,1]] +321464*s[[13,9,4]] +74224*s[[13,10,1,1,1]] +555600*s[[13,10,2,1]] +631948*s[[13,10,3]] +485392*s[[13,11,1,1]] +942872*s[[13,11,2]] +859968*s[[13,12,1]] +359680*s[[13,13]] +152*s[[14,6,2,2,2]] +1584*s[[14,6,3,2,1]] +2456*s[[14,6,3,3]] +2618*s[[14,6,4,1,1]] +8022*s[[14,6,4,2]] +14788*s[[14,6,5,1]] +11299*s[[14,6,6]] +6008*s[[14,7,2,2,1]] +13676*s[[14,7,3,1,1]] +512*s[[8,7,7,4]] +116*s[[8,8,4,3,3]] +182*s[[8,8,4,4,2]] +349*s[[8,8,5,3,2]] +573*s[[8,8,5,4,1]] +491*s[[8,8,5,5]] +130*s[[8,8,6,2,2]] +646*s[[8,8,6,3,1]] +1106*s[[8,8,6,4]] +230*s[[8,8,7,2,1]] +969*s[[8,8,7,3]] +40*s[[8,8,8,1,1]] +270*s[[8,8,8,2]] +16*s[[9,6,4,4,3]] +41*s[[9,6,5,3,3]] +123*s[[9,6,5,4,2]] +172*s[[9,6,5,5,1]] +113*s[[9,6,6,3,2]] +255*s[[9,6,6,4,1]] +394*s[[9,6,6,5]] +134*s[[9,7,4,3,3]] +316*s[[9,7,4,4,2]] +569*s[[9,7,5,3,2]] +1089*s[[9,7,5,4,1]] +1003*s[[9,7,5,5]] +325*s[[9,7,6,2,2]] +1117*s[[9,7,6,3,1]] +2132*s[[9,7,6,4]] +515*s[[9,7,7,2,1]] +1515*s[[9,7,7,3]] +188*s[[9,8,3,3,3]] +1148*s[[9,8,4,3,2]] +1352*s[[9,8,4,4,1]] +985*s[[9,8,5,2,2]] +2983*s[[9,8,5,3,1]] +4138*s[[9,8,5,4]] +2205*s[[9,8,6,2,1]] +5478*s[[9,8,6,3]] +700*s[[9,8,7,1,1]] +6496*s[[18,6,1,1]] +15544*s[[18,6,2]] +93504*s[[18,7,1]] +213184*s[[18,8]] +12208*s[[19,6,1]] +55616*s[[19,7]] +6752*s[[20,6]] +16576*s[[11,8,4,2,1]] +30230*s[[11,8,4,3]] +13622*s[[11,8,5,1,1]] +42477*s[[11,8,5,2]] +34766*s[[11,8,6,1]] +16233*s[[11,8,7]] +4056*s[[11,9,2,2,2]] +28496*s[[11,9,3,2,1]] +35376*s[[11,9,3,3]] +29912*s[[11,9,4,1,1]] +86410*s[[11,9,4,2]] +88764*s[[11,9,5,1]] +50778*s[[11,9,6]] +23824*s[[11,10,2,2,1]] +44992*s[[11,10,3,1,1]] +107108*s[[11,10,3,2]] +153066*s[[11,10,4,1]] +104811*s[[11,10,5]] +31920*s[[11,11,2,1,1]] +62024*s[[11,11,2,2]] +148432*s[[11,11,3,1]] +134358*s[[11,11,4]] +136*s[[12,6,3,3,2]] +334*s[[12,6,4,2,2]] +970*s[[12,6,4,3,1]] +1290*s[[12,6,4,4]] +2076*s[[12,6,5,2,1]] +4388*s[[12,6,5,3]] +1542*s[[12,6,6,1,1]] +4956*s[[12,6,6,2]] +1416*s[[12,7,3,2,2]] +3240*s[[12,7,3,3,1]] +9150*s[[12,7,4,2,1]] +17568*s[[12,7,4,3]]

-32*c[1]*c[5]*c[7]*c[13] +48*c[1]*c[5]*c[8]*c[12] -16*c[1]*c[5]*c[9]*c[11] +32*c[1]*c[6]^2*c[13] -48*c[1]*c[6]*c[7]*c[12] -40*c[1]*c[6]*c[8]*c[11] +24*c[1]*c[6]*c[9]*c[10] +56*c[1]*c[7]^2*c[11] -24*c[1]*c[7]*c[8]*c[10] -8*c[1]*c[7]*c[9]^2 +8*c[1]*c[8]^2*c[9] -16*c[2]*c[5]*c[7]*c[12] +24*c[2]*c[5]*c[8]*c[11] -8*c[2]*c[5]*c[9]*c[10] +16*c[2]*c[6]^2*c[12] -24*c[2]*c[6]*c[7]*c[11] -20*c[2]*c[6]*c[8]*c[10] +12*c[2]*c[6]*c[9]^2 +28*c[2]*c[7]^2*c[10] -16*c[2]*c[7]*c[8]*c[9] +4*c[2]*c[8]^3 -8*c[3]*c[5]*c[7]*c[11] +12*c[3]*c[5]*c[8]*c[10] -4*c[3]*c[5]*c[9]^2 +8*c[3]*c[6]^2*c[11] -12*c[3]*c[6]*c[7]*c[10] -4*c[3]*c[6]*c[8]*c[9] +12*c[3]*c[7]^2*c[9] -4*c[3]*c[7]*c[8]^2 -4*c[4]*c[5]*c[7]*c[10] +4*c[4]*c[5]*c[8]*c[9] +4*c[4]*c[6]^2*c[10] -4*c[4]*c[6]*c[7]*c[9] -4*c[4]*c[6]*c[8]^2 +4*c[4]*c[7]^2*c[8] -4*c[5]^2*c[7]*c[9] +4*c[5]^2*c[8]^2 +4*c[5]*c[6]^2*c[9] -8*c[5]*c[6]*c[7]*c[8] +4*c[5]*c[7]^3 -64*c[5]*c[7]*c[14] +96*c[5]*c[8]*c[13] -32*c[5]*c[9]*c[12] +64*c[6]^2*c[14] -96*c[6]*c[7]*c[13] -80*c[6]*c[8]*c[12] +48*c[6]*c[9]*c[11] +112*c[7]^2*c[12] -48*c[7]*c[8]*c[11] -16*c[7]*c[9]*c[10] +16*c[8]^2*c[10]

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