#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; using mint=modint998244353; template struct BIT{ vector bit; int size; BIT(int n):size(n), bit(n+1, 0){} T sum(int i){ //[0, i) T s=0; while(i>0){ s+=bit[i]; i-=(i&(-i)); } return s; } T sum(int l, int r){ //[l, r) return sum(r)-sum(l); } void add(int i, T x){ i++; while(i<=size){ bit[i]+=x; i+=(i&(-i)); } } }; template struct RangeAddPointGet{ BIT bit; RangeAddPointGet(int n):bit(n){} void add(int l, int r, T x){ bit.add(l, x); bit.add(r, -x); } T get(int i){ return bit.sum(i+1); } }; const int MAX=200000; int n; int a[200020]; int main() { cin>>n; for(int i=0; i>a[i]; } set

st; st.insert({MAX, 0}); RangeAddPointGet seg(MAX+1); for(int i=1; i<=MAX; i++) seg.add(i, i+1, i); int ans=0; for(int i=0; i st1; for(; itr!=st.end(); ){ int k=itr->second; int x=itr->first; seg.add(k+v, k+x+1, -v); st1.insert({v-1, k}); st1.insert({x-v, k+v}); itr=st.erase(itr); } for(auto p:st1) st.insert(p); } cout<