a := 2*sp[1]+sp[2,1]+3*sp[2,2,1]+sp[3,3,1]+4*sp[2,1,1,1]+2*sp[3,2,1,1]+5*sp[2, 2,2,1]+2*sp[3,3,2,1]+3*sp[3,2,2,2]+sp[4,3,2,2]+2*sp[3,3,3,2]+5*sp[1,1,1]+sp[4, 3,2,1,1,1,1]+sp[3,3,3,1,1,1,1]+6*sp[2,2,2,2,1,1,1]+sp[4,2,2,2,1,1,1]+4*sp[3,3, 2,2,1,1,1]+sp[4,4,2,2,1,1,1]+sp[4,3,3,2,1,1,1]+sp[3,3,3,3,1,1,1]+2*sp[3,2,2,2, 2,1,1]+sp[4,3,2,2,2,1,1]+2*sp[2,2,2,2,2,2,1]+sp[3,3,2,2,2,2,1]+5*sp[2,1,1,1,1, 1,1,1]+3*sp[3,2,1,1,1,1,1,1]+sp[4,4,1,1,1]+3*sp[3,2,2,1,1]+sp[4,3,2,1,1]+4*sp[ 2,2,2,2,1]+sp[4,2,2,2,1]+4*sp[3,3,2,2,1]+sp[4,4,2,2,1]+sp[4,3,3,2,1]+sp[3,3,3, 3,1]+sp[4,4,3,3,1]+sp[4,3,2,2,2]+3*sp[2,2,2,1,1,1,1,1,1,1]+sp[4,3,1,1,1,1,1,1] +6*sp[2,2,2,1,1,1,1,1]+3*sp[3,3,2,1,1,1,1,1]+sp[4,4,2,1,1,1,1,1]+3*sp[3,2,2,2, 1,1,1,1]+sp[4,3,2,2,1,1,1,1]+sp[3,3,3,2,1,1,1,1]+2*sp[2,2,2,2,2,1,1,1]+sp[3,3, 2,2,2,1,1,1]+sp[3,2,2,2,2,2,1,1]+5*sp[1,1,1,1,1,1,1,1,1]+6*sp[2,2,1,1,1,1,1,1, 1]+2*sp[3,3,1,1,1,1,1,1,1]+sp[4,4,1,1,1,1,1,1,1]+2*sp[3,2,2,1,1,1,1,1,1]+3*sp[ 2,2,2,2,1,1,1,1,1]+2*sp[3,3,2,2,1,1,1,1,1]+sp[2,2,2,2,2,2,1,1,1]+3*sp[2,1,1,1, 1,1,1,1,1,1]+sp[3,2,1,1,1,1,1,1,1,1]+sp[5,3,3,2,2]+6*sp[2,1,1,1,1,1]+3*sp[3,2, 1,1,1,1]+sp[4,3,1,1,1,1]+8*sp[2,2,2,1,1,1]+4*sp[3,3,2,1,1,1]+sp[4,4,2,1,1,1]+5 *sp[3,2,2,2,1,1]+2*sp[4,3,2,2,1,1]+sp[3,3,2,1,1,1,1,1,1,1]+sp[3,2,2,2,1,1,1,1, 1,1]+sp[2,2,2,2,2,1,1,1,1,1]+3*sp[1,1,1,1,1,1,1,1,1,1,1]+2*sp[2,2,1,1,1,1,1,1, 1,1,1]+sp[3,3,1,1,1,1,1,1,1,1,1]+sp[2,2,2,2,1,1,1,1,1,1,1]+sp[2,1,1,1,1,1,1,1, 1,1,1,1]+sp[2,2,2,1,1,1,1,1,1,1,1,1]+sp[1,1,1,1,1,1,1,1,1,1,1,1,1]+sp[2,2,1,1, 1,1,1,1,1,1,1,1,1]+sp[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]+4*sp[3,2,2,1,1,1,1]+sp[4, 3,3,3]+6*sp[1,1,1,1,1]+7*sp[2,2,1,1,1]+3*sp[3,3,1,1,1]+sp[5,4,2,2,1,1]+2*sp[3, 3,3,2,1,1]+sp[4,3,3,3,1,1]+3*sp[2,2,2,2,2,1]+2*sp[3,3,2,2,2,1]+sp[4,4,2,2,2,1] +sp[3,2,2,2,2,2]+sp[3,3,3,2,2,2]+7*sp[1,1,1,1,1,1,1]+sp[3,1,1,1,1,1,1]+8*sp[2, 2,1,1,1,1,1]+4*sp[3,3,1,1,1,1,1]+sp[4,4,1,1,1,1,1]+sp[5,5,1,1,1,1,1];