Input
5 1 3 4
Output
800
Input
1 1 1 1
Output
256