#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; std::vector inv_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; } u64 inv_full(u64 a, int d = 6) { if (a < 256) { return inv_precalc1[a]; } u64 p = 1 << (d - 1); u64 a_h = a >> p; u64 a_l = a - (a_h << p); u64 half_inv = inv_full(product_full(a_h ^ a_l, a_l, d) ^ product_full(product_full(a_h, a_h, d - 1), 1ULL << (p - 1)), d - 1); return (product_full(half_inv, a_h, d) << p) ^ product_full(half_inv, a_h ^ a_l, d); return (product_full(half_inv, a_h, d) << p) ^ product_full(half_inv, a_h ^ a_l, d); } public: NimberManager(){ fill_precalc1(); inv_precalc(); } unsigned long long product(unsigned long long a, unsigned long long b) noexcept { return product_full(a,b); } unsigned long long inv(unsigned long long a) noexcept { return inv_full(a); } }; } // 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 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; } #include 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; int y = 0; for(int x=N-1; x>=0; x--) if(y < T){ for(int t=y; t ranks(1 << N); auto most_significant = [&](const vector& x) -> int { int f = int(x.size()) - 1; while(f >= 0 && x[f] == 0) f--; return f; }; auto dfs = [&](auto& dfs, vector> q, int offseti, int offsetd, int z) -> void { if(z == 1){ ranks[offseti] = offsetd; if(q[0][0]) offsetd += 64; ranks[offseti + 1] = offsetd; return; } auto q1 = q; int d1 = offsetd; if(q1.back().back() != 0) d1 += 64; 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(); auto q1x = move(q1.back()); q1.pop_back(); int b = most_significant(q1x); if(b >= 0){ auto inv_b = nim.inv(q1x[b]); for(int t=0; t<=b; t++) q1x[t] = nim.product(q1x[t], inv_b); for(int t=b+1; t> qinit(N, vector(N)); rep(i,y) qinit[most_significant(A[i])] = move(A[i]); dfs(dfs, qinit, 0, 0, N); vector W(1<