#!/usr/bin/python2
# -*- coding: utf-8 -*-
# †
from math import factorial as fact

mod = 10**9 + 7

from itertools import tee
# s -> (s0,s1), (s1,s2), (s2,s3), ...
def pairwise(iterable):
    a, b = tee(iterable)
    next(b, None)
    return zip(a, b)

n, k = map(int, raw_input().split())
if k == 0:
    res = fact(n) % mod
    print res
    exit(0)
a = map(int, raw_input().split())
a.append(0)
a.append((1<<n) - 1)
a = sorted(set(a))
res = 1
for p, q in pairwise(a):
    if p | q != q:
        print 0
        exit(0)
    cnt = bin(p ^ q).count('1')
    res *= fact(cnt)
    res %= mod
print res