a := 82*sp[5,3,1,1,1,1,1,1]+114*sp[5,2,2,2,2,1]+137*sp[5,2,2,2,1,1,1]+80*sp[5,
2,2,1,1,1,1,1]+27*sp[5,2,1,1,1,1,1,1,1]+3*sp[5,1,1,1,1,1,1,1,1,1]+76*sp[4,4,4,
2]+75*sp[4,4,4,1,1]+56*sp[4,4,3,3]+264*sp[4,4,3,2,1]+200*sp[4,4,3,1,1,1]+133*
sp[4,4,2,2,2]+216*sp[4,4,2,2,1,1]+160*sp[4,4,2,1,1,1,1]+36*sp[4,4,1,1,1,1,1,1]
+118*sp[4,3,3,3,1]+141*sp[4,3,3,2,2]+280*sp[4,3,3,2,1,1]+113*sp[7,3,1,1,1,1]+
112*sp[7,2,2,2,1]+118*sp[7,2,2,1,1,1]+52*sp[7,2,1,1,1,1,1]+11*sp[7,1,1,1,1,1,1
,1]+43*sp[6,6,2]+31*sp[6,6,1,1]+80*sp[6,5,3]+201*sp[6,5,2,1]+117*sp[6,5,1,1,1]
+57*sp[6,4,4]+270*sp[6,4,3,1]+246*sp[6,4,2,2]+373*sp[6,4,2,1,1]+165*sp[6,4,1,1
,1,1]+185*sp[6,3,3,2]+272*sp[6,3,3,1,1]+345*sp[6,3,2,2,1]+329*sp[6,3,2,1,1,1]+
113*sp[6,3,1,1,1,1,1]+86*sp[6,2,2,2,2]+150*sp[6,2,2,2,1,1]+123*sp[6,2,2,1,1,1,
1]+42*sp[6,2,1,1,1,1,1,1]+8*sp[6,1,1,1,1,1,1,1,1]+28*sp[5,5,4]+156*sp[5,5,3,1]
+103*sp[5,5,2,2]+200*sp[5,5,2,1,1]+68*sp[5,5,1,1,1,1]+113*sp[5,4,4,1]+264*sp[5
,4,3,2]+352*sp[5,4,3,1,1]+377*sp[5,4,2,2,1]+348*sp[5,4,2,1,1,1]+112*sp[5,4,1,1
,1,1,1]+90*sp[5,3,3,3]+352*sp[5,3,3,2,1]+256*sp[5,3,3,1,1,1]+185*sp[5,3,2,2,2]
+391*sp[5,3,2,2,1,1]+260*sp[5,3,2,1,1,1,1]+sp[12,2]+sp[11,3]+3*sp[11,2,1]+2*sp
[11,1,1,1]+5*sp[10,4]+10*sp[10,3,1]+10*sp[10,2,2]+10*sp[10,2,1,1]+5*sp[10,1,1,
1,1]+4*sp[9,5]+24*sp[9,4,1]+30*sp[9,3,2]+41*sp[9,3,1,1]+32*sp[9,2,2,1]+27*sp[9
,2,1,1,1]+6*sp[9,1,1,1,1,1]+8*sp[8,6]+32*sp[8,5,1]+72*sp[8,4,2]+70*sp[8,4,1,1]
+34*sp[8,3,3]+128*sp[8,3,2,1]+85*sp[8,3,1,1,1]+48*sp[8,2,2,2]+72*sp[8,2,2,1,1]
+47*sp[8,2,1,1,1,1]+8*sp[8,1,1,1,1,1,1]+25*sp[7,6,1]+72*sp[7,5,2]+91*sp[7,5,1,
1]+88*sp[7,4,3]+230*sp[7,4,2,1]+137*sp[7,4,1,1,1]+153*sp[7,3,3,1]+148*sp[7,3,2
,2]+265*sp[7,3,2,1,1]+12*sp[10]+81*sp[9,1]+342*sp[8,2]+324*sp[8,1,1]+684*sp[7,
3]+1494*sp[7,2,1]+795*sp[7,1,1,1]+870*sp[6,4]+2925*sp[6,3,1]+2145*sp[6,2,2]+
3237*sp[6,2,1,1]+1194*sp[6,1,1,1,1]+363*sp[5,5]+2688*sp[5,4,1]+4170*sp[5,3,2]+
5337*sp[5,3,1,1]+4884*sp[5,2,2,1]+4182*sp[5,2,1,1,1]+1158*sp[5,1,1,1,1,1]+2412
*sp[4,4,2]+2739*sp[4,4,1,1]+1929*sp[4,3,3]+7170*sp[4,3,2,1]+4914*sp[4,3,1,1,1]
+2859*sp[4,2,2,2]+5247*sp[4,2,2,1,1]+3297*sp[4,2,1,1,1,1]+771*sp[4,1,1,1,1,1,1
]+1989*sp[3,3,3,1]+2292*sp[3,3,2,2]+4230*sp[3,3,2,1,1]+2055*sp[3,3,1,1,1,1]+
2688*sp[3,2,2,2,1]+2955*sp[3,2,2,1,1,1]+3002*sp[5,3]+6792*sp[5,2,1]+3685*sp[5,
1,1,1]+1454*sp[4,4]+7432*sp[4,3,1]+5916*sp[4,2,2]+9582*sp[4,2,1,1]+3709*sp[4,1
,1,1,1]+4490*sp[3,3,2]+5884*sp[3,3,1,1]+7448*sp[3,2,2,1]+6792*sp[3,2,1,1,1]+
2257*sp[3,1,1,1,1,1]+1454*sp[2,2,2,2]+2986*sp[2,2,2,1,1]+2094*sp[2,2,1,1,1,1]+
745*sp[2,1,1,1,1,1,1]+97*sp[1,1,1,1,1,1,1,1]+596*sp[6]+2801*sp[5,1]+5181*sp[4,
2]+5596*sp[4,1,1]+2743*sp[3,3]+9052*sp[3,2,1]+5713*sp[3,1,1,1]+2918*sp[2,2,2]+
5006*sp[2,2,1,1]+2859*sp[2,1,1,1,1]+538*sp[1,1,1,1,1,1]+105*sp[8]+753*sp[7,1]+
2110*sp[6,2]+2233*sp[6,1,1]+1117*sp[4,3,3,2]+648*sp[7,2,1,1,1]+178*sp[7,1,1,1,
1,1]+45*sp[6,6]+433*sp[6,5,1]+997*sp[6,4,2]+1163*sp[6,4,1,1]+620*sp[6,3,3]+
2112*sp[6,3,2,1]+1387*sp[6,3,1,1,1]+716*sp[6,2,2,2]+1338*sp[6,2,2,1,1]+783*sp[
6,2,1,1,1,1]+173*sp[6,1,1,1,1,1,1]+503*sp[5,5,2]+544*sp[5,5,1,1]+792*sp[5,4,3]
+2168*sp[5,4,2,1]+1320*sp[5,4,1,1,1]+1548*sp[5,3,3,1]+1684*sp[5,3,2,2]+2883*sp
[5,3,2,1,1]+1350*sp[5,3,1,1,1,1]+1320*sp[5,2,2,2,1]+1379*sp[5,2,2,1,1,1]+648*
sp[5,2,1,1,1,1,1]+119*sp[5,1,1,1,1,1,1,1]+169*sp[4,4,4]+1123*sp[4,4,3,1]+973*
sp[4,4,2,2]+1676*sp[4,4,2,1,1]+709*sp[4,4,1,1,1,1]+5*sp[11,1]+20*sp[10,2]+20*
sp[10,1,1]+60*sp[9,3]+120*sp[9,2,1]+60*sp[9,1,1,1]+101*sp[8,4]+334*sp[8,3,1]+
230*sp[8,2,2]+356*sp[8,2,1,1]+124*sp[8,1,1,1,1]+116*sp[7,5]+528*sp[7,4,1]+726*
sp[7,3,2]+882*sp[7,3,1,1]+784*sp[7,2,2,1]+46*sp[4,2,2,2,2,2]+79*sp[4,2,2,2,2,1
,1]+80*sp[4,2,2,2,1,1,1,1]+36*sp[4,2,2,1,1,1,1,1,1]+13*sp[4,2,1,1,1,1,1,1,1,1]
+sp[4,1,1,1,1,1,1,1,1,1,1]+38*sp[3,3,3,3,2]+42*sp[3,3,3,3,1,1]+85*sp[3,3,3,2,2
,1]+88*sp[3,3,3,2,1,1,1]+43*sp[3,3,3,1,1,1,1,1]+28*sp[3,3,2,2,2,2]+82*sp[3,3,2
,2,2,1,1]+60*sp[3,3,2,2,1,1,1,1]+33*sp[3,3,2,1,1,1,1,1,1]+5*sp[3,3,1,1,1,1,1,1
,1,1]+25*sp[3,2,2,2,2,2,1]+34*sp[3,2,2,2,2,1,1,1]+24*sp[3,2,2,2,1,1,1,1,1]+12*
sp[3,2,2,1,1,1,1,1,1,1]+3*sp[3,2,1,1,1,1,1,1,1,1,1]+sp[3,1,1,1,1,1,1,1,1,1,1,1
]+5*sp[2,2,2,2,2,2,2]+3*sp[2,2,2,2,2,2,1,1]+7*sp[2,2,2,2,2,1,1,1,1]+2*sp[2,2,2
,2,1,1,1,1,1,1]+2*sp[2,2,2,1,1,1,1,1,1,1,1]+1494*sp[3,2,1,1,1,1,1]+348*sp[3,1,
1,1,1,1,1,1]+423*sp[2,2,2,2,2]+810*sp[2,2,2,2,1,1]+714*sp[2,2,2,1,1,1,1]+312*
sp[2,2,1,1,1,1,1,1]+87*sp[2,1,1,1,1,1,1,1,1]+6*sp[1,1,1,1,1,1,1,1,1,1]+144*sp[
4,3,3,1,1,1,1]+201*sp[4,3,2,2,2,1]+232*sp[4,3,2,2,1,1,1]+128*sp[4,3,2,1,1,1,1,
1]+34*sp[4,3,1,1,1,1,1,1,1]+1558*sp[4,3,3,1,1]+2166*sp[4,3,2,2,1]+2112*sp[4,3,
2,1,1,1]+779*sp[4,3,1,1,1,1,1]+551*sp[4,2,2,2,2]+1163*sp[4,2,2,2,1,1]+890*sp[4
,2,2,1,1,1,1]+359*sp[4,2,1,1,1,1,1,1]+62*sp[4,1,1,1,1,1,1,1,1]+165*sp[3,3,3,3]
+792*sp[3,3,3,2,1]+630*sp[3,3,3,1,1,1]+503*sp[3,3,2,2,2]+989*sp[3,3,2,2,1,1]+
724*sp[3,3,2,1,1,1,1]+222*sp[3,3,1,1,1,1,1,1]+436*sp[3,2,2,2,2,1]+528*sp[3,2,2
,2,1,1,1]+338*sp[3,2,2,1,1,1,1,1]+120*sp[3,2,1,1,1,1,1,1,1]+23*sp[3,1,1,1,1,1,
1,1,1,1]+45*sp[2,2,2,2,2,2]+113*sp[2,2,2,2,2,1,1]+99*sp[2,2,2,2,1,1,1,1]+58*sp
[2,2,2,1,1,1,1,1,1]+18*sp[2,2,1,1,1,1,1,1,1,1]+4*sp[2,1,1,1,1,1,1,1,1,1,1]+94*
sp[]+1055*sp[2]+944*sp[1,1]+1278*sp[4]+3933*sp[3,1]+2545*sp[2,2]+3913*sp[2,1,1
]+1260*sp[1,1,1,1];