Thom polynomials, relative dimension l=5

1

s[[0]]

c[6]

s[[6]]

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

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

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

s[[7,7]]

2592*c[1]^2*c[16] +2160*c[1]*c[2]*c[15] +936*c[1]*c[3]*c[14] +420*c[1]*c[4]*c[13] +194*c[1]*c[5]*c[12] +113*c[1]*c[6]*c[11] +41*c[1]*c[7]*c[10] +24*c[1]*c[8]*c[9] +432*c[2]^2*c[14] +360*c[2]*c[3]*c[13] +156*c[2]*c[4]*c[12] +70*c[2]*c[5]*c[11] +43*c[2]*c[6]*c[10] +14*c[2]*c[7]*c[9] +5*c[2]*c[8]^2 +72*c[3]^2*c[12] +60*c[3]*c[4]*c[11] +26*c[3]*c[5]*c[10] +17*c[3]*c[6]*c[9] +5*c[3]*c[7]*c[8] +12*c[4]^2*c[10] +10*c[4]*c[5]*c[9] +7*c[4]*c[6]*c[8] +c[4]*c[7]^2 +2*c[5]^2*c[8] +3*c[5]*c[6]*c[7] +c[6]^3 +12960*c[1]*c[17] +5616*c[2]*c[16] +2520*c[3]*c[15] +1164*c[4]*c[14] +550*c[5]*c[13] +307*c[6]*c[12] +122*c[7]*c[11] +65*c[8]*c[10] +24*c[9]^2 +15552*c[18]

s[[6,6,6]] +5*s[[7,6,5]] +5*s[[7,7,4]] +6*s[[8,5,5]] +19*s[[8,6,4]] +24*s[[8,7,3]] +24*s[[8,8,2]] +30*s[[9,5,4]] +65*s[[9,6,3]] +89*s[[9,7,2]] +113*s[[9,8,1]] +113*s[[9,9]] +36*s[[10,4,4]] +114*s[[10,5,3]] +211*s[[10,6,2]] +300*s[[10,7,1]] +413*s[[10,8]] +180*s[[11,4,3]] +390*s[[11,5,2]] +665*s[[11,6,1]] +965*s[[11,7]] +216*s[[12,3,3]] +684*s[[12,4,2]] +1266*s[[12,5,1]] +2059*s[[12,6]] +1080*s[[13,3,2]] +2340*s[[13,4,1]] +3990*s[[13,5]] +1296*s[[14,2,2]] +4104*s[[14,3,1]] +7596*s[[14,4]] +6480*s[[15,2,1]] +14040*s[[15,3]] +7776*s[[16,1,1]] +24624*s[[16,2]] +38880*s[[17,1]] +46656*s[[18]]

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

10*s[[9,8,2]] +10*s[[9,9,1]] +15*s[[10,7,2]] +25*s[[10,8,1]] +35*s[[10,9]] +31*s[[11,7,1]] +56*s[[11,8]] +63*s[[12,7]] +s[[7,7,5]] +3*s[[8,7,4]] +3*s[[8,8,3]] +7*s[[9,7,3]]

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

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

