#pragma region kyopro_template #include #define pb push_back #define eb emplace_back #define fi first #define se second #define each(x, v) for (auto &x : v) #define all(v) (v).begin(), (v).end() #define sz(v) ((int)(v).size()) #define mem(a, val) memset(a, val, sizeof(a)) #define ini(...) \ int __VA_ARGS__; \ in(__VA_ARGS__) #define inl(...) \ long long __VA_ARGS__; \ in(__VA_ARGS__) #define ins(...) \ string __VA_ARGS__; \ in(__VA_ARGS__) #define inc(...) \ char __VA_ARGS__; \ in(__VA_ARGS__) #define in2(s, t) \ for (int i = 0; i < (int)s.size(); i++) { \ in(s[i], t[i]); \ } #define in3(s, t, u) \ for (int i = 0; i < (int)s.size(); i++) { \ in(s[i], t[i], u[i]); \ } #define in4(s, t, u, v) \ for (int i = 0; i < (int)s.size(); i++) { \ in(s[i], t[i], u[i], v[i]); \ } #define rep(i, N) for (long long i = 0; i < (long long)(N); i++) #define repr(i, N) for (long long i = (long long)(N)-1; i >= 0; i--) #define rep1(i, N) for (long long i = 1; i <= (long long)(N); i++) #define repr1(i, N) for (long long i = (N); (long long)(i) > 0; i--) using namespace std; void solve(); using ll = long long; template using V = vector; using vi = vector; using vl = vector; using vvi = vector>; using vd = V; using vs = V; using vvl = vector>; using P = pair; using vp = vector

