a[26],p,t;main(q){
for(;~scanf("%d",a+t++););
for(q=a[11];q--;)p=p<(t=q*(q-1)/2*(a[11]-q))?t:p;
p=!printf("%ld",1L*a[14]*a[14]/4*a[7]*a[4]*a[22]*a[17]*a[3]*p);
}