#include using namespace std; #include using namespace atcoder; using mint=modint998244353; vector nim_prod_table(256, vector(256)); vector nim_inv_table(256); void nim_prod_precalc() { nim_prod_table[0][0]=0; nim_prod_table[0][1]=0; nim_prod_table[1][0]=0; nim_prod_table[1][1]=1; for(int d=0;d<3;++d){ int p=1<>p; unsigned long long a_l=a-(a_h<>p; unsigned long long b_l=b-(b_h<>p; unsigned long long a_l=a-(a_h<>p; unsigned long long b_l=b-(b_h<>p; unsigned long long a_l=a-(a_h<,vector> gauss_jordan(int r, int c, vector> & m) { vector sets; vector not_sets; int rank=0; for(int i=0;i0){ pivot=j; break; } } if(pivot==-1){ not_sets.emplace_back(i); continue; } sets.emplace_back(i); swap(m[pivot], m[rank]); auto inv=nim_inv(m[rank][i]); m[rank][i]=1; for(int k=rank+1;k> & d, vector> & u, int row, int col) { vector v(rank); unsigned long long inv=nim_inv(d[row][col]); for(int i=0;i> & u, vector> & a, vector> & m){ vector v(rank); for(int i=0;i new_v(rank); for(int i=0;i(rank)); int leading_entry_row=rank; for(int i=0;i=a_col && leading_entry_row==rank && d[i][a_col]>0){ leading_entry_row=i; } } if(leading_entry_row0){ leading_entry_col=i; break; } } if(leading_entry_col0){ if(i!=j){ swap(d[i], d[j]); swap(u[i], u[j]); } ok=true; break; } } if(!ok){ return false; } } return true; } int main(void) { nim_prod_precalc(); nim_inv_precalc(); int n,t; cin >> n >> t; vector h(t, vector(n)); for(int i=0;i> h[i][j]; --h[i][j]; } } auto m=h; auto [rank,sets,not_sets]=gauss_jordan(t, n, m); int s=0; for(int i: sets){ s+=1< seen(1< ranks(1<,vector,vector>,vector>>> st; seen[s]=true; ranks[s]=rank; vector e(rank, vector(rank)); for(int i=0;i=0;--r){ vector st(n); for(int i=n-r;i0){ ranks[s]=r; break; } } } while(next_permutation(st.begin(), st.end())); } for(int r=0;r st(n); for(int i=n-r;i0){ if(count%2>0){ ans+=p.pow(count-ranks[s]); } else { ans-=p.pow(count-ranks[s]); } } else { if(count%2>0){ ans-=p.pow(count-ranks[s]); } else { ans+=p.pow(count-ranks[s]); } } } cout << ans.val() << endl; return 0; }