s=1;i,l;main(c){for(;~scanf("%d",&c);i++)c--,s*=i==11?l=c+1,1:i==14?c>0?c:0:i==3||i==4||i==7||i==17||i==22?c+1:1;for(c=0,i=2;i<l;i++)c=fmax(c,i*~-i/2*(l-i));printf("%d",s*c);}