#include #include #define rep(i,b) for(int i=0;i=0;i--) #define rep1(i,b) for(int i=1;i=x;i--) #define fore(i,a) for(auto& i:a) #define rng(x) (x).begin(), (x).end() #define rrng(x) (x).rbegin(), (x).rend() #define sz(x) ((int)(x).size()) #define pb push_back #define fi first #define se second #define pcnt __builtin_popcountll using namespace std; using namespace atcoder; using ll = long long; using ld = long double; template using mpq = priority_queue, greater>; template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (b ll sumv(const vector&a){ll res(0);for(auto&&x:a)res+=x;return res;} bool yn(bool a) { if(a) {cout << "Yes" << endl; return true;} else {cout << "No" << endl; return false;}} #define retval(x) {cout << #x << endl; return;} #define cout2(x,y) cout << x << " " << y << endl; #define coutp(p) cout << p.fi << " " << p.se << endl; #define out cout << ans << endl; #define outd cout << fixed << setprecision(20) << ans << endl; #define outm cout << ans.val() << endl; #define outv fore(yans , ans) cout << yans << "\n"; #define outdv fore(yans , ans) cout << yans.val() << "\n"; #define assertmle(x) if (!x) {vi v(3e8);} #define asserttle(x) if (!x) {while(1){}} #define coutv(v) {fore(vy , v) {cout << vy << " ";} cout << endl;} #define coutv2(v) fore(vy , v) cout << vy << "\n"; #define coutvm(v) {fore(vy , v) {cout << vy.val() << " ";} cout << endl;} #define coutvm2(v) fore(vy , v) cout << vy.val() << "\n"; using pll = pair;using pil = pair;using pli = pair;using pii = pair;using pdd = pair; using vi = vector;using vd = vector;using vl = vector;using vs = vector;using vb = vector; using vpii = vector;using vpli = vector;using vpll = vector;using vpil = vector; using vvi = vector>;using vvl = vector>;using vvs = vector>;using vvb = vector>; using vvpii = vector>;using vvpli = vector>;using vvpll = vector;using vvpil = vector; using mint = modint998244353; //using mint = modint1000000007; //using mint = dynamic_modint<0>; using vm = vector; using vvm = vector>; vector dx={1,0,-1,0,1,1,-1,-1},dy={0,1,0,-1,1,-1,1,-1}; ll gcd(ll a, ll b) { return a?gcd(b%a,a):b;} ll lcm(ll a, ll b) { return a/gcd(a,b)*b;} #define yes {cout <<"Yes"<>n>>q; vvi a(n,vi(31)); vi m(n); rep(i,n) cin>>m[i]; vector c(q); vi l(q),r(q),x(q); rep(i,q){ cin>>c[i]>>l[i]>>r[i]>>x[i]; l[i]--; r[i]--; } // 2を決定 { rep(ii,31){ lazy_segtree ls(n); rep(i,q){ int a = (x[i]>>ii&1); if (a==0) continue; if (c[i] == 'o'){ ls.apply(l[i],r[i]+1,{0,-q-1}); }else{ ls.apply(l[i],r[i]+1,{1,1}); } } rep(i,n) if (ls.get(i)>=0) a[i][ii] = ls.get(i)%2 + 2; } } // 0,1を決定 { rep(ii,31){ lazy_segtree ls(n); rep(i,q){ int a = (x[i]>>ii&1); if (a==0) continue; if (c[i] == 'o'){ ls.apply(l[i],r[i]+1,{0,1}); }else{ ls.apply(l[i],r[i]+1,{-1,1}); } } rep(i,n) if (a[i][ii]<2 && ls.get(i)==1) a[i][ii] = 1; } } vvm cnt(n,vm(31)); rep(i,n){ vvm dp(2,vm(31)); dp[0][0] = 1; rrep(j,31){ int b = (m[i]>>j&1); vvm tmp(2,vm(31)); swap(dp, tmp); rep(ii,31){ // tmp[ii] if (a[i][j] == 0 || a[i][j] == 1){ rep(jj,2){ int np = a[i][j]; int nii = ii+np; if (b == 0){ if (jj==0 && nii<31) dp[0][nii] += tmp[0][ii]; if (nii<31) dp[1][nii] += tmp[1][ii]; }else{ if (jj==1 && nii<31) dp[0][nii] += tmp[0][ii]; if (jj==0 && nii<31) dp[1][nii] += tmp[0][ii]; if (nii<31) dp[1][nii] += tmp[1][ii]; } } } if (a[i][j] >= 2){ rep(jj,2){ int np = jj; if (a[i][j]==3) np ^= 1; int nii = ii+np; if (b == 0){ if (jj==0 && nii<31) dp[0][nii] += tmp[0][ii]; if (nii<31) dp[1][nii] += tmp[1][ii]; }else{ if (jj==1 && nii<31) dp[0][nii] += tmp[0][ii]; if (jj==0 && nii<31) dp[1][nii] += tmp[0][ii]; if (nii<31) dp[1][nii] += tmp[1][ii]; } } } } } rep(ii,31){ if (ii) cnt[i][ii] += cnt[i][ii-1]; cnt[i][ii] += dp[0][ii]+dp[1][ii]; } } mint ans = 0; rep1(i,31){ mint tmp1 = 1; mint tmp2 = 1; rep(j,n){ tmp1 *= cnt[j][i]; tmp2 *= cnt[j][i-1]; } ans += (tmp1-tmp2) * i; } outm; return; } int main(){ ios::sync_with_stdio(false); cin.tie(0); int t = 1; //cin>>t; rep(i,t){ solve(); } return 0; }