389936*c[7]*c[17] +82944*c[2]^3*c[18] +342144*c[3]^2*c[18] +843136*c[6]*c[18] +1736256*c[5]*c[19] +2405376*c[2]^2*c[20] +3762432*c[4]*c[20] +1990656*c[1]^3*c[21] +8487936*c[3]*c[21] +17915904*c[1]^2*c[22] +20238336*c[2]*c[22] +51757056*c[1]*c[23] +2*c[5]^2*c[7]^2 +c[3]*c[7]^3 +11*c[4]^2*c[8]^2 +6*c[5]^3*c[9] +62*c[3]^2*c[9]^2 +174*c[6]*c[9]^2 +139*c[7]^2*c[10] +356*c[2]^2*c[10]^2 +686*c[4]*c[10]^2 +2072*c[1]^2*c[11]^2 +3804*c[2]*c[11]^2 +144*c[4]^3*c[12] +1606*c[6]^2*c[12] +28176*c[11]*c[13] +7794*c[5]^2*c[14] +48416*c[10]*c[14] +3456*c[3]^3*c[15] +94336*c[9]*c[15] +50832*c[4]^2*c[16] +190672*c[8]*c[16] +47775744*c[24] +12176*c[12]^2 +14*c[8]^3 +c[6]^4 +89856*c[2]^2*c[3]*c[17] +100224*c[1]*c[3]^2*c[17] +270432*c[3]*c[4]*c[17] +156768*c[1]^2*c[5]*c[17] +337488*c[2]*c[5]*c[17] +510528*c[1]*c[6]*c[17] +353664*c[1]^2*c[4]*c[18] +770112*c[2]*c[4]*c[18] +1057248*c[1]*c[5]*c[18] +746496*c[1]*c[2]^2*c[19] +843264*c[1]^2*c[3]*c[19] +1859328*c[2]*c[3]*c[19] +2339712*c[1]*c[4]*c[19] +1356*c[2]^2*c[8]*c[12] +3494*c[4]*c[8]*c[12] +5602*c[3]*c[9]*c[12] +4624*c[1]^2*c[10]*c[12] +10092*c[2]*c[10]*c[12] +20432*c[1]*c[11]*c[12] +1296*c[3]*c[4]^2*c[13] +1464*c[3]^2*c[5]*c[13] +2118*c[1]*c[5]^2*c[13] +7013*c[5]*c[6]*c[13] +2796*c[2]^2*c[7]*c[13] +7157*c[4]*c[7]*c[13] +9*c[2]*c[7]^2*c[8] +16*c[3]*c[5]*c[8]^2 +26*c[2]*c[6]*c[8]^2 +21*c[1]*c[7]*c[8]^2 +46*c[3]*c[6]^2*c[9] +21*c[4]^2*c[7]*c[9] +34*c[1]*c[7]^2*c[9] +132*c[7]*c[8]*c[9] +99*c[2]*c[4]*c[9]^2 +113*c[1]*c[5]*c[9]^2 +54*c[4]*c[5]^2*c[10] +76*c[4]^2*c[6]*c[10] +142*c[2]*c[6]^2*c[10] +124*c[3]^2*c[8]*c[10] +492*c[6]*c[8]*c[10] +663*c[5]*c[9]*c[10] +616*c[1]*c[3]*c[10]^2 +156*c[4]^2*c[5]*c[11] +174*c[3]*c[5]^2*c[11] +466*c[1]*c[6]^2*c[11] +238*c[3]^2*c[7]*c[11] +1033*c[6]*c[7]*c[11] +1142*c[5]*c[8]*c[11] +756*c[2]^2*c[9]*c[11] +1807*c[4]*c[9]*c[11] +3418*c[3]*c[10]*c[11] +594*c[2]*c[5]^2*c[12] +704*c[3]^2*c[6]*c[12] +2502*c[5]*c[7]*c[12] +113832*c[3]*c[5]*c[16] +75584*c[1]^2*c[6]*c[16] +161312*c[2]*c[6]*c[16] +229832*c[1]*c[7]*c[16] +10462*c[3]*c[8]*c[13] +8048*c[1]^2*c[9]*c[13] +16888*c[2]*c[9]*c[13] +29568*c[1]*c[10]*c[13] +3744*c[3]^2*c[4]*c[14] +4176*c[2]*c[4]^2*c[14] +7072*c[2]^2*c[6]*c[14] +18812*c[4]*c[6]*c[14] +21918*c[3]*c[7]*c[14] +15984*c[1]^2*c[8]*c[14] +33652*c[2]*c[8]*c[14] +55488*c[1]*c[9]*c[14] +14256*c[1]*c[4]^2*c[15] +14736*c[2]^2*c[5]*c[15] +40812*c[4]*c[5]*c[15] +53568*c[3]*c[6]*c[15] +32984*c[1]^2*c[7]*c[15] +69788*c[2]*c[7]*c[15] +111752*c[1]*c[8]*c[15] +31104*c[2]*c[3]^2*c[16] +35136*c[2]^2*c[4]*c[16] +6*c[5]*c[6]^2*c[7] +4*c[4]*c[6]*c[7]^2 +9*c[5]^2*c[6]*c[8] +16*c[4]*c[6]^2*c[8] +3228*c[2]*c[4]*c[5]*c[13] +4512*c[2]*c[3]*c[6]*c[13] +5268*c[1]*c[4]*c[6]*c[13] +5958*c[1]*c[3]*c[7]*c[13] +468*c[3]*c[4]*c[6]*c[11] +557*c[2]*c[5]*c[6]*c[11] +19492*c[1]*c[2]*c[7]*c[14] +23328*c[2]*c[3]*c[4]*c[15] +32088*c[1]*c[3]*c[5]*c[15] +46752*c[1]*c[2]*c[6]*c[15] +77472*c[1]*c[3]*c[4]*c[16] +97488*c[1]*c[2]*c[5]*c[16] +226368*c[1]*c[2]*c[4]*c[17] +559872*c[1]*c[2]*c[3]*c[18] +9408*c[1]*c[2]*c[8]*c[13] +53*c[3]*c[5]*c[7]*c[9] +77*c[2]*c[6]*c[7]*c[9] +97*c[3]*c[4]*c[8]*c[9] +93*c[2]*c[5]*c[8]*c[9] +148*c[1]*c[6]*c[8]*c[9] +9432*c[2]*c[3]*c[5]*c[14] +11268*c[1]*c[4]*c[5]*c[14] +15232*c[1]*c[3]*c[6]*c[14] +972*c[3]*c[4]*c[5]*c[12] +1532*c[2]*c[4]*c[6]*c[12] +1943*c[1]*c[5]*c[6]*c[12] +1658*c[2]*c[3]*c[7]*c[12] +1897*c[1]*c[4]*c[7]*c[12] +2872*c[1]*c[3]*c[8]*c[12] +4888*c[1]*c[2]*c[9]*c[12] +17*c[4]*c[5]*c[7]*c[8] +23*c[3]*c[6]*c[7]*c[8] +513*c[2]*c[4]*c[7]*c[11] +663*c[1]*c[5]*c[7]*c[11] +818*c[2]*c[3]*c[8]*c[11] +977*c[1]*c[4]*c[8]*c[11] +1698*c[1]*c[3]*c[9]*c[11] +3412*c[1]*c[2]*c[10]*c[11] +313*c[1]*c[5]*c[8]*c[10] +572*c[2]*c[3]*c[9]*c[10] +558*c[1]*c[4]*c[9]*c[10] +292*c[2]*c[4]*c[8]*c[10] +53*c[4]*c[5]*c[6]*c[9] +167*c[3]*c[5]*c[6]*c[10] +143*c[3]*c[4]*c[7]*c[10] +182*c[2]*c[5]*c[7]*c[10] +277*c[1]*c[6]*c[7]*c[10] +2156544*c[1]^2*c[2]*c[20] +5432832*c[1]*c[3]*c[20] +13436928*c[1]*c[2]*c[21]

