a := 12*sp[5,3,1,1,1]+6*sp[5,2,2,2]+16*sp[5,2,2,1,1]+8*sp[5,2,1,1,1,1]+3*sp[5,
1,1,1,1,1,1]+3*sp[4,4,3]+12*sp[4,4,2,1]+9*sp[4,4,1,1,1]+11*sp[4,3,3,1]+12*sp[4
,3,2,2]+21*sp[4,3,2,1,1]+10*sp[4,3,1,1,1,1]+10*sp[4,2,2,2,1]+11*sp[4,2,2,1,1,1
]+5*sp[4,2,1,1,1,1,1]+sp[4,1,1,1,1,1,1,1]+5*sp[3,3,3,2]+4*sp[3,3,3,1,1]+10*sp[
3,3,2,2,1]+9*sp[3,3,2,1,1,1]+5*sp[3,3,1,1,1,1,1]+2*sp[3,2,2,2,2]+7*sp[3,2,2,2,
1,1]+4*sp[3,2,2,1,1,1,1]+2*sp[3,2,1,1,1,1,1,1]+sp[2,2,2,2,2,1]+2*sp[2,2,2,2,1,
1,1]+sp[2,2,2,1,1,1,1,1]+31*sp[3]+68*sp[2,1]+38*sp[1,1,1]+19*sp[5]+79*sp[4,1]+
98*sp[3,2]+120*sp[3,1,1]+98*sp[2,2,1]+79*sp[2,1,1,1]+19*sp[1,1,1,1,1]+2*sp[7]+
sp[9,1,1]+sp[8,3]+2*sp[8,2,1]+sp[8,1,1,1]+sp[7,4]+6*sp[7,3,1]+2*sp[7,2,2]+6*sp
[7,2,1,1]+sp[7,1,1,1,1]+sp[6,5]+6*sp[6,4,1]+9*sp[6,3,2]+11*sp[6,3,1,1]+10*sp[6
,2,2,1]+9*sp[6,2,1,1,1]+2*sp[6,1,1,1,1,1]+4*sp[5,5,1]+8*sp[5,4,2]+11*sp[5,4,1,
1]+8*sp[5,3,3]+21*sp[5,3,2,1]+3*sp[8,1]+9*sp[7,2]+9*sp[7,1,1]+16*sp[6,3]+35*sp
[6,2,1]+19*sp[6,1,1,1]+14*sp[5,4]+54*sp[5,3,1]+40*sp[5,2,2]+63*sp[5,2,1,1]+23*
sp[5,1,1,1,1]+28*sp[4,4,1]+56*sp[4,3,2]+72*sp[4,3,1,1]+72*sp[4,2,2,1]+63*sp[4,
2,1,1,1]+19*sp[4,1,1,1,1,1]+14*sp[3,3,3]+56*sp[3,3,2,1]+40*sp[3,3,1,1,1]+28*sp
[3,2,2,2]+54*sp[3,2,2,1,1]+35*sp[3,2,1,1,1,1]+9*sp[3,1,1,1,1,1,1]+14*sp[2,2,2,
2,1]+16*sp[2,2,2,1,1,1]+9*sp[2,2,1,1,1,1,1]+3*sp[2,1,1,1,1,1,1,1]+24*sp[6,1]+
54*sp[5,2]+66*sp[5,1,1]+56*sp[4,3]+142*sp[4,2,1]+82*sp[4,1,1,1]+90*sp[3,3,1]+
81*sp[3,2,2]+145*sp[3,2,1,1]+57*sp[3,1,1,1,1]+56*sp[2,2,2,1]+60*sp[2,2,1,1,1]+
24*sp[2,1,1,1,1,1]+5*sp[1,1,1,1,1,1,1]+sp[2,2,1,1,1,1,1,1,1]+13*sp[1];