from collections import deque from itertools import combinations nim_prod_table=[[0]*256 for _ in range(256)] nim_inv_table=[0]*65536 def 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 nim_inv_table[1]=1 for d in range(3): p=1<>p a_l=a-(a_h<>p b_l=b-(b_h< int: if p==64: if a<(1<<8) and n<8: p=8 elif a<(1<<16) and n<16: p=16 elif a<(1<<32) and n<32: p=32 if p==8: return nim_prod_table[a][1<>p a_l=a-(a_h< int: if p==64: if a<(1<<8): p=8 elif a<(1<<16): p=16 elif a<(1<<32): p=32 if p==8: return nim_prod_table[a][a] p//=2 a_h=a>>p a_l=a-(a_h << p) h_sq=nim_square(a_h, p) l_sq=nim_square(a_l, p) return (h_sq< int: if a==0 or b==0: return 0 if a==1: return b if b==1: return a if p==64: if a<(1<<8) and b<(1<<8): p=8 elif a<(1<<16) and b<(1<<16): p=16 elif a<(1<<32) and b<(1<<32): p=32 if p==8: return nim_prod_table[a][b] p//=2 a_h=a>>p a_l=a-(a_h<>p b_l=b-(b_h<>p a_l=a-(a_h< int: if p==64: if a<(1<<16): p=16 elif a<(1<<32): p=32 if p==16: return nim_inv_table[a] p//=2 a_h=a>>p a_l=a-(a_h< tuple[int, list[int], list[int]]: members=[] not_members=[] rank=0 for i in range(c): pivot=-1 for j in range(rank, r): if m[j][i]>0: pivot=j break if pivot==-1: not_members.append(i) continue members.append(i) m[pivot], m[rank]=m[rank], m[pivot] inv=nim_inv(m[rank][i]) m[rank][i]=1 for k in range(i+1, c): m[rank][k]=nim_product(m[rank][k], inv) for j in range(r): if j==rank: continue factor=m[j][i] m[j][i]=0 for k in range(i+1, c): m[j][k]^=nim_product(m[rank][k], factor) rank+=1 if rank==r: not_members+=[j for j in range(i+1, c)] break return rank, members, not_members def dynamic_matrix_rank(rank: int, a_col: int, from_col: int, to_col: int, u: list[list[int]], m: list[list[int]]) -> int: v=[0]*rank for i in range(rank): v[i]=m[i][from_col]^m[i][to_col] v2=[0]*rank for i in range(rank): for j in range(rank): v2[i]^=nim_product(u[i][j], v[j]) if v2[a_col]==1: return 0 clean=[0]*rank inv=nim_inv(v2[a_col]^1) for i in range(rank): if i==a_col: clean[i]=inv ^ 1 else: clean[i]=nim_product(v2[i], inv) u_row=u[a_col][:] for i in range(rank): for j in range(rank): u[i][j]^=nim_product(clean[i], u_row[j]) return 1 nim_prod_precalc() nim_inv_precalc() n,t=map(int, input().split()) h=[list(map(lambda a: int(a)-1, input().split())) for _ in range(t)] for i in range(t): h[i].reverse() rank, members, not_members=gauss_jordan(t, n, h) s=sum(1 << i for i in members) seen=[0]*(1<>n j=ij-(i<0: members[i],not_members[j]=not_members[j],members[i] dynamic_matrix_rank(rank, i, members[i], not_members[j], u, h) for r in reversed(range(rank)): for members_tuple in combinations(range(n), r): members=list(members_tuple) is_member=[0]*n s=0 for i in members: is_member[i]=1 s+=1<0: ranks[s]=r break for r in range(n): for members_tuple in combinations(range(n), r): members=list(members_tuple) is_member=[0]*n s=0 for i in members: is_member[i]=1 s+=1<0: if count%2>0: ans+=mods[count-ranks[s]] else: ans-=mods[count-ranks[s]] else: if count%2>0: ans-=mods[count-ranks[s]] else: ans+=mods[count-ranks[s]] ans%=MOD print(ans)