69672960*s[[21,2,1]] +95662080*s[[21,3]] +71663616*s[[22,1,1]] +152616960*s[[22,2]] +207028224*s[[23,1]] +191102976*s[[24]] +s[[6,6,6,6]] +9*s[[7,6,6,5]] +10*s[[7,7,5,5]] +21*s[[7,7,6,4]] +26*s[[8,6,5,5]] +55*s[[8,6,6,4]] +104*s[[8,7,5,4]] +160*s[[8,7,6,3]] +76*s[[8,8,4,4]] +200*s[[8,8,5,3]] +280*s[[8,8,6,2]] +176*s[[8,8,8]] +24*s[[9,5,5,5]] +210*s[[9,6,5,4]] +285*s[[9,6,6,3]] +240*s[[9,7,4,4]] +666*s[[9,7,5,3]] +889*s[[9,7,6,2]] +804*s[[9,8,4,3]] +1490*s[[9,8,5,2]] +1961*s[[9,8,6,1]] +520*s[[9,9,3,3]] +1476*s[[9,9,4,2]] +2354*s[[9,9,5,1]] +3065*s[[9,9,6]] +216*s[[10,5,5,4]] +460*s[[10,6,4,4]] +1214*s[[10,6,5,3]] +1351*s[[10,6,6,2]] +1900*s[[10,7,4,3]] +3520*s[[10,7,5,2]] +4340*s[[10,7,6,1]] +1736*s[[10,8,3,3]] +5120*s[[10,8,4,2]] +8130*s[[10,8,5,1]] +10309*s[[10,8,6]] +5504*s[[10,9,3,2]] +10820*s[[10,9,4,1]] +15956*s[[10,9,5]] +3376*s[[10,10,2,2]] +9920*s[[10,10,3,1]] +16580*s[[10,10,4]] +624*s[[11,5,4,4]] +1320*s[[11,5,5,3]] +3516*s[[11,6,4,3]] +6090*s[[11,6,5,2]] +6069*s[[11,6,6,1]] +3704*s[[11,7,3,3]] +10840*s[[11,7,4,2]] +16850*s[[11,7,5,1]] +19781*s[[11,7,6]] +13520*s[[11,8,3,2]] +26840*s[[11,8,4,1]] +39140*s[[11,8,5]] +11520*s[[11,9,2,2]] +34736*s[[11,9,3,1]] +58204*s[[11,9,4]] +35664*s[[11,10,2,1]] +71920*s[[11,10,3]] +21280*s[[11,11,1,1]] +63696*s[[11,11,2]] +576*s[[12,4,4,4]] +5040*s[[12,5,4,3]] +6840*s[[12,5,5,2]] +6920*s[[12,6,3,3]] +19684*s[[12,6,4,2]] +28286*s[[12,6,5,1]] +26335*s[[12,6,6]] +27536*s[[12,7,3,2]] +53900*s[[12,7,4,1]] +76104*s[[12,7,5]] +25280*s[[12,8,2,2]] +76224*s[[12,8,3,1]] +127556*s[[12,8,4]] +88640*s[[12,9,2,1]] +180400*s[[12,9,3]] +73376*s[[12,10,1,1]] +223440*s[[12,10,2]] +224384*s[[12,11,1]] +131776*s[[12,12]] +5184*s[[13,4,4,3]] +11040*s[[13,5,3,3]] +29136*s[[13,5,4,2]] +32424*s[[13,5,5,1]] +51240*s[[13,6,3,2]] +96780*s[[13,6,4,1]] +125370*s[[13,6,5]] +50624*s[[13,7,2,2]] +151480*s[[13,7,3,1]] +248840*s[[13,7,4]] +185216*s[[13,8,2,1]] +375800*s[[13,8,3]] +162304*s[[13,9,1,1]] +495040*s[[13,9,2]] +559840*s[[13,10,1]] +456960*s[[13,11]] +14976*s[[14,4,3,3]] +31680*s[[14,4,4,2]] +84384*s[[14,5,3,2]] +146160*s[[14,5,4,1]] +145656*s[[14,5,5]] +95536*s[[14,6,2,2]] +281240*s[[14,6,3,1]] +443620*s[[14,6,4]] +366640*s[[14,7,2,1]] +736240*s[[14,7,3]] +331520*s[[14,8,1,1]] +1008944*s[[14,8,2]] +1177856*s[[14,9,1]] +1012800*s[[14,10]] +13824*s[[15,3,3,3]] +120960*s[[15,4,3,2]] +164160*s[[15,4,4,1]] +166080*s[[15,5,2,2]] +472416*s[[15,5,3,1]] +678864*s[[15,5,4]] +693744*s[[15,6,2,1]] +1365000*s[[15,6,3]] +655200*s[[15,7,1,1]] +1983456*s[[15,7,2]] +2375520*s[[15,8,1]] +2079744*s[[15,9]] +124416*s[[16,3,3,2]] +264960*s[[16,4,2,2]] +699264*s[[16,4,3,1]] +778176*s[[16,4,4]] +1229760*s[[16,5,2,1]] +2322720*s[[16,5,3]] +1254176*s[[16,6,1,1]] +3759760*s[[16,6,2]] +4681664*s[[16,7,1]] +4171456*s[[16,8]] +359424*s[[17,3,2,2]] +760320*s[[17,3,3,1]] +2025216*s[[17,4,2,1]] +3507840*s[[17,4,3]] +2292864*s[[17,5,1,1]] +6749760*s[[17,5,2]] +8994720*s[[17,6,1]] +8235520*s[[17,7]] +331776*s[[18,2,2,2]] +2903040*s[[18,3,2,1]] +3939840*s[[18,3,3]] +3985920*s[[18,4,1,1]] +11337984*s[[18,4,2]] +16649856*s[[18,5,1]] +15958720*s[[18,6]] +2985984*s[[19,2,2,1]] +6359040*s[[19,3,1,1]] +16782336*s[[19,3,2]] +29514240*s[[19,4,1]] +30100224*s[[19,5]] +8626176*s[[20,2,1,1]] +18247680*s[[20,2,2]] +48605184*s[[20,3,1]] +55028736*s[[20,4]] +7962624*s[[21,1,1,1]] +14*s[[7,7,7,3]] +116*s[[8,7,7,2]] +264*s[[8,8,7,1]] +670*s[[9,7,7,1]] +1930*s[[9,8,7]] +3340*s[[10,7,7]]

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

s[[8,8,8]]

