long s=1,c,i;main(l,o){for(;~scanf("%ld",&c);i++)c--,s*=i==11?l=c+1,1:i==14?o=c+1,1: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));for(s*=c,c=0,i=1;i<o;i++)c=fmax(c,i*(o-i));printf("%ld",s*c);}