B'Alice and Bob are playing a game on a line with n cells. There are n cells labeled from 1 through n . For each i from 1 to n-1 , cells i and i+1 are adjacent. Alice initially has a token on some cell on the line, and Bob tries to guess where it is. Bob guesses a sequence of line cell numbers x_1, x_2, ldots, x_k in order. In the i -th question, Bob asks Alice if her token is currently on cell x_i . That is, Alice can answer either "YES" or "NO" to each Bob 's question. At most one time in this process, before or after answering a question, Alice is allowed to move her token from her current cell to some adjacent cell. Alice acted in such a way that she was able to answer "NO" to all of Bob 's questions. Note that Alice can even move her token before answering the first question or after answering the last question. Alice can also choose to not move at all. You are given n and Bob 's questions x_1, ldots, x_k . You would like to count the number of scenarios that let Alice answer "NO" to all of Bob 's questions. Let (a,b) denote a scenario where Alice starts at cell a and ends at cell b . Two scenarios (a_i, b_i) and (a_j, b_j) are different if a_i neq a_j or b_i neq b_j . The first line contains two integers n and k ( 1 <= q n,k <= q 10^5 ) -- the number of cells and the number of questions Bob asked. The second line contains k integers x_1, x_2, ldots, x_k ( 1 <= q x_i <= q n ) -- Bob 's questions. Print a single integer, the number of scenarios that let Alice answer "NO" to all of Bob 's questions. The notation (i,j) denotes a scenario where Alice starts at cell i and ends at cell j . In the first example, the valid scenarios are (1, 2), (2, 1), (2, 2), (2, 3), (3, 2), (3, 3), (3, 4), (4, 3), (4, 5) . For example, (3,4) is valid since Alice can start at cell 3 , stay t'...