-2592*c[1]^2*c[6]*c[17] +1744*c[1]^2*c[7]*c[16] +352*c[1]^2*c[8]*c[15] +288*c[1]^2*c[9]*c[14] +192*c[1]^2*c[10]*c[13] +16*c[1]^2*c[11]*c[12] -2160*c[1]*c[2]*c[6]*c[16] +1464*c[1]*c[2]*c[7]*c[15] +320*c[1]*c[2]*c[8]*c[14] +256*c[1]*c[2]*c[9]*c[13] +112*c[1]*c[2]*c[10]*c[12] +8*c[1]*c[2]*c[11]^2 -936*c[1]*c[3]*c[6]*c[15] +644*c[1]*c[3]*c[7]*c[14] +152*c[1]*c[3]*c[8]*c[13] +88*c[1]*c[3]*c[9]*c[12] +52*c[1]*c[3]*c[10]*c[11] -420*c[1]*c[4]*c[6]*c[14] +298*c[1]*c[4]*c[7]*c[13] +60*c[1]*c[4]*c[8]*c[12] +38*c[1]*c[4]*c[9]*c[11] +24*c[1]*c[4]*c[10]^2 -194*c[1]*c[5]*c[6]*c[13] +141*c[1]*c[5]*c[7]*c[12] +23*c[1]*c[5]*c[8]*c[11] +30*c[1]*c[5]*c[9]*c[10] -97*c[1]*c[6]^2*c[12] +31*c[1]*c[6]*c[7]*c[11] -2*c[1]*c[6]*c[8]*c[10] +3*c[1]*c[6]*c[9]^2 +32*c[1]*c[7]^2*c[10] +30*c[1]*c[7]*c[8]*c[9] +3*c[1]*c[8]^3 -432*c[2]^2*c[6]*c[15] +296*c[2]^2*c[7]*c[14] +72*c[2]^2*c[8]*c[13] +56*c[2]^2*c[9]*c[12] +8*c[2]^2*c[10]*c[11] -360*c[2]*c[3]*c[6]*c[14] +252*c[2]*c[3]*c[7]*c[13] +68*c[2]*c[3]*c[8]*c[12] +36*c[2]*c[3]*c[9]*c[11] +4*c[2]*c[3]*c[10]^2 -156*c[2]*c[4]*c[6]*c[13] +114*c[2]*c[4]*c[7]*c[12] +26*c[2]*c[4]*c[8]*c[11] +16*c[2]*c[4]*c[9]*c[10] -70*c[2]*c[5]*c[6]*c[12] +53*c[2]*c[5]*c[7]*c[11] +10*c[2]*c[5]*c[8]*c[10] +7*c[2]*c[5]*c[9]^2 -35*c[2]*c[6]^2*c[11] +14*c[2]*c[6]*c[7]*c[10] +2*c[2]*c[6]*c[8]*c[9] +12*c[2]*c[7]^2*c[9] +7*c[2]*c[7]*c[8]^2 -72*c[3]^2*c[6]*c[13] +52*c[3]^2*c[7]*c[12] +16*c[3]^2*c[8]*c[11] +4*c[3]^2*c[9]*c[10] -60*c[3]*c[4]*c[6]*c[12] +46*c[3]*c[4]*c[7]*c[11] +12*c[3]*c[4]*c[8]*c[10] +2*c[3]*c[4]*c[9]^2 -26*c[3]*c[5]*c[6]*c[11] +21*c[3]*c[5]*c[7]*c[10] +5*c[3]*c[5]*c[8]*c[9] -13*c[3]*c[6]^2*c[10] +7*c[3]*c[6]*c[7]*c[9] +c[3]*c[6]*c[8]^2 +5*c[3]*c[7]^2*c[8] -12*c[4]^2*c[6]*c[11] +10*c[4]^2*c[7]*c[10] +2*c[4]^2*c[8]*c[9] -10*c[4]*c[5]*c[6]*c[10] +9*c[4]*c[5]*c[7]*c[9] +c[4]*c[5]*c[8]^2 -5*c[4]*c[6]^2*c[9] +4*c[4]*c[6]*c[7]*c[8] +c[4]*c[7]^3 -2*c[5]^2*c[6]*c[9] +2*c[5]^2*c[7]*c[8] -2*c[5]*c[6]^2*c[8] +2*c[5]*c[6]*c[7]^2 -12960*c[1]*c[6]*c[18] +8688*c[1]*c[7]*c[17] +1648*c[1]*c[8]*c[16] +1312*c[1]*c[9]*c[15] +928*c[1]*c[10]*c[14] +368*c[1]*c[11]*c[13] +16*c[1]*c[12]^2 -5616*c[2]*c[6]*c[17] +3784*c[2]*c[7]*c[16] +760*c[2]*c[8]*c[15] +592*c[2]*c[9]*c[14] +304*c[2]*c[10]*c[13] +176*c[2]*c[11]*c[12] -2520*c[3]*c[6]*c[16] +1716*c[3]*c[7]*c[15] +364*c[3]*c[8]*c[14] +216*c[3]*c[9]*c[13] +140*c[3]*c[10]*c[12] +84*c[3]*c[11]^2 -1164*c[4]*c[6]*c[15] +810*c[4]*c[7]*c[14] +150*c[4]*c[8]*c[13] +94*c[4]*c[9]*c[12] +110*c[4]*c[10]*c[11] -550*c[5]*c[6]*c[14] +389*c[5]*c[7]*c[13] +60*c[5]*c[8]*c[12] +67*c[5]*c[9]*c[11] +34*c[5]*c[10]^2 -275*c[6]^2*c[13] +74*c[6]*c[7]*c[12] -19*c[6]*c[8]*c[11] +9*c[6]*c[9]*c[10] +90*c[7]^2*c[11] +73*c[7]*c[8]*c[10] +30*c[7]*c[9]^2 +18*c[8]^2*c[9] -15552*c[6]*c[19] +10400*c[7]*c[18] +1888*c[8]*c[17] +1472*c[9]*c[16] +1088*c[10]*c[15] +672*c[11]*c[14] +32*c[12]*c[13]

