#include #include #include #include #include #include #include #include #include #include namespace nachia{ // reference // https://drive.google.com/file/d/16g1tfSHUU4NXNTDgaD8FSA1WB4FtJCyV/edit class NimberManager{ private: using u32 = unsigned int; using u64 = unsigned long long; std::vector precalc1; void fill_precalc1(){ precalc1.assign(1 << 16, 0); precalc1[(1 << 8) ^ 1] = 1; for(int dd=1; dd<8; dd<<=1){ int d = 1 << dd; int c = d >> 1; for(int a0=0; a0> us, b >> us, d); u64 a2b2 = product_full(a & lm, b & lm, d); u64 aabb = product_full((a & lm) ^ (a >> us), (b & lm) ^ (b >> us), d); buf ^= (aabb ^ a2b2); buf <<= us; buf ^= a2b2; buf ^= product_full((u64)1 << (us - 1), a1b1, d); return buf; } public: NimberManager(){ fill_precalc1(); } unsigned long long product(unsigned long long a, unsigned long long b) noexcept { return product_full(a,b); } }; } // namespace nachia namespace nachia{ int Popcount(unsigned long long c) noexcept { #ifdef __GNUC__ return __builtin_popcountll(c); #else c = (c & (~0ull/3)) + ((c >> 1) & (~0ull/3)); c = (c & (~0ull/5)) + ((c >> 2) & (~0ull/5)); c = (c & (~0ull/17)) + ((c >> 4) & (~0ull/17)); c = (c * (~0ull/257)) >> 56; return c; #endif } // please ensure x != 0 int MsbIndex(unsigned long long x) noexcept { #ifdef __GNUC__ return 63 - __builtin_clzll(x); #else using u64 = unsigned long long; int q = (x >> 32) ? 32 : 0; auto m = x >> q; constexpr u64 hi = 0x8888'8888; constexpr u64 mi = 0x1111'1111; m = (((m | ~(hi - (m & ~hi))) & hi) * mi) >> 35; m = (((m | ~(hi - (x & ~hi))) & hi) * mi) >> 31; q += (m & 0xf) << 2; q += 0x3333'3333'2222'1100 >> (((x >> q) & 0xf) << 2) & 0xf; return q; #endif } // please ensure x != 0 int LsbIndex(unsigned long long x) noexcept { #ifdef __GNUC__ return __builtin_ctzll(x); #else return MsbIndex(x & -x); #endif } } using i64 = long long; using u64 = unsigned long long; #define rep(i,n) for(int i=0; i=0; i--) const i64 INF = 1001001001001001001; const char* yn(bool x){ return x ? "Yes" : "No"; } template void chmin(A& l, const A& r){ if(r < l) l = r; } template void chmax(A& l, const A& r){ if(l < r) l = r; } template using nega_queue = std::priority_queue,std::greater>; using Modint = atcoder::static_modint<998244353>; using namespace std; void testcase(){ int N, T; cin >> N >> T; vector> A(T, vector(N)); rep(t,T) rep(i,N){ cin >> A[t][i]; A[t][i]--; } nachia::NimberManager nim; vector> F(T*64, vector(N)); rep(t,T) rep(i,N) rep(b,64){ u64 x = nim.product(A[t][i], u64(1) << b); rep(e,64) F[t*64+e][i] |= ((x >> e) & 1) << b; } int y = 0; repr(x,N*64) if(y < T*64){ for(int t=y; t ranks(1 << N); auto msb = [&](const vector& x) -> int { int f = int(x.size()) - 1; while(f >= 0 && x[f] == 0) f--; if(f < 0) return -1; return f * 64 + nachia::LsbIndex(x[f]); }; auto dfs = [&](auto& dfs, vector> q, int offseti, int offsetd, int z) -> void { if(z == 1){ ranks[offseti] = offsetd; for(auto& qq : q) if(qq[0]) offsetd++; ranks[offseti + 1] = offsetd; return; } auto q1 = q; int d1 = offsetd; rep(t,64){ if(q1.back().back() != 0) d1++; q1.pop_back(); } for(auto& qq : q1) qq.pop_back(); dfs(dfs, move(q1), offseti + (1 << (z-1)), d1, z-1); q1 = move(q); for(auto& qq : q1) qq.pop_back(); rep(t,64){ auto q1x = move(q1.back()); q1.pop_back(); int b = msb(q1x); if(b >= 0){ for(int t=b+1; t> (b%64)) & 1){ rep(i,q1x.size()) q1[t][i] ^= q1x[i]; } } swap(q1[b], q1x); } } dfs(dfs, move(q1), offseti, offsetd, z-1); }; vector> qinit(N*64, vector(N)); rep(i,y) qinit[msb(F[i])] = move(F[i]); dfs(dfs, qinit, 0, 0, N); vector W(1<