Input
6 2 2 3 5 4 5
Output
18
Input
1 1
Output
1