46592*s[[18,7]] +38784*s[[17,7,1]] +53888*s[[17,8]] +6432*s[[15,7,2,1]] +13920*s[[15,7,3]] +8832*s[[15,8,1,1]] +27936*s[[15,8,2]] +37248*s[[15,9,1]] +32640*s[[15,10]] +7744*s[[16,7,1,1]] +24512*s[[16,7,2]] +44608*s[[16,8,1]] +45824*s[[16,9]] +1280*s[[14,7,2,2]] +4048*s[[14,7,3,1]] +7472*s[[14,7,4]] +7232*s[[14,8,2,1]] +15632*s[[14,8,3]] +7168*s[[14,9,1,1]] +22720*s[[14,9,2]] +25408*s[[14,10,1]] +19200*s[[14,11]] +1056*s[[13,7,3,2]] +2280*s[[13,7,4,1]] +3864*s[[13,7,5]] +1408*s[[13,8,2,2]] +4448*s[[13,8,3,1]] +8200*s[[13,8,4]] +5632*s[[13,9,2,1]] +12256*s[[13,9,3]] +4544*s[[13,10,1,1]] +14624*s[[13,10,2]] +13568*s[[13,11,1]] +8064*s[[13,12]] +3264*s[[12,9,3,1]] +6128*s[[12,9,4]] +3232*s[[12,10,2,1]] +7312*s[[12,10,3]] +1984*s[[12,11,1,1]] +6784*s[[12,11,2]] +4032*s[[12,12,1]] +1204*s[[12,7,5,1]] +1932*s[[12,7,6]] +1120*s[[12,8,3,2]] +2416*s[[12,8,4,1]] +4100*s[[12,8,5]] +1024*s[[12,9,2,2]] +208*s[[12,7,3,3]] +656*s[[12,7,4,2]] +1632*s[[11,9,4,1]] +2812*s[[11,9,5]] +480*s[[11,10,2,2]] +1616*s[[11,10,3,1]] +3152*s[[11,10,4]] +992*s[[11,11,2,1]] +2384*s[[11,11,3]] +602*s[[11,7,6,1]] +903*s[[11,7,7]] +208*s[[11,8,3,3]] +656*s[[11,8,4,2]] +1208*s[[11,8,5,1]] +1924*s[[11,8,6]] +736*s[[11,9,3,2]] +542*s[[10,8,6,1]] +813*s[[10,8,7]] +112*s[[10,9,3,3]] +368*s[[10,9,4,2]] +692*s[[10,9,5,1]] +1108*s[[10,9,6]] +240*s[[10,10,3,2]] +560*s[[10,10,4,1]] +980*s[[10,10,5]] +168*s[[11,7,4,3]] +360*s[[11,7,5,2]] +32*s[[10,7,4,4]] +100*s[[10,7,5,3]] +180*s[[10,7,6,2]] +270*s[[10,7,7,1]] +152*s[[10,8,4,3]] +328*s[[10,8,5,2]] +75*s[[9,7,7,2]] +24*s[[9,8,4,4]] +76*s[[9,8,5,3]] +134*s[[9,8,6,2]] +201*s[[9,8,7,1]] +150*s[[9,8,8]] +56*s[[9,9,4,3]] +124*s[[9,9,5,2]] +206*s[[9,9,6,1]] +309*s[[9,9,7]] +24*s[[9,7,5,4]] +50*s[[9,7,6,3]] +3*s[[7,7,7,4]] +4*s[[8,7,5,5]] +12*s[[8,7,6,4]] +18*s[[8,7,7,3]] +12*s[[8,8,5,4]] +24*s[[8,8,6,3]] +36*s[[8,8,7,2]] +24*s[[8,8,8,1]] +2*s[[7,7,6,5]]

