긴 이진 수열

보보에게 길이가 $n$인 아주 긴 이진 수열 $s$가 있다. $x_1, x_2, \dots, x_m$으로 주어진 $m$개의 위치를 제외한 모든 위치의 값은 $0$이고, 그 위치들의 값은 모두 $1$이다. 즉 $s_{x_1} = s_{x_2} = \dots = s_{x_m} = 1$이다.

보보는 $s$에 나타나는 서로 다른 연속 부분 문자열의 개수를 알고 싶다.

첫째 줄에 두 정수 $n$, $m$이 주어진다 ($1 \leq n \leq 10^9$, $1 \leq m \leq \min\{n, 1000\}$).

둘째 줄에 $m$개의 정수 $x_1, x_2, \dots, x_m$이 주어진다 ($1 \leq x_1 < x_2 < \dots < x_m \leq n$).

서로 다른 연속 부분 문자열의 개수를 한 줄에 출력한다.