a := 63*sp[7]+2*sp[2,2,2,2,1,1,1,1,1]+sp[2,2,2,1,1,1,1,1,1,1]+243*sp[5]+1012*
sp[4,1]+1257*sp[3,2]+1541*sp[3,1,1]+1260*sp[2,2,1]+136*sp[1]+376*sp[3]+757*sp[
2,1]+385*sp[1,1,1]+20*sp[3,2,2,2,2,1,1]+16*sp[3,2,2,2,1,1,1,1]+10*sp[3,2,2,1,1
,1,1,1,1]+3*sp[3,2,1,1,1,1,1,1,1,1]+sp[3,1,1,1,1,1,1,1,1,1,1]+2*sp[2,2,2,2,2,2
,1]+4*sp[2,2,2,2,2,1,1,1]+10*sp[4,2,1,1,1,1,1,1,1]+sp[4,1,1,1,1,1,1,1,1,1]+14*
sp[3,3,3,3,1]+26*sp[3,3,3,2,2]+40*sp[3,3,3,2,1,1]+26*sp[3,3,3,1,1,1,1]+33*sp[3
,3,2,2,2,1]+36*sp[3,3,2,2,1,1,1]+22*sp[3,3,2,1,1,1,1,1]+4*sp[3,3,1,1,1,1,1,1,1
]+7*sp[3,2,2,2,2,2]+21*sp[4,3,3,3]+97*sp[4,3,3,2,1]+73*sp[4,3,3,1,1,1]+54*sp[4
,3,2,2,2]+110*sp[4,3,2,2,1,1]+78*sp[4,3,2,1,1,1,1]+23*sp[4,3,1,1,1,1,1,1]+37*
sp[4,2,2,2,2,1]+45*sp[4,2,2,2,1,1,1]+27*sp[4,2,2,1,1,1,1,1]+68*sp[5,2,2,2,1,1]
+46*sp[5,2,2,1,1,1,1]+20*sp[5,2,1,1,1,1,1,1]+2*sp[5,1,1,1,1,1,1,1,1]+21*sp[4,4
,4,1]+54*sp[4,4,3,2]+78*sp[4,4,3,1,1]+80*sp[4,4,2,2,1]+77*sp[4,4,2,1,1,1]+22*
sp[4,4,1,1,1,1,1]+14*sp[5,4,4]+97*sp[5,4,3,1]+80*sp[5,4,2,2]+140*sp[5,4,2,1,1]
+57*sp[5,4,1,1,1,1]+78*sp[5,3,3,2]+96*sp[5,3,3,1,1]+140*sp[5,3,2,2,1]+132*sp[5
,3,2,1,1,1]+51*sp[5,3,1,1,1,1,1]+29*sp[5,2,2,2,2]+77*sp[6,3,2,2]+132*sp[6,3,2,
1,1]+60*sp[6,3,1,1,1,1]+57*sp[6,2,2,2,1]+60*sp[6,2,2,1,1,1]+27*sp[6,2,1,1,1,1,
1]+5*sp[6,1,1,1,1,1,1,1]+26*sp[5,5,3]+54*sp[5,5,2,1]+29*sp[5,5,1,1,1]+51*sp[7,
2,2,1,1]+27*sp[7,2,1,1,1,1]+7*sp[7,1,1,1,1,1,1]+7*sp[6,6,1]+33*sp[6,5,2]+37*sp
[6,5,1,1]+40*sp[6,4,3]+110*sp[6,4,2,1]+68*sp[6,4,1,1,1]+73*sp[6,3,3,1]+23*sp[8
,2,2,1]+20*sp[8,2,1,1,1]+5*sp[8,1,1,1,1,1]+2*sp[7,6]+20*sp[7,5,1]+36*sp[7,4,2]
+45*sp[7,4,1,1]+26*sp[7,3,3]+78*sp[7,3,2,1]+46*sp[7,3,1,1,1]+22*sp[7,2,2,2]+sp
[10,1,1,1]+2*sp[9,4]+10*sp[9,3,1]+4*sp[9,2,2]+10*sp[9,2,1,1]+2*sp[9,1,1,1,1]+4
*sp[8,5]+16*sp[8,4,1]+22*sp[8,3,2]+27*sp[8,3,1,1]+sp[11,1,1]+sp[10,3]+3*sp[10,
2,1]+1018*sp[2,1,1,1]+246*sp[1,1,1,1,1]+4*sp[10,1]+16*sp[9,2]+16*sp[9,1,1]+40*
sp[8,3]+84*sp[8,2,1]+193*sp[2,2,1,1,1,1,1]+59*sp[2,1,1,1,1,1,1,1]+6*sp[1,1,1,1
,1,1,1,1,1]+1391*sp[4,2,1,1,1]+409*sp[4,1,1,1,1,1]+321*sp[3,3,3]+1232*sp[3,3,2
,1]+866*sp[3,3,1,1,1]+608*sp[3,2,2,2]+1200*sp[3,2,2,1,1]+767*sp[3,2,1,1,1,1]+
213*sp[3,1,1,1,1,1,1]+304*sp[2,2,2,2,1]+354*sp[2,2,2,1,1,1]+413*sp[6,1,1,1]+
303*sp[5,4]+1200*sp[5,3,1]+863*sp[5,2,2]+1393*sp[5,2,1,1]+501*sp[5,1,1,1,1]+
609*sp[4,4,1]+1231*sp[4,3,2]+1586*sp[4,3,1,1]+1582*sp[4,2,2,1]+5*sp[9]+58*sp[8
,1]+191*sp[7,2]+214*sp[7,1,1]+351*sp[6,3]+768*sp[6,2,1]+913*sp[2,2,1,1,1]+390*
sp[2,1,1,1,1,1]+65*sp[1,1,1,1,1,1,1]+909*sp[5,2]+978*sp[5,1,1]+908*sp[4,3]+
2275*sp[4,2,1]+1298*sp[4,1,1,1]+1368*sp[3,3,1]+1362*sp[3,2,2]+2277*sp[3,2,1,1]
+972*sp[3,1,1,1,1]+908*sp[2,2,2,1]+390*sp[6,1]+16*sp[3,1,1,1,1,1,1,1,1]+48*sp[
2,2,2,2,2,1]+60*sp[2,2,2,2,1,1,1]+40*sp[2,2,2,1,1,1,1,1]+16*sp[2,2,1,1,1,1,1,1
,1]+4*sp[2,1,1,1,1,1,1,1,1,1]+44*sp[4,1,1,1,1,1,1,1]+168*sp[3,3,3,2]+240*sp[3,
3,3,1,1]+360*sp[3,3,2,2,1]+360*sp[3,3,2,1,1,1]+140*sp[3,3,1,1,1,1,1]+120*sp[3,
2,2,2,2]+252*sp[3,2,2,2,1,1]+200*sp[3,2,2,1,1,1,1]+84*sp[3,2,1,1,1,1,1,1]+168*
sp[4,4,3]+480*sp[4,4,2,1]+300*sp[4,4,1,1,1]+432*sp[4,3,3,1]+480*sp[4,3,2,2]+
840*sp[4,3,2,1,1]+400*sp[4,3,1,1,1,1]+420*sp[4,2,2,2,1]+448*sp[4,2,2,1,1,1]+
216*sp[4,2,1,1,1,1,1]+92*sp[6,1,1,1,1,1]+120*sp[5,5,1]+360*sp[5,4,2]+420*sp[5,
4,1,1]+240*sp[5,3,3]+840*sp[5,3,2,1]+560*sp[5,3,1,1,1]+300*sp[5,2,2,2]+560*sp[
5,2,2,1,1]+336*sp[5,2,1,1,1,1]+76*sp[5,1,1,1,1,1,1]+200*sp[7,3,1]+140*sp[7,2,2
]+216*sp[7,2,1,1]+76*sp[7,1,1,1,1]+48*sp[6,5]+252*sp[6,4,1]+360*sp[6,3,2]+448*
sp[6,3,1,1]+400*sp[6,2,2,1]+336*sp[6,2,1,1,1]+44*sp[8,1,1,1]+60*sp[7,4];