-7776*c[1]^2*c[6]*c[18] +10384*c[1]^2*c[7]*c[17] -2544*c[1]^2*c[8]*c[16] +32*c[1]^2*c[9]*c[15] -32*c[1]^2*c[10]*c[14] -48*c[1]^2*c[11]*c[13] -16*c[1]^2*c[12]^2 -6480*c[1]*c[2]*c[6]*c[17] +8664*c[1]*c[2]*c[7]*c[16] -2104*c[1]*c[2]*c[8]*c[15] +16*c[1]*c[2]*c[9]*c[14] -48*c[1]*c[2]*c[10]*c[13] -48*c[1]*c[2]*c[11]*c[12] -2808*c[1]*c[3]*c[6]*c[16] +3764*c[1]*c[3]*c[7]*c[15] -908*c[1]*c[3]*c[8]*c[14] -8*c[1]*c[3]*c[9]*c[13] -28*c[1]*c[3]*c[10]*c[12] -12*c[1]*c[3]*c[11]^2 -1260*c[1]*c[4]*c[6]*c[15] +1698*c[1]*c[4]*c[7]*c[14] -414*c[1]*c[4]*c[8]*c[13] -14*c[1]*c[4]*c[9]*c[12] -10*c[1]*c[4]*c[10]*c[11] -582*c[1]*c[5]*c[6]*c[14] +793*c[1]*c[5]*c[7]*c[13] -208*c[1]*c[5]*c[8]*c[12] -c[1]*c[5]*c[9]*c[11] -2*c[1]*c[5]*c[10]^2 -275*c[1]*c[6]^2*c[13] +250*c[1]*c[6]*c[7]*c[12] -177*c[1]*c[6]*c[8]*c[11] -41*c[1]*c[6]*c[9]*c[10] +180*c[1]*c[7]^2*c[11] +51*c[1]*c[7]*c[8]*c[10] +36*c[1]*c[7]*c[9]^2 -24*c[1]*c[8]^2*c[9] -1296*c[2]^2*c[6]*c[16] +1736*c[2]^2*c[7]*c[15] -416*c[2]^2*c[8]*c[14] -16*c[2]^2*c[10]*c[12] -8*c[2]^2*c[11]^2 -1080*c[2]*c[3]*c[6]*c[15] +1452*c[2]*c[3]*c[7]*c[14] -344*c[2]*c[3]*c[8]*c[13] -8*c[2]*c[3]*c[9]*c[12] -20*c[2]*c[3]*c[10]*c[11] -468*c[2]*c[4]*c[6]*c[14] +634*c[2]*c[4]*c[7]*c[13] -152*c[2]*c[4]*c[8]*c[12] -10*c[2]*c[4]*c[9]*c[11] -4*c[2]*c[4]*c[10]^2 -210*c[2]*c[5]*c[6]*c[13] +289*c[2]*c[5]*c[7]*c[12] -77*c[2]*c[5]*c[8]*c[11] -2*c[2]*c[5]*c[9]*c[10] -97*c[2]*c[6]^2*c[12] +91*c[2]*c[6]*c[7]*c[11] -66*c[2]*c[6]*c[8]*c[10] -9*c[2]*c[6]*c[9]^2 +64*c[2]*c[7]^2*c[10] +22*c[2]*c[7]*c[8]*c[9] -5*c[2]*c[8]^3 -216*c[3]^2*c[6]*c[14] +292*c[3]^2*c[7]*c[13] -68*c[3]^2*c[8]*c[12] -4*c[3]^2*c[9]*c[11] -4*c[3]^2*c[10]^2 -180*c[3]*c[4]*c[6]*c[13] +246*c[3]*c[4]*c[7]*c[12] -58*c[3]*c[4]*c[8]*c[11] -8*c[3]*c[4]*c[9]*c[10] -78*c[3]*c[5]*c[6]*c[12] +109*c[3]*c[5]*c[7]*c[11] -30*c[3]*c[5]*c[8]*c[10] -c[3]*c[5]*c[9]^2 -35*c[3]*c[6]^2*c[11] +34*c[3]*c[6]*c[7]*c[10] -26*c[3]*c[6]*c[8]*c[9] +24*c[3]*c[7]^2*c[9] +3*c[3]*c[7]*c[8]^2 -36*c[4]^2*c[6]*c[12] +50*c[4]^2*c[7]*c[11] -12*c[4]^2*c[8]*c[10] -2*c[4]^2*c[9]^2 -30*c[4]*c[5]*c[6]*c[11] +43*c[4]*c[5]*c[7]*c[10] -13*c[4]*c[5]*c[8]*c[9] -13*c[4]*c[6]^2*c[10] +13*c[4]*c[6]*c[7]*c[9] -9*c[4]*c[6]*c[8]^2 +9*c[4]*c[7]^2*c[8] -6*c[5]^2*c[6]*c[10] +9*c[5]^2*c[7]*c[9] -3*c[5]^2*c[8]^2 -5*c[5]*c[6]^2*c[9] +2*c[5]*c[6]*c[7]*c[8] +3*c[5]*c[7]^3 -2*c[6]^3*c[8] +2*c[6]^2*c[7]^2 -38880*c[1]*c[6]*c[19] +51888*c[1]*c[7]*c[18] -12800*c[1]*c[8]*c[17] +144*c[1]*c[9]*c[16] -64*c[1]*c[10]*c[15] -176*c[1]*c[11]*c[14] -112*c[1]*c[12]*c[13] -16848*c[2]*c[6]*c[18] +22504*c[2]*c[7]*c[17] -5520*c[2]*c[8]*c[16] +40*c[2]*c[9]*c[15] -64*c[2]*c[10]*c[14] -80*c[2]*c[11]*c[13] -32*c[2]*c[12]^2 -7560*c[3]*c[6]*c[17] +10116*c[3]*c[7]*c[16] -2472*c[3]*c[8]*c[15] -12*c[3]*c[9]*c[14] -36*c[3]*c[10]*c[13] -36*c[3]*c[11]*c[12] -3492*c[4]*c[6]*c[16] +4690*c[4]*c[7]*c[15] -1156*c[4]*c[8]*c[14] -24*c[4]*c[9]*c[13] -8*c[4]*c[10]*c[12] -10*c[4]*c[11]^2 -1650*c[5]*c[6]*c[15] +2233*c[5]*c[7]*c[14] -579*c[5]*c[8]*c[13] +c[5]*c[9]*c[12] -5*c[5]*c[10]*c[11] -793*c[6]^2*c[14] +703*c[6]*c[7]*c[13] -493*c[6]*c[8]*c[12] -105*c[6]*c[9]*c[11] -41*c[6]*c[10]^2 +520*c[7]^2*c[12] +134*c[7]*c[8]*c[11] +164*c[7]*c[9]*c[10] -65*c[8]^2*c[10] -24*c[8]*c[9]^2 -46656*c[6]*c[20] +62240*c[7]*c[19] -15424*c[8]*c[18] +160*c[9]*c[17] -160*c[11]*c[15] -128*c[12]*c[14] -32*c[13]^2

