#include using namespace std; using i64 = long long; #define rep(i,s,e) for(i64 (i) = (s);(i) < (e);(i)++) #define all(x) x.begin(),x.end() template static inline std::vector ndvec(size_t&& n, T val) noexcept { return std::vector(n, std::forward(val)); } template static inline auto ndvec(size_t&& n, Tail&&... tail) noexcept { return std::vector(tail)...))>(n, ndvec(std::forward(tail)...)); } #include using namespace std; using i64 = long long; template constexpr i64 euinv(i64 val) { i64 a = M, b = val; i64 x = 0, u = 1; while (b) { i64 t = a / b; swap(a -= t * b, b); swap(x -= t * u, u); } return x < 0 ? x + M : x; } template struct modint { i64 a; constexpr modint(const i64 x = 0) noexcept: a((x % M + M) % M) {} constexpr i64 value() const noexcept { return a; } constexpr modint inv() const noexcept { return modint(euinv(a)); } constexpr modint pow(i64 r) const noexcept { modint ans(1); modint aa = *this; while(r) { if(r & 1) { ans *= aa; } aa *= aa; r >>= 1; } return ans; } constexpr modint& operator+=(const modint r) noexcept { a += r.a; if(a >= M) a -= M; return *this; } constexpr modint& operator=(const i64 r) { a = (r % M + M) % M; return *this; } constexpr modint& operator-=(const modint r) noexcept { a -= r.a; if(a < 0) a += M; return *this; } constexpr modint& operator*=(const modint r) noexcept { a = a * r.a % M; return *this; } constexpr modint& operator/=(modint r) noexcept { i64 ex = M - 2; while(ex) { if(ex & 1) { *this *= r; } r *= r; ex >>= 1; } return *this; } constexpr modint operator+(const modint r) const { return modint(*this) += r; } constexpr modint operator-(const modint r) const { return modint(*this) -= r; } constexpr modint operator*(const modint r) const { return modint(*this) *= r; } constexpr modint operator/(const modint r) const { return modint(*this) /= r; } constexpr bool operator!=(const modint r) const { return this->value() != r.value(); } }; template std::ostream& operator<<(std::ostream& os, const modint& m) { os << m.value(); return os; } using fp = modint<(i64)(1e9 + 7)>; fp dp[3010][6020]; int main() { i64 N; cin >> N; vector T(N), X(N); rep(i,0,N) { cin >> T[i] >> X[i]; } vector en(N + 1); vector st(N + 1); rep(i,0,N) { if(T[i] == 1) st[X[i]]++; else en[X[i]]++; } rep(i,0,N) { st[i + 1] += st[i]; en[i + 1] += en[i]; cout << i + 1 << " = " << st[i + 1] << " , " << en[i + 1] << endl; } vector fact(100000); vector invf(100000); fact[0] = fp(1); rep(i,1,fact.size()) { fact[i] = fact[i - 1] * fp(i); } invf.back() = fp(1) / fact.back(); for(i64 i = invf.size() - 1; i --> 0;) { invf[i] = invf[i + 1] * fp(i + 1); } dp[0][0] = fp(1); rep(i,0,N) { rep(j,0,N + 1) { if(j > st[i + 1]) continue; // j <= en[i + 1] if(st[i + 1] - j >= 1) { // use (i + 1) i64 remain = i - j - en[i]; if(remain >= en[i + 1] - en[i]) { i64 r = en[i + 1] - en[i]; dp[i + 1][j + 1] += dp[i][j] * (st[i + 1] - j) * fact[remain] * invf[r] * invf[remain - r]; } } { // dont use (i + 1) i64 remain = i + 1 - j - en[i]; if(remain >= en[i + 1] - en[i]) { i64 r = en[i + 1] - en[i]; dp[i + 1][j] += dp[i][j] * fact[remain] * invf[r] * invf[remain - r]; } } } } cout << dp[N][st.back()] << endl; }