#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace atcoder; using namespace std; using ll=long long; using ull=unsigned long long; using P=pair; templateusing minque=priority_queue,greater>; templatebool chmax(T &a,const T &b){return (abool chmin(T &a,const T &b){return (a>b?(a=b,true):false);} templateostream &operator<<(ostream &os,const pair&p){os<istream &operator>>(istream &is,pair&p){is>>p.first>>p.second;return is;} template ostream &operator<<(ostream &os,const vector &a){cout<<'{';for(int i=0;iistream &operator>>(istream &is,vector &a){for(auto &i:a)is>>i;return is;} #define reps(i,a,n) for(int i=(a);i<(n);i++) #define rep(i,n) reps(i,0,n) #define all(x) x.begin(),x.end() ll myceil(ll a,ll b){return (a+b-1)/b;} template void debug(const T1& x,const T2& ...y){ #ifdef LOCAL cout<>testcase; for(int i=0;i>n; vectora(n); cin>>a; set>s; int l=a[0],r=a[0]; reps(i,1,n){ if(a[i]==++r)continue; s.insert({l,r-1}); l=r=a[i]; } s.insert({l,a[n-1]}); ll ans=0; while((*s.rbegin()).second!=n){ auto c=s.rbegin(); int x,y; tie(x,y)=*c; s.erase(*c); if(s.empty()){ ans+=x-1; break; } c=s.rbegin(); int xx,yy; tie(xx,yy)=*c; s.erase(*c); ans+=x-yy-1; yy+=y-x+1; s.insert({xx,yy}); } cout<