#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=1e5+5;
struct Treap{
    ll l,r,val,dat,cnt,size;
}a[N];
ll tot,root,n,INF=0x7fffffff;
ll New(ll val){
    a[++tot].val=val;
    a[tot].dat=rand();
    a[tot].cnt=a[tot].size=1;
    return tot;
}
void Update(ll p){
    a[p].size=a[a[p].l].size+a[a[p].r].size+a[p].cnt;
}
void Build(){
    New(-INF),New(INF);
    root=1,a[1].r=2;
    Update(root);
}
ll QueryRank(ll p,ll val){
    if(p==0) return 0;
    if(val==a[p].val) return a[a[p].l].size+1;
    if(val<a[p].val) return QueryRank(a[p].l,val);
    return QueryRank(a[p].r,val)+a[a[p].l].size+a[p].cnt;
}
ll QueryVal(ll p,ll rank){
    if(p==0) return INF;
    if(a[a[p].l].size>=rank) return QueryVal(a[p].l,rank);
    if(a[a[p].l].size+a[p].cnt>=rank) return a[p].val;
    return QueryVal(a[p].r,rank-a[a[p].l].size-a[p].cnt);
}
void zig(ll &p){
    ll q=a[p].l;
    a[p].l=a[q].r,a[q].r=p,p=q;
    Update(a[p].r);
    Update(p);
}
void zag(ll &p){
    ll q=a[p].r;
    a[p].r=a[q].l,a[q].l=p,p=q;
    Update(a[p].l);
    Update(p);
}
void Insert(ll &p,ll val){
    if(p==0){
        p=New(val);
        return;
    }
    if(val==a[p].val){
        a[p].cnt++;
        Update(p);
        return;
    }
    if(val<a[p].val){
        Insert(a[p].l,val);
        if(a[p].dat<a[a[p].l].dat) zig(p);
    }
    else{
        Insert(a[p].r,val);
        if(a[p].dat<a[a[p].r].dat) zag(p);
    }
    Update(p);
}
ll GetPre(ll val){
    ll ans=1,p=root;
    while(p){
        if(val==a[p].val){
            if(a[p].l>0){
                p=a[p].l;
                while(a[p].r>0) p=a[p].r;
                ans=p;
            }
            break;
        }
        if(a[p].val<val&&a[p].val>a[ans].val) ans=p;
        p=val<a[p].val?a[p].l:a[p].r;
    }
    return a[ans].val;
}
ll GetNext(ll val){
    ll ans=2,p=root;
    while(p){
        if(val==a[p].val){
            if(a[p].r>0){
                p=a[p].r;
                while(a[p].l>0) p=a[p].l;
                ans=p;
            }
            break;
        }
        if(a[p].val>val&&a[p].val<a[ans].val) ans=p;
        p=val<a[p].val?a[p].l:a[p].r;
    }
    return a[ans].val;
}
void Remove(ll &p,ll val){
    if(p==0) return;
    if(val==a[p].val){
        if(a[p].cnt>1){
            a[p].cnt--;
            Update(p);
            return;
        }
        if(a[p].l||a[p].r){
            if(a[p].r==0||a[a[p].l].dat>a[a[p].r].dat){
                zig(p);
                Remove(a[p].r,val);
            }
            else{
                zag(p);
                Remove(a[p].l,val);
            }
            Update(p);
        }
        else p=0;
        return;
    }
    val<a[p].val?Remove(a[p].l,val):Remove(a[p].r,val);
    Update(p);
}
int main(){
    std::ios::sync_with_stdio(false);
    srand(time(0));
    Build();
    cin>>n;
    for(int i=1;i<=n;i++){
        ll opt,x;
        cin>>opt>>x;
        if(opt==1) Insert(root,x);
        else if(opt==2) Remove(root,x);
        else if(opt==3) cout<<QueryRank(root,x)-1<<endl;
        else if(opt==4) cout<<QueryVal(root,x+1)<<endl;
        else if(opt==5) cout<<GetPre(x)<<endl;
        else if(opt==6) cout<<GetNext(x)<<endl;
    }
    return 0;
}

1、2WA，看数据应该是QueryRank的问题？