2*s[[7,7,6,6]] +5*s[[7,7,7,5]] +12*s[[8,7,6,5]] +24*s[[8,7,7,4]] +4*s[[8,8,5,5]] +12*s[[8,8,6,4]] +24*s[[8,8,7,3]] +16*s[[9,7,5,5]] +50*s[[9,7,6,4]] +89*s[[9,7,7,3]] +28*s[[9,8,5,4]] +62*s[[9,8,6,3]] +113*s[[9,8,7,2]] +8*s[[9,9,4,4]] +28*s[[9,9,5,3]] +62*s[[9,9,6,2]] +113*s[[9,9,7,1]] +84*s[[10,7,5,4]] +180*s[[10,7,6,3]] +300*s[[10,7,7,2]] +40*s[[10,8,4,4]] +128*s[[10,8,5,3]] +242*s[[10,8,6,2]] +413*s[[10,8,7,1]] +64*s[[10,9,4,3]] +156*s[[10,9,5,2]] +304*s[[10,9,6,1]] +526*s[[10,9,7]] +16*s[[10,10,3,3]] +64*s[[10,10,4,2]] +156*s[[10,10,5,1]] +304*s[[10,10,6]] +104*s[[11,7,4,4]] +328*s[[11,7,5,3]] +602*s[[11,7,6,2]] +965*s[[11,7,7,1]] +224*s[[11,8,4,3]] +488*s[[11,8,5,2]] +844*s[[11,8,6,1]] +1378*s[[11,8,7]] +96*s[[11,9,3,3]] +320*s[[11,9,4,2]] +644*s[[11,9,5,1]] +1148*s[[11,9,6]] +144*s[[11,10,3,2]] +384*s[[11,10,4,1]] +800*s[[11,10,5]] +32*s[[11,11,2,2]] +144*s[[11,11,3,1]] +384*s[[11,11,4]] +528*s[[12,7,4,3]] +1140*s[[12,7,5,2]] +1932*s[[12,7,6,1]] +3024*s[[12,7,7]] +288*s[[12,8,3,3]] +912*s[[12,8,4,2]] +1692*s[[12,8,5,1]] +2776*s[[12,8,6]] +576*s[[12,9,3,2]] +1296*s[[12,9,4,1]] +2336*s[[12,9,5]] +224*s[[12,10,2,2]] +784*s[[12,10,3,1]] +1680*s[[12,10,4]] +320*s[[12,11,2,1]] +928*s[[12,11,3]] +64*s[[12,12,1,1]] +320*s[[12,12,2]] +640*s[[13,7,3,3]] +2024*s[[13,7,4,2]] +3736*s[[13,7,5,1]] +6050*s[[13,7,6]] +1504*s[[13,8,3,2]] +3256*s[[13,8,4,1]] +5556*s[[13,8,5]] +768*s[[13,9,2,2]] +2464*s[[13,9,3,1]] +4680*s[[13,9,4]] +1440*s[[13,10,2,1]] +3376*s[[13,10,3]] +512*s[[13,11,1,1]] +1888*s[[13,11,2]] +704*s[[13,12,1]] +128*s[[13,13]] +3216*s[[14,7,3,2]] +6960*s[[14,7,4,1]] +11844*s[[14,7,5]] +1856*s[[14,8,2,2]] +5872*s[[14,8,3,1]] +10856*s[[14,8,4]] +4160*s[[14,9,2,1]] +9104*s[[14,9,3]] +1984*s[[14,10,1,1]] +6496*s[[14,10,2]] +3520*s[[14,11,1]] +1152*s[[14,12]] +3872*s[[15,7,2,2]] +12256*s[[15,7,3,1]] +22664*s[[15,7,4]] +9440*s[[15,8,2,1]] +20432*s[[15,8,3]] +5248*s[[15,9,1,1]] +16672*s[[15,9,2]] +11200*s[[15,10,1]] +4992*s[[15,11]] +19392*s[[16,7,2,1]] +42000*s[[16,7,3]] +11456*s[[16,8,1,1]] +36256*s[[16,8,2]] +27200*s[[16,9,1]] +14464*s[[16,10]] +23296*s[[17,7,1,1]] +73760*s[[17,7,2]] +57664*s[[17,8,1]] +33408*s[[17,9]] +116544*s[[18,7,1]] +69504*s[[18,8]] +139904*s[[19,7]]

-16*c[1]^2*c[7]*c[17] -56*c[1]^2*c[8]*c[16] -64*c[1]^2*c[9]*c[15] -16*c[1]^2*c[10]*c[14] -496*c[1]^2*c[11]*c[13] +648*c[1]^2*c[12]^2 -24*c[1]*c[2]*c[7]*c[16] -68*c[1]*c[2]*c[8]*c[15] -56*c[1]*c[2]*c[9]*c[14] -256*c[1]*c[2]*c[10]*c[13] +404*c[1]*c[2]*c[11]*c[12] -20*c[1]*c[3]*c[7]*c[15] -38*c[1]*c[3]*c[8]*c[14] -144*c[1]*c[3]*c[9]*c[13] +326*c[1]*c[3]*c[10]*c[12] -124*c[1]*c[3]*c[11]^2 -18*c[1]*c[4]*c[7]*c[14] -79*c[1]*c[4]*c[8]*c[13] +161*c[1]*c[4]*c[9]*c[12] -64*c[1]*c[4]*c[10]*c[11] -49*c[1]*c[5]*c[7]*c[13] +85*c[1]*c[5]*c[8]*c[12] -35*c[1]*c[5]*c[9]*c[11] -c[1]*c[5]*c[10]^2 -32*c[1]*c[6]^2*c[13] +64*c[1]*c[6]*c[7]*c[12] -16*c[1]*c[6]*c[8]*c[11] -9*c[1]*c[7]^2*c[11] -4*c[1]*c[7]*c[8]*c[10] -3*c[1]*c[7]*c[9]^2 -8*c[2]^2*c[7]*c[15] -20*c[2]^2*c[8]*c[14] -12*c[2]^2*c[9]*c[13] -124*c[2]^2*c[10]*c[12] +164*c[2]^2*c[11]^2 -12*c[2]*c[3]*c[7]*c[14] -22*c[2]*c[3]*c[8]*c[13] -70*c[2]*c[3]*c[9]*c[12] +104*c[2]*c[3]*c[10]*c[11] -10*c[2]*c[4]*c[7]*c[13] -41*c[2]*c[4]*c[8]*c[12] +82*c[2]*c[4]*c[9]*c[11] -31*c[2]*c[4]*c[10]^2 -25*c[2]*c[5]*c[7]*c[12] +42*c[2]*c[5]*c[8]*c[11] -17*c[2]*c[5]*c[9]*c[10] -16*c[2]*c[6]^2*c[12] +32*c[2]*c[6]*c[7]*c[11] -8*c[2]*c[6]*c[8]*c[10] -5*c[2]*c[7]^2*c[10] -3*c[2]*c[7]*c[8]*c[9] -4*c[3]^2*c[7]*c[13] -6*c[3]^2*c[8]*c[12] -32*c[3]^2*c[9]*c[11] +42*c[3]^2*c[10]^2 -6*c[3]*c[4]*c[7]*c[12] -21*c[3]*c[4]*c[8]*c[11] +27*c[3]*c[4]*c[9]*c[10] -13*c[3]*c[5]*c[7]*c[11] +21*c[3]*c[5]*c[8]*c[10] -8*c[3]*c[5]*c[9]^2 -8*c[3]*c[6]^2*c[11] +16*c[3]*c[6]*c[7]*c[10] -4*c[3]*c[6]*c[8]*c[9] -3*c[3]*c[7]^2*c[9] -c[3]*c[7]*c[8]^2 -2*c[4]^2*c[7]*c[11] -9*c[4]^2*c[8]*c[10] +11*c[4]^2*c[9]^2 -7*c[4]*c[5]*c[7]*c[10] +7*c[4]*c[5]*c[8]*c[9] -4*c[4]*c[6]^2*c[10] +8*c[4]*c[6]*c[7]*c[9] -2*c[4]*c[6]*c[8]^2 -2*c[4]*c[7]^2*c[8] -3*c[5]^2*c[7]*c[9] +3*c[5]^2*c[8]^2 -2*c[5]*c[6]^2*c[9] +3*c[5]*c[6]*c[7]*c[8] -c[5]*c[7]^3 -c[6]^3*c[8] +c[6]^2*c[7]^2 -48*c[1]*c[7]*c[18] -184*c[1]*c[8]*c[17] -248*c[1]*c[9]*c[16] -112*c[1]*c[10]*c[15] -992*c[1]*c[11]*c[14] +1584*c[1]*c[12]*c[13] -40*c[2]*c[7]*c[17] -116*c[2]*c[8]*c[16] -108*c[2]*c[9]*c[15] -536*c[2]*c[10]*c[14] +1300*c[2]*c[11]*c[13] -500*c[2]*c[12]^2 -36*c[3]*c[7]*c[16] -66*c[3]*c[8]*c[15] -286*c[3]*c[9]*c[14] +638*c[3]*c[10]*c[13] -250*c[3]*c[11]*c[12] -34*c[4]*c[7]*c[15] -153*c[4]*c[8]*c[14] +322*c[4]*c[9]*c[13] -135*c[4]*c[10]*c[12] -97*c[5]*c[7]*c[14] +172*c[5]*c[8]*c[13] -70*c[5]*c[9]*c[12] -5*c[5]*c[10]*c[11] -64*c[6]^2*c[14] +128*c[6]*c[7]*c[13] -32*c[6]*c[8]*c[12] -17*c[7]^2*c[12] -5*c[7]*c[8]*c[11] -10*c[7]*c[9]*c[10] -32*c[7]*c[19] -144*c[8]*c[18] -240*c[9]*c[17] -160*c[10]*c[16] -2000*c[12]*c[14] +2576*c[13]^2

