#pragma region Macros #include using namespace std; typedef long long ll; #define FOR(i,a,b) for (int i=(a);i<(b);++i) #define REP(i,n) FOR(i,0,n) #define ALL(x) (x).begin(),(x).end() const long long MOD=1e9+7; // const long long MOD=998244353; const int INF=1e9; const long long IINF=1e18; const int dx[4]={1,0,-1,0},dy[4]={0,1,0,-1}; const char dir[4]={'D','R','U','L'}; #define LOCAL template istream &operator>>(istream &is,vector &v){ for (T &x:v) is >> x; return is; } template ostream &operator<<(ostream &os,const vector &v){ for (int i=0;i ostream &operator<<(ostream &os,const pair &p){ cout << '(' << p.first << ',' << p.second << ')'; return os; } template ostream &operator<<(ostream &os,const map &m){ os << '{'; for (auto itr=m.begin();itr!=m.end();++itr){ os << '(' << itr->first << ',' << itr->second << ')'; if (++itr!=m.end()) os << ','; --itr; } os << '}'; return os; } template ostream &operator<<(ostream &os,const set &s){ os << '{'; for (auto itr=s.begin();itr!=s.end();++itr){ os << *itr; if (++itr!=s.end()) os << ','; --itr; } os << '}'; return os; } void debug_out(){cerr << '\n';} template void debug_out(Head&& head,Tail&&... tail){ cerr << head; if (sizeof...(Tail)>0) cerr << ", "; debug_out(move(tail)...); } #ifdef LOCAL #define debug(...) cerr << " ";\ cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n';\ cerr << " ";\ debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif template T gcd(T x,T y){return y!=0?gcd(y,x%y):x;} template T lcm(T x,T y){return x/gcd(x,y)*y;} template inline bool chmin(T1 &a,T2 b){ if (a>b){a=b; return true;} return false; } template inline bool chmax(T1 &a,T2 b){ if (a class modint{ using u64=uint_fast64_t; public: u64 a; constexpr modint(const u64 x=0) noexcept:a(((x%Modulus)+Modulus)%Modulus){} constexpr u64 &value() noexcept{return a;} constexpr const u64 &value() const noexcept{return a;} constexpr modint &operator+=(const modint &rhs) noexcept{ a+=rhs.a; if (a>=Modulus) a-=Modulus; return *this; } constexpr modint operator+(const modint &rhs) const noexcept{ return modint(*this)+=rhs; } constexpr modint &operator++() noexcept{ return ++a,*this; } constexpr modint operator++(int) noexcept{ modint t=*this; return ++a,t; } constexpr modint &operator-=(const modint &rhs) noexcept{ if (a>=1; } return *this; } constexpr modint operator/(const modint &rhs) const noexcept{ return modint(*this)/=rhs; } constexpr modint operator-() const noexcept{ return modint(Modulus-a); } constexpr bool operator==(const modint &rhs) const noexcept{ return a==rhs.a; } constexpr bool operator!=(const modint &rhs) const noexcept{ return a!=rhs.a; } constexpr bool operator!() const noexcept{return !a;} friend constexpr modint pow(modint rhs,long long exp) noexcept{ modint res{1}; while(exp){ if (exp&1) res*=rhs; rhs*=rhs; exp>>=1; } return res; } template friend constexpr modint operator+(T x,modint y) noexcept{ return modint(x)+y; } template friend constexpr modint operator-(T x,modint y) noexcept{ return modint(x)-y; } template friend constexpr modint operator*(T x,modint y) noexcept{ return modint(x)*y; } template friend constexpr modint operator/(T x,modint y) noexcept{ return modint(x)/y; } friend ostream &operator<<(ostream &s,const modint &rhs) noexcept{ return s << rhs.a; } friend istream &operator>>(istream &s,modint &rhs) noexcept{ u64 a; rhs=modint{(s >> a,a)}; return s; } }; using mint=modint; /* template struct Matrix{ vector> dat; Matrix(size_t r,size_t c):dat(r,vector(c,K())){} Matrix(size_t n):dat(n,vector(n,K())){} Matrix(vector> dat):dat(dat){} size_t size() const{return dat.size();} vector &operator[](int i){return dat[i];} const vector &operator[](int i) const{return dat[i];} static Matrix I(size_t n){ Matrix res(n); for (int i=0;i> res(dat.size(),vector(B[0].size(),K())); for (int i=0;i0){ if (k&1LL) res*=*this; *this*=*this; k>>=1LL; } dat.swap(res.dat); return (*this); } Matrix operator^(long long k) const{ return Matrix(*this)^=k; } static Matrix Gauss_Jordan(const Matrix &A,const Matrix &B){ int n=A.size(),l=B[0].size(); Matrix C(n,n+l); for (int i=0;i struct Matrix{ typedef vector arr; typedef vector mat; mat dat; Matrix(size_t r,size_t c):dat(r,arr(c,K())){} Matrix(mat dat):dat(dat){} size_t size() const{return dat.size();} bool empty() const{return size()==0;} arr& operator[](size_t k){return dat[k];} const arr& operator[](size_t k) const {return dat[k];} static Matrix cross(const Matrix &A,const Matrix &B){ Matrix res(A.size(),B[0].size()); for(int i=0;i<(int)A.size();i++) for(int j=0;j<(int)B[0].size();j++) for(int k=0;k<(int)B.size();k++) res[i][j]+=A[i][k]*B[k][j]; return res; } static Matrix identity(size_t n){ Matrix res(n,n); for(int i=0;i<(int)n;i++) res[i][i]=K(1); return res; } Matrix pow(long long n) const{ Matrix a(dat),res=identity(size()); while(n){ if(n&1) res=cross(res,a); a=cross(a,a); n>>=1; } return res; } template using ET = enable_if::value>; template using EF = enable_if::value>; template::type* = nullptr> static bool is_zero(T x){return abs(x)<1e-8;} template::type* = nullptr> static bool is_zero(T x){return x==T(0);} template::type* = nullptr> static bool compare(T x,T y){return abs(x)::type* = nullptr> static bool compare(T x,T y){(void)x;return y!=T(0);} // assume regularity static Matrix gauss_jordan(const Matrix &A,const Matrix &B){ int n=A.size(),l=B[0].size(); Matrix C(n,n+l); for(int i=0;i> N; vector L(N),R(N); cin >> L >> R; vector D(N); cin >> D; int s=0; while(s> LR; vector x(N); for (int i=s;i l(N,0),r(N,0); ll pre=0; Matrix SM(9,9),M(9,9); for (int i=0;i<9;++i){ for (int j=0;j<9;++j){ SM[i][j]=(i==j?2:1); M[i][j]=(i==j?1:0); } } for (int i=0;i MM=SM.pow(p); M=Matrix::cross(M,MM); int id=LR[i].second,num=(id>=0?id:-id-1); if (id>=0) l[num]=M[0][x[num]]; else r[num]=M[0][x[num]]; pre=LR[i].first; } mint ans=1; for (int i=s;i0) ++sum; ans*=sum; } cout << ans << '\n'; }