#include using namespace std; using i64 = int_fast64_t; using pll = pair; #define fir first #define sec second void ios_untie() { ios::sync_with_stdio(false); cin.tie(0); } template struct modint { int x; constexpr modint() : x(0) {} constexpr modint(int_fast64_t y) : x(y >= 0 ? y % mod : (mod - (-y) % mod) % mod) {} constexpr operator bool() const { return x != 0; } constexpr modint &operator+=(const modint &p) { if((x += p.x) >= mod) x -= mod; return *this; } constexpr modint &operator++() { return ++x,*this; } constexpr modint operator++(int) { modint t = *this; return ++x,t; } constexpr modint &operator-=(const modint &p) { if((x += mod - p.x) >= mod) x -= mod; return *this; } constexpr modint &operator--() { return --x, *this; } constexpr modint operator--(int) { modint t = *this; return --x,t; } constexpr modint &operator*=(const modint &p) { x = (int) (1LL * x * p.x % mod); return *this; } constexpr modint &operator/=(const modint &p) { *this *= inverse(p); return *this; } constexpr modint operator-() { return modint(-x); } constexpr modint operator+(const modint &p) { return modint(*this) += p; } constexpr modint operator-(const modint &p) { return modint(*this) -= p; } constexpr modint operator*(const modint &p) { return modint(*this) *= p; } constexpr modint operator/(const modint &p) { return modint(*this) /= p; } constexpr bool operator==(const modint &p) { return x == p.x; } constexpr bool operator!=(const modint &p) { return x != p.x; } constexpr bool operator!() { return !x; } constexpr bool operator>(const modint &p) { return x > p.x; } constexpr bool operator<(const modint &p) { return x < p.x; } constexpr bool operator>=(const modint &p) { return x >= p.x; } constexpr bool operator<=(const modint &p) { return x <= p.x; } constexpr static modint inverse(const modint &p) { int a = p.x, b = mod, u = 1, v = 0; while(b > 0) { int t = a / b; a -= t * b; a ^= b ^= a ^= b; u -= t * v; u ^= v ^= u ^= v; } return modint(u); } constexpr static modint pow(modint p, int_fast64_t e) { if(!e) return 1; if(e < 0) e = (e % (mod - 1) + mod - 1) % (mod - 1); return pow(p * p, e >> 1) * (e & 1 ? p : 1); } friend ostream &operator<<(ostream &s, const modint &p) { return s << p.x; } friend istream &operator>>(istream &s, modint &p) { uint_fast64_t x; p = modint((s >> x,x)); return s; } }; template struct matrix { vector> mat; matrix() {} matrix(size_t h, size_t w, const K v = K()) { assign(h,w,v); } void resize(size_t h, size_t w, const K v = K()) { mat.resize(h,vector(w,v)); } void assign(size_t h, size_t w, const K v = K()) { mat.assign(h,vector(w,v)); } const size_t height() const { return mat.size(); } const size_t width() const { return mat.empty() ? 0 : mat[0].size(); } vector& operator[](const size_t i) { return mat[i]; } static matrix identity(size_t n) { matrix ret(n,n); for(size_t i = 0; i < n; ++i) ret[i][i] = 1; return ret; } matrix operator-() const { matrix ret(*this); for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != width(); ++j) { ret[i][j] = -mat[i][j]; } } return ret; } matrix operator&(matrix &x) const { return matrix(*this) &= x; } matrix operator|(matrix &x) const { return matrix(*this) |= x; } matrix operator^(matrix &x) const { return matrix(*this) ^= x; } matrix operator+(matrix &x) const { return matrix(*this) += x; } matrix operator-(matrix &x) const { return matrix(*this) -= x; } matrix operator*(matrix &x) const { return matrix(*this) *= x; } matrix operator&=(matrix &x) { for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != width(); ++j) { (*this)[i][j] &= x[i][j]; } } return *this; } matrix operator|=(matrix &x) { for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != width(); ++j) { (*this)[i][j] |= x[i][j]; } } return *this; } matrix operator^=(matrix &x) { for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != width(); ++j) { (*this)[i][j] ^= x[i][j]; } } return *this; } matrix& operator+=(matrix &x) { for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != width(); ++j) { (*this)[i][j] += x[i][j]; } } return *this; } matrix& operator-=(matrix &x) { for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != width(); ++j) { (*this)[i][j] -= x[i][j]; } } return *this; } matrix& operator*=(matrix &x) { matrix tmp(height(),x.width()); for(size_t i = 0; i != height(); ++i) { for(size_t j = 0; j != x.height(); ++j) { for(size_t k = 0; k != x.width(); ++k) { tmp[i][k] += (*this)[i][j] * x.mat[j][k]; } } } return *this = tmp; } friend istream &operator>>(istream &s, matrix &x) { for(size_t i = 0; i != x.height(); ++i) { for(size_t j = 0; j != x.width(); ++j) { s >> x[i][j]; } } return s; } friend ostream &operator<<(ostream &s, matrix x) { for(size_t i = 0; i != x.height(); ++i) { if(i) s << "\n"; for(size_t j = 0; j != x.width(); ++j) { s << (j ? " " : "") << x[i][j]; } } return s; } static matrix pow(matrix x, int_fast64_t n) { if(n < 0) n = 0; matrix ret = identity(x.height()); while(n) { if(n & 1) ret *= x; x *= x; n >>= 1; } return ret; } vector row_canonicalize() { vector pivots; int rank = 0; for(size_t i = 0; i < width() && rank < height(); ++i) { bool piv = false; for(size_t j = rank; j < height(); ++j) { if(piv) { if(mat[j][i]) { K r = -mat[j][i] / mat[rank][i]; for(size_t w = i; w < width(); ++w) { mat[j][w] += mat[rank][w] * r; } } } else { if(mat[j][i]) { swap(mat[rank], mat[j]); piv = true; } } } if(piv) { K r = mat[rank][i]; for(size_t j = i; j < width(); ++j) { mat[rank][j] /= r; } pivots.emplace_back(i); ++rank; } } return pivots; } }; int n,m; signed main() { ios_untie(); int X; cin>>n>>m>>X; matrix> mt(30+m,n+1); for(int j=0; j<30; ++j,X>>=1) { mt[j][n]=X&1; } for(int i=0,a; i>a; for(int j=0; j<30; ++j,a>>=1) { mt[j][i]=a&1; } } for(int i=0; i>t>>l>>r; mt[i+30][n]=t; for(int j=l-1; j ans(1); for(int i=0; i+pivs.size()