#include using namespace std; using ll = long long; #define rep(i, n) for (int i = 0; i < (n); i++) #define repr(i, n) for (int i = (n) - 1; i >= 0; i--) #define range(a) a.begin(), a.end() constexpr int MOD = 1000000007; class mint { int n; public: mint(int n_ = 0) : n(n_) {} explicit operator int() { return n; } friend mint operator-(mint a) { return -a.n + MOD * (a.n != 0); } friend mint operator+(mint a, mint b) { int x = a.n + b.n; return x - (x >= MOD) * MOD; } friend mint operator-(mint a, mint b) { int x = a.n - b.n; return x + (x < 0) * MOD; } friend mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; } friend mint &operator+=(mint &a, mint b) { return a = a + b; } friend mint &operator-=(mint &a, mint b) { return a = a - b; } friend mint &operator*=(mint &a, mint b) { return a = a * b; } friend bool operator==(mint a, mint b) { return a.n == b.n; } friend bool operator!=(mint a, mint b) { return a.n != b.n; } friend istream &operator>>(istream &i, mint &a) { return i >> a.n; } friend ostream &operator<<(ostream &o, mint a) { return o << a.n; } }; mint f(int n) { mint res = 1; rep(i, n) { res *= i + 1; } return res; } int main() { int N; cin >> N; vector T(N), X(N); rep(i, N) { cin >> T[i] >> X[i]; if (T[i] == 1) { X[i]--; } } vector ord(N); rep(i, N) ord[i] = i; sort(ord.begin(), ord.end(), [&](int i, int j) { return X[i] < X[j]; }); vector dp(N + 1); dp[0] = 1; rep(i_, N) { int i = ord[i_]; vector ep(N + 1); rep(j, N) { if (T[i] == 0) { ep[j + 1] += dp[j] * max(0, X[i] - j); } else { ep[j + 1] -= dp[j] * max(0, X[i] - j); ep[j] += dp[j]; } } dp = ep; } mint ans; rep(i, N + 1) { ans += dp[i] * f(N - i); } cout << ans << endl; }