#include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define N (1000000000+7) //#define N 998244353 #define INF 1e16 typedef long long ll; typedef pair P; typedef pair Q; typedef vector vec; typedef vector mat; const int inf = (int)1e9; ll inv(ll x,ll power) { ll res = 1; ll k = power; ll y = x%N; while (k) { if (k & 1)res = (res*y) % N; y = (y%N*y%N) % N; k /= 2; } return res; } int main(void){ int h,n; cin>>h>>n; vectorp(n); for(int i=0;i>p[i]; } p[n-1] = h; sort(p.begin(),p.end(),greater()); for(int i=0;i