#include <iostream>
#include <algorithm>
#include <string>
#include <vector>
#include <cmath>
#include <map>
#include <queue>
#include <iomanip>
#include <set>
#include <tuple>
#define mkp make_pair
#define mkt make_tuple
#define rep(i,n) for(int i = 0; i < (n); ++i)
using namespace std;
typedef long long ll;
const ll MOD=1e9+7;
template<class T> void chmin(T &a,const T &b){if(a>b) a=b;}
template<class T> void chmax(T &a,const T &b){if(a<b) a=b;}

void add(ll &a,ll b){
  a=(a+b)%MOD;
}

void mul(ll &a,ll b){
  a%=MOD;b%=MOD;
  a=a*b%MOD;
}

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);

  int N;
  cin>>N;
  vector<int> U,D;
  rep(i,N){
    int t,x;cin>>t>>x;
    if(t==0) U.push_back(x);
    else D.push_back(x);
  }

  int S=U.size();
  int T=D.size();
  if(S) sort(U.begin(),U.end());
  if(T) sort(D.begin(),D.end());

  vector<vector<ll>> dp(N+1,vector<ll>(S+1,0));
  dp[0][0]=1;
  for(int i=0;i<N;i++){
    int val=i+1;
    for(int j=0;j<=S;j++){
      if(dp[i][j]==0) continue;
      int t=i-j;
      if(t+1<=T){
        if(D[t]<=val){
          int z=upper_bound(D.begin(),D.end(),val)-D.begin();
          ll res=dp[i][j];
          mul(res,z-t);
          add(dp[i+1][j],res);
        }
      }

      if(j+1<=S){
        if(U[j]>=val){
          int z=lower_bound(U.begin(),U.end(),val)-U.begin();
          ll res=dp[i][j];
          mul(res,j-z+1);
          add(dp[i+1][j+1],res);
        }
      }
    }
  }

  cout<<dp[N][S]<<endl;

  return 0;
}