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