#include using namespace std; #include using namespace atcoder; using mint=modint998244353; vector nim_prod_table(256, vector(256)); vector nim_inv_table(65536); 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 a_l=a-(a_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<>p; unsigned long long a_l=a-(a_h<,vector> gauss_jordan(int r, int c, vector> & m) { vector members; vector not_members; int rank=0; for(int i=0;i0){ pivot=j; break; } } if(pivot==-1){ not_members.emplace_back(i); continue; } members.emplace_back(i); swap(m[pivot], m[rank]); auto inv=nim_inv(m[rank][i]); m[rank][i]=1; for(int k=i+1;k> & u, vector> & m){ vector v(rank); for(int i=0;i v2(rank); for(int i=0;i clean(rank); unsigned long long inv=nim_inv(v2[a_col]^1); for(int i=0;i> n >> t; vector h(t, vector(n)); for(int i=0;i> h[i][j]; --h[i][j]; } } auto [rank,members,not_members]=gauss_jordan(t, n, h); int s=0; for(int i: members){ s+=1< seen(1< ranks(1<> st; seen[s]=true; ranks[s]=rank; vector u(rank, vector(rank)); for(int i=0;i0){ swap(members[i], not_members[j]); dynamic_matrix_rank(rank, i, members[i], not_members[j], u, h); } } } for(int r=rank-1;r>=0;--r){ vector is_member(n); for(int i=n-r;i0){ ranks[s]=r; break; } } } while(next_permutation(is_member.begin(), is_member.end())); } for(int r=0;r is_member(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; }