#include //#include //#include using namespace std; #define DEBUG(x) cerr<<#x<<": "< #define vl vector #define vii vector< vector > #define vll vector< vector > #define vs vector #define pii pair #define pis pair #define psi pair #define pll pair template pair operator+(const pair &s, const pair &t) { return pair(s.first + t.first, s.second + t.second); } template pair operator-(const pair &s, const pair &t) { return pair(s.first - t.first, s.second - t.second); } template ostream& operator<<(ostream& os, pair p) { os << "(" << p.first << ", " << p.second << ")"; return os; } #define X first #define Y second #define rep(i,n) for(int i=0;i<(n);i++) #define rep1(i,n) for(int i=1;i<=(n);i++) #define rrep(i,n) for(int i=(n)-1;i>=0;i--) #define rrep1(i,n) for(int i=(n);i>0;i--) #define REP(i,a,b) for(int i=a;i bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (a>b) { a = b; return 1; } return 0; } #define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end()); const ll inf = 1000000001; const ll INF = (ll)1e18 + 1; const long double pi = 3.1415926535897932384626433832795028841971L; #define Sp(p) cout<> n; vector xt(n); rep (i, n) { cin >> xt[i].second >> xt[i].first; xt[i].first--; if (xt[i].second == 1) xt[i].first--; } sort(all(xt)); //DEBUG_VEC(xt); vll dp(n + 1, vl(n + 1)); dp[0][0] = 1; int one = 0; rep (i, n) { rep (j, n + 1) { if (dp[i][j] == 0) continue; ll x = xt[i].first; if (xt[i].second == 0) { dp[i + 1][j] += dp[i][j] * (x + 1 - (i - (one - j))) % MOD; dp[i + 1][j] %= MOD; } else { if (j < n and x + 1 - (i - (one - j)) >= 0) { dp[i + 1][j + 1] += dp[i][j] * (x + 1 - (i - (one - j))) % MOD; dp[i + 1][j + 1] %= MOD; } dp[i + 1][j] += dp[i][j]; dp[i + 1][j] %= MOD; } } if (xt[i].second == 1) { one++; } } vl fact(n + 1); fact[0] = 1; rep (i, n) { fact[i + 1] = fact[i] * (i + 1) % MOD; } rep (j, n + 1) { if (dp[n][j] != 0) { dp[n][j] = dp[n][j] * fact[one - j]; } } ll ans = 0; rep (j, n + 1) { if (j % 2 == 0) ans += dp[n][j]; else ans -= dp[n][j]; } ans = (ans % MOD + MOD) % MOD; cout << ans << endl; }