a := 8*sp[6,5,1]+24*sp[6,4,2]+20*sp[6,4,1,1]+11*sp[6,3,3]+42*sp[6,3,2,1]+30*sp
[6,3,1,1,1]+19*sp[6,2,2,2]+24*sp[6,2,2,1,1]+17*sp[6,2,1,1,1,1]+3*sp[6,1,1,1,1,
1,1]+7*sp[5,5,2]+15*sp[5,5,1,1]+15*sp[5,4,3]+44*sp[5,4,2,1]+26*sp[5,4,1,1,1]+
34*sp[5,3,3,1]+30*sp[5,3,2,2]+60*sp[5,3,2,1,1]+24*sp[5,3,1,1,1,1]+26*sp[5,2,2,
2,1]+30*sp[5,2,2,1,1,1]+sp[10,2]+sp[9,3]+2*sp[9,2,1]+2*sp[9,1,1,1]+3*sp[8,4]+6
*sp[8,3,1]+7*sp[8,2,2]+6*sp[8,2,1,1]+3*sp[8,1,1,1,1]+sp[7,5]+11*sp[7,4,1]+13*
sp[7,3,2]+20*sp[7,3,1,1]+15*sp[7,2,2,1]+13*sp[7,2,1,1,1]+3*sp[7,1,1,1,1,1]+3*
sp[6,6]+8*sp[1,1,1,1,1,1,1,1]+8*sp[8]+37*sp[7,1]+121*sp[6,2]+110*sp[6,1,1]+147
*sp[5,3]+357*sp[5,2,1]+203*sp[5,1,1,1]+93*sp[4,4]+386*sp[4,3,1]+332*sp[4,2,2]+
488*sp[4,2,1,1]+203*sp[4,1,1,1,1]+220*sp[3,3,2]+332*sp[3,3,1,1]+386*sp[3,2,2,1
]+357*sp[3,2,1,1,1]+110*sp[3,1,1,1,1,1]+93*sp[2,2,2,2]+147*sp[2,2,2,1,1]+121*
sp[2,2,1,1,1,1]+37*sp[2,1,1,1,1,1,1]+201*sp[3,3]+595*sp[3,2,1]+363*sp[3,1,1,1]
+181*sp[2,2,2]+348*sp[2,2,1,1]+184*sp[2,1,1,1,1]+44*sp[1,1,1,1,1,1]+83*sp[2]+
98*sp[1,1]+115*sp[4]+291*sp[3,1]+230*sp[2,2]+289*sp[2,1,1]+114*sp[1,1,1,1]+38*
sp[6]+191*sp[5,1]+329*sp[4,2]+377*sp[4,1,1]+20*sp[]+13*sp[3,3,2,1,1,1,1]+7*sp[
3,3,1,1,1,1,1,1]+8*sp[3,2,2,2,2,1]+11*sp[3,2,2,2,1,1,1]+6*sp[3,2,2,1,1,1,1,1]+
2*sp[3,2,1,1,1,1,1,1,1]+3*sp[2,2,2,2,2,2]+sp[2,2,2,2,2,1,1]+3*sp[2,2,2,2,1,1,1
,1]+sp[2,2,2,1,1,1,1,1,1]+sp[2,2,1,1,1,1,1,1,1,1]+13*sp[5,2,1,1,1,1,1]+3*sp[5,
1,1,1,1,1,1,1]+7*sp[4,4,4]+20*sp[4,4,3,1]+26*sp[4,4,2,2]+30*sp[4,4,2,1,1]+19*
sp[4,4,1,1,1,1]+20*sp[4,3,3,2]+34*sp[4,3,3,1,1]+44*sp[4,3,2,2,1]+42*sp[4,3,2,1
,1,1]+15*sp[4,3,1,1,1,1,1]+15*sp[4,2,2,2,2]+20*sp[4,2,2,2,1,1]+20*sp[4,2,2,1,1
,1,1]+6*sp[4,2,1,1,1,1,1,1]+2*sp[4,1,1,1,1,1,1,1,1]+7*sp[3,3,3,3]+15*sp[3,3,3,
2,1]+11*sp[3,3,3,1,1,1]+7*sp[3,3,2,2,2]+24*sp[3,3,2,2,1,1]+56*sp[3,2,1,1,1,1,1
]+11*sp[3,1,1,1,1,1,1,1]+13*sp[2,2,2,2,2]+34*sp[2,2,2,2,1,1]+26*sp[2,2,2,1,1,1
,1]+14*sp[2,2,1,1,1,1,1,1]+3*sp[2,1,1,1,1,1,1,1,1]+sp[1,1,1,1,1,1,1,1,1,1]+101
*sp[5,4,1]+160*sp[5,3,2]+193*sp[5,3,1,1]+186*sp[5,2,2,1]+157*sp[5,2,1,1,1]+47*
sp[5,1,1,1,1,1]+85*sp[4,4,2]+110*sp[4,4,1,1]+74*sp[4,3,3]+269*sp[4,3,2,1]+184*
sp[4,3,1,1,1]+102*sp[4,2,2,2]+199*sp[4,2,2,1,1]+120*sp[4,2,1,1,1,1]+29*sp[4,1,
1,1,1,1,1]+70*sp[3,3,3,1]+93*sp[3,3,2,2]+156*sp[3,3,2,1,1]+84*sp[3,3,1,1,1,1]+
101*sp[3,2,2,2,1]+108*sp[3,2,2,1,1,1]+4*sp[9,1]+12*sp[8,2]+12*sp[8,1,1]+28*sp[
7,3]+56*sp[7,2,1]+28*sp[7,1,1,1]+30*sp[6,4]+110*sp[6,3,1]+78*sp[6,2,2]+124*sp[
6,2,1,1]+44*sp[6,1,1,1,1]+17*sp[5,5];