Input
4 3
3 1 4 2
Output
5