; using pii = pair; using vpi = vector>; constexpr int inf = 1001001001; constexpr long long infLL = (1LL << 61) - 1; template inline bool amin(T &x, U y) { return (y < x) ? (x = y, true) : false; } template inline bool amax(T &x, U y) { return (x < y) ? (x = y, true) : false; } template ll ceil(T a, U b) { return (a + b - 1) / b; } constexpr ll TEN(int n) { ll ret = 1, x = 10; while (n) { if (n & 1) ret *= x; x *= x; n >>= 1; } return ret; } template ostream &operator<<(ostream &os, const pair &p) { os << p.first << " " << p.second; return os; } template istream &operator>>(istream &is, pair &p) { is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const vector &v) { int s = (int)v.size(); for (int i = 0; i < s; i++) os << (i ? " " : "") << v[i]; return os; } template istream &operator>>(istream &is, vector &v) { for (auto &x : v) is >> x; return is; } void in() {} template void in(T &t, U &... u) { cin >> t; in(u...); } void out() { cout << "\n"; } template void out(const T &t, const U &... u) { cout << t; if (sizeof...(u)) cout << " "; out(u...); } template void die(T x) { out(x); exit(0); } #ifdef NyaanDebug #include "NyaanDebug.h" #define trc(...) \ do { \ cerr << #__VA_ARGS__ << " = "; \ dbg_out(__VA_ARGS__); \ } while (0) #define trca(v, N) \ do { \ cerr << #v << " = "; \ array_out(v, N); \ } while (0) #define trcc(v) \ do { \ cerr << #v << " = {"; \ each(x, v) { cerr << " " << x << ","; } \ cerr << "}" << endl; \ } while (0) #else #define trc(...) #define trca(...) #define trcc(...) int main() { solve(); } #endif struct IoSetupNya { IoSetupNya() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); cerr << fixed << setprecision(7); } } iosetupnya; #pragma endregion constexpr long long MOD = /**/ 1000000007; //*/ 998244353; // popcount inline int popcount(unsigned long long a) { return __builtin_popcountll(a); } // least significant bit inline int lsb(unsigned long long a) { return __builtin_ctzll(a); } // most significant bit inline int msb(unsigned long long a) { return 63 - __builtin_clzll(a); } // get i-th bit template inline int getbit(T a, int i) { return (a >> i) & 1; } // set i-th bit template inline void setbit(T &a, int i) { a |= (1LL << i); } // delete i-th bit template inline void delbit(T &a, int i) { a &= ~(1LL << i); } // lower_bound template int lb(const vector &v, const T &a) { return lower_bound(begin(v), end(v), a) - begin(v); } // upper_bound template int ub(const vector &v, const T &a) { return upper_bound(begin(v), end(v), a) - begin(v); } // cumulative sum template vector mkrui(const vector &v) { vector ret(v.size() + 1); for (int i = 0; i < int(v.size()); i++) ret[i + 1] = ret[i] + v[i]; return ret; }; // order template vector mkord(const vector &v, function f) { vector ord(v.size()); iota(begin(ord), end(ord), 0); sort(begin(ord), end(ord), f); return ord; } // unique template vector mkuni(const vector &v) { vector ret(v); sort(ret.begin(), ret.end()); ret.erase(unique(ret.begin(), ret.end()), ret.end()); return ret; } template bitset gcd(bitset x, bitset y) { int xm = int(N) - 1, ym = int(N) - 1; while (xm != -1 && x[xm] == 0) xm--; while (ym != -1 && y[ym] == 0) ym--; if (xm < ym) swap(x, y), swap(xm, ym); while (ym >= 0) { x ^= y << (xm - ym); while (xm != -1 && x[xm] == 0) xm--; while (ym != -1 && y[ym] == 0) ym--; if (xm < ym) swap(x, y), swap(xm, ym); } return x; } template struct BitMat { int H, W; bitset a[MAX_H]; BitMat(int h, int w) : H(h), W(w) {} inline bitset &operator[](int i) { return a[i]; } }; template int Gauss(BitMat &A, bool is_greater = true, bool is_extended = false) { int rank = 0, H = A.H, W = (is_extended ? A.W - 1 : A.W); for (int j = (is_greater ? W - 1 : 0); j != (is_greater ? -1 : W); j += (is_greater ? -1 : 1)) { for (int i = rank; i < H; i++) { if (A[i][j] == 1) { swap(A[rank], A[i]); for (int k = 0; k < H; k++) { if (k != rank && A[k][j]) A[k] ^= A[rank]; } rank++; break; } } } if (is_extended) { for (int i = rank; i < H; i++) if (A[i][W] == 1) return -1; } return rank; } template struct ModInt { int x; ModInt() : x(0) {} ModInt(int64_t y) : x(y >= 0 ? y % mod : (mod - (-y) % mod) % mod) {} ModInt &operator+=(const ModInt &p) { if ((x += p.x) >= mod) x -= mod; return *this; } ModInt &operator-=(const ModInt &p) { if ((x += mod - p.x) >= mod) x -= mod; return *this; } ModInt &operator*=(const ModInt &p) { x = (int)(1LL * x * p.x % mod); return *this; } ModInt &operator/=(const ModInt &p) { *this *= p.inverse(); return *this; } ModInt operator-() const { return ModInt(-x); } ModInt operator+(const ModInt &p) const { return ModInt(*this) += p; } ModInt operator-(const ModInt &p) const { return ModInt(*this) -= p; } ModInt operator*(const ModInt &p) const { return ModInt(*this) *= p; } ModInt operator/(const ModInt &p) const { return ModInt(*this) /= p; } bool operator==(const ModInt &p) const { return x == p.x; } bool operator!=(const ModInt &p) const { return x != p.x; } ModInt inverse() const { int a = x, b = mod, u = 1, v = 0, t; while (b > 0) { t = a / b; swap(a -= t * b, b); swap(u -= t * v, v); } return ModInt(u); } ModInt pow(int64_t n) const { ModInt ret(1), mul(x); while (n > 0) { if (n & 1) ret *= mul; mul *= mul; n >>= 1; } return ret; } friend ostream &operator<<(ostream &os, const ModInt &p) { return os << p.x; } friend istream &operator>>(istream &is, ModInt &a) { int64_t t; is >> t; a = ModInt(t); return (is); } static constexpr int get_mod() { return mod; } }; using mint = ModInt; using vm = vector; void solve() { inl(N, M, X); vl a(N); in(a); BitMat<400, 400> mat(M + 32, N + 1); rep(i, M) { ini(n, l, r); for (int j = l - 1; j < r; j++) mat[i][j] = 1; mat[i][N] = n; } rep(i, 32) { for (int j = 0; j < N; j++) mat[M + i][j] = getbit(a[j], i); mat[M + i][N] = getbit(X, i); } int rank = Gauss(mat, true, true); if (rank == -1) die(0); out(mint(2).pow(N - rank)); }