s[[7,7,6,6]] +3*s[[8,7,6,5]] +6*s[[8,8,5,5]] +3*s[[8,8,6,4]] +2*s[[9,7,5,5]] +7*s[[9,7,6,4]] +20*s[[9,8,5,4]] +10*s[[9,8,6,3]] +28*s[[9,9,4,4]] +20*s[[9,9,5,3]] +10*s[[9,9,6,2]] +6*s[[10,7,5,4]] +15*s[[10,7,6,3]] +16*s[[10,8,4,4]] +50*s[[10,8,5,3]] +25*s[[10,8,6,2]] +100*s[[10,9,4,3]] +70*s[[10,9,5,2]] +35*s[[10,9,6,1]] +120*s[[10,10,3,3]] +100*s[[10,10,4,2]] +70*s[[10,10,5,1]] +35*s[[10,10,6]] +4*s[[11,7,4,4]] +14*s[[11,7,5,3]] +31*s[[11,7,6,2]] +52*s[[11,8,4,3]] +112*s[[11,8,5,2]] +56*s[[11,8,6,1]] +88*s[[11,9,3,3]] +264*s[[11,9,4,2]] +182*s[[11,9,5,1]] +91*s[[11,9,6]] +448*s[[11,10,3,2]] +364*s[[11,10,4,1]] +252*s[[11,10,5]] +496*s[[11,11,2,2]] +448*s[[11,11,3,1]] +364*s[[11,11,4]] +12*s[[12,7,4,3]] +30*s[[12,7,5,2]] +63*s[[12,7,6,1]] +40*s[[12,8,3,3]] +128*s[[12,8,4,2]] +238*s[[12,8,5,1]] +119*s[[12,8,6]] +304*s[[12,9,3,2]] +616*s[[12,9,4,1]] +420*s[[12,9,5]] +416*s[[12,10,2,2]] +1232*s[[12,10,3,1]] +980*s[[12,10,4]] +1904*s[[12,11,2,1]] +1680*s[[12,11,3]] +2016*s[[12,12,1,1]] +1904*s[[12,12,2]] +8*s[[13,7,3,3]] +28*s[[13,7,4,2]] +62*s[[13,7,5,1]] +127*s[[13,7,6]] +128*s[[13,8,3,2]] +284*s[[13,8,4,1]] +492*s[[13,8,5]] +256*s[[13,9,2,2]] +784*s[[13,9,3,1]] +1348*s[[13,9,4]] +1504*s[[13,10,2,1]] +2976*s[[13,10,3]] +1824*s[[13,11,1,1]] +5392*s[[13,11,2]] +7872*s[[13,12,1]] +8128*s[[13,13]] +24*s[[14,7,3,2]] +60*s[[14,7,4,1]] +126*s[[14,7,5]] +96*s[[14,8,2,2]] +312*s[[14,8,3,1]] +600*s[[14,8,4]] +864*s[[14,9,2,1]] +1800*s[[14,9,3]] +1344*s[[14,10,1,1]] +4032*s[[14,10,2]] +6816*s[[14,11,1]] +7680*s[[14,12]] +16*s[[15,7,2,2]] +56*s[[15,7,3,1]] +124*s[[15,7,4]] +304*s[[15,8,2,1]] +688*s[[15,8,3]] +704*s[[15,9,1,1]] +2192*s[[15,9,2]] +4736*s[[15,10,1]] +6336*s[[15,11]] +48*s[[16,7,2,1]] +120*s[[16,7,3]] +224*s[[16,8,1,1]] +736*s[[16,8,2]] +2336*s[[16,9,1]] +4096*s[[16,10]] +32*s[[17,7,1,1]] +112*s[[17,7,2]] +704*s[[17,8,1]] +1856*s[[17,9]] +96*s[[18,7,1]] +512*s[[18,8]] +64*s[[19,7]]