from copy import deepcopy from collections import deque from itertools import combinations nim_prod_table=[[0]*256 for _ in range(256)] nim_inv_table=[0]*256 def nim_prod_and_inv_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 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< 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_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(rank+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(rank+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 clean_column(rank: int, d: list[list[int]], u: list[list[int]], row: int, col: int): inv=nim_inv(d[row][col]) v=[(inv^1) if i==row else nim_product(d[i][col], inv) for i in range(rank)] new_d=deepcopy(d) new_u=deepcopy(u) for i in range(rank): for j in range(rank): new_d[i][j]^=nim_product(v[i], d[row][j]) new_u[i][j]^=nim_product(v[i], u[row][j]) d, new_d=new_d, d def dynamic_matrix_rank(rank: int, a_col: int, m_col: int, u: list[list[int]], a: list[list[int]], m: list[list[int]]) -> bool: v=[(a[i][a_col]^m[i][m_col]) for i in range(rank)] new_v=[0]*rank for i in range(rank): for j in range(rank): new_v[i]^=nim_product(u[i][j], v[j]) d=[[int(i==j) for j in range(rank)] for i in range(rank)] leading_entry_row=rank for i in range(rank): d[i][a_col]^=new_v[i] if i>=a_col and leading_entry_row==rank and 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: d[i], d[j]=d[j], d[i] u[i], u[j]=u[j], u[i] ok=True break if not ok: return False return True nim_prod_and_inv_precalc() n,t=map(int, input().split()) h=[list(map(lambda a: int(a)-1, input().split())) for _ in range(t)] rank, members, not_members=gauss_jordan(t, n, h) s=0 for i in members: 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=[False]*n s=0 for i in members: is_member[i]=True s+=1<0: if count%2>0: ans+=pow(P, count-ranks[s], MOD) else: ans-=pow(P, count-ranks[s], MOD) else: if count%2>0: ans-=pow(P, count-ranks[s], MOD) else: ans+=pow(P, count-ranks[s], MOD) ans%=MOD print(ans)