因为它要求大于它的且放在它前的数的个数要小于它的 \(key\) 值，所以先按 \(\rm val\) 值排序，然后按 \(\rm key\) 值排序，按顺序插入。

这样保证当前队列中已有的 \(\rm val\) 值一定大于当前加入的，所以直接计算方案就行。

就是它的 \(\rm val\) 和当前队列中的数的个数取 \(\min\)，记得处理连续一段相同的情况

对于第二问，通过线段树实现

对于线段树，维护当前字典序最小的点，每次选出一个时删除当前点，并更新 \(val\) 值小于等于它的 \(\rm key-1\)，当有 \(\rm key\) 值为零的时，直接输出。

Code:

#include<bits/stdc++.h>
#define ri register signed
#define p(i) ++i
using namespace std;
namespace IO{
    char buf[1<<21],*p1=buf,*p2=buf;
    #define gc() p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?(-1):*p1++;
    template<typename T>inline void read(T &x) {
        ri f=1;x=0;register char ch=gc();
        while(ch<'0'||ch>'9') {if (ch=='-') f=0;ch=gc();};
        while(ch>='0'&&ch<='9') {x=(x<<1)+(x<<3)+(ch^48);ch=gc();}
        x=f?x:-x;
    }
}
using IO::read;
namespace nanfeng{
    #define FI FILE *IN
    #define FO FILE *OUT
    template<typename T>inline T cmax(T x,T y) {return x>y?x:y;}
    template<typename T>inline T cmin(T x,T y) {return x>y?y:x;}
    typedef long long ll;
    static const int N=5e5+7,MOD=1e9+7,INF=1061109567;
    int K[N],V[N],p[N],pre[N],n;
    ll ans=1;
    inline int cmp(int x,int y) {return V[x]==V[y]?K[x]<K[y]:V[x]>V[y];}
    struct Seg{
        #define ls(x) (x<<1)
        #define rs(x) (x<<1|1)
        struct segmenttree{int x,k,v,nk,nx,lz;}T[N<<2];
        inline void up(int x) {
            int l=ls(x),r=rs(x);
            T[x].nk=cmin(T[l].nk,T[r].nk);
            if (T[x].nk!=INF) {
                if (T[l].nk<T[r].nk) T[x].nx=T[l].nx;
                else if (T[l].nk>T[r].nk) T[x].nx=T[r].nx;
                else {
                    if (V[p[T[l].nx]]<V[p[T[r].nx]]) T[x].nx=T[l].nx;
                    else if (V[p[T[l].nx]]>V[p[T[r].nx]]) T[x].nx=T[r].nx;
                    else {
                        if (K[p[T[l].nx]]<=K[p[T[r].nx]]) T[x].nx=T[l].nx;
                        else if (K[p[T[l].nx]]>K[p[T[r].nx]]) T[x].nx=T[r].nx;
                    }
                }
            }
            if (T[l].k<T[r].k) T[x].x=T[l].x,T[x].k=T[l].k,T[x].v=T[l].v;
            else if (T[l].k>T[r].k) T[x].x=T[r].x,T[x].k=T[r].k,T[x].v=T[r].v;
            else {
                if (T[l].v<=T[r].v) T[x].x=T[l].x,T[x].k=T[l].k,T[x].v=T[l].v;
                else if (T[l].v>T[r].v) T[x].x=T[r].x,T[x].k=T[r].k,T[x].v=T[r].v;
            }
        }
        inline void down(int x) {
            if (!T[x].lz) return;
            T[ls(x)].nk-=T[x].lz;
            T[rs(x)].nk-=T[x].lz;
            T[ls(x)].lz+=T[x].lz;
            T[rs(x)].lz+=T[x].lz;
            T[x].lz=0;
        }
        void build(int x,int l,int r) {
            if (l==r) {
                T[x].nx=T[x].x=l,T[x].v=V[p[l]],T[x].k=T[x].nk=K[p[l]];
                return;
            }
            int mid(l+r>>1);
            build(ls(x),l,mid);
            build(rs(x),mid+1,r);
            up(x);
        }
        void updates(int x,int p,int l,int r) {
            if (l==r) return (void)(T[x].nk=INF,T[x].k=T[x].v=INF);
            int mid(l+r>>1);
            down(x);
            if (p<=mid) updates(ls(x),p,l,mid);
            else if (p>mid) updates(rs(x),p,mid+1,r);
            up(x);
        }
        void update(int x,int l,int r,int lt,int rt) {
            if (l<=lt&&rt<=r) return (void)(--T[x].nk,p(T[x].lz));
            int mid(lt+rt>>1);
            down(x);
            if (l<=mid) update(ls(x),l,r,lt,mid);
            if (r>mid) update(rs(x),l,r,mid+1,rt);
            up(x);
        }
    }T;
    inline int main() {
        //FI=freopen("nanfeng.in","r",stdin);
        //FO=freopen("nanfeng.out","w",stdout);
        read(n);
        for (ri i(1);i<=n;p(i)) read(K[i]),read(V[i]),p[i]=i;
        sort(p+1,p+n+1,cmp);
        int lst=-1,nm=0;
        for (ri i(1);i<=n;p(i)) {
            int cur=p[i];
            if (V[cur]==lst) ans*=cmin(i-1-nm,K[cur]-1)+nm+1,p(nm);
            else ans*=cmin(i-1,K[cur]-1)+1,nm=1;
            lst=V[cur];
            ans%=MOD;
        }
        lst=n;
        for (ri i(n);i;--i) {
            int cur=p[i];
            if (V[p[lst]]==V[cur]) pre[i]=lst;
            else pre[i]=lst=i;
        }
        printf("%lld\n",ans);
        T.build(1,1,n);
        for (ri i(1);i<=n;p(i)) {
            int px;
            if (T.T[1].nk>1) printf("%d %d\n",T.T[1].k,T.T[1].v),px=T.T[1].x;
            else printf("%d %d\n",K[p[T.T[1].nx]],V[p[T.T[1].nx]]),px=T.T[1].nx;
            T.updates(1,px,1,n);
            if (pre[px]<n) T.update(1,pre[px]+1,n,1,n);
        }
        return 0;
    }
}
int main() {return nanfeng::main();}