a[9],t;main(p){for(;~scanf("%d",a-3+t++););t=a[8];p=t-t/3;p=p*(p-1)/2*(t-p);t=!printf("%ld",1L*a[11]*a[11]/4*a[4]*a[1]*a[19]*a[14]**a*p);}