func_code_string: #include <bits/stdc++.h>   using namespace std;   using ll = long long;   using pi = pair<int, int>;   using pll = pair<ll, ll>;   int n, k;   vector<int> x;   bool disjoint(int l1, int r1, int l2, int r2) { return r1 < l2 || r2 < l1; }   int main() {     ios_base::sync_with_stdio(false);     cout << setprecision(12);     cin.tie(nullptr);     cin >> n >> k;     x.resize(k);     for (int i = 0; i < int(k); i++) cin >> x[i], x[i]--;     vector<int> fst(n, -1), lst(n, k);     for (int i = 0; i < int(k); i++) lst[x[i]] = i;     for (int i = k - 1; i >= 0; i--) fst[x[i]] = i;     ll ans = 0;     for (int i = 0; i < int(n); i++)       if (fst[i] == -1) ans++;     for (int i = 0; i < int(n - 1); i++) {       if (fst[i] == -1 || fst[i + 1] == -1) {         ans += 2;         continue;       }       if (lst[i] < fst[i + 1]) ans++;       if (lst[i + 1] < fst[i]) ans++;     }     cout << ans << endl;   }   