Input
3 3
1 2 3
Output
8