n,k,*a=$<.read.split.map &:to_i
r=0
f=->x{("%b"%x).count ?1}
a&&[0,*a,2**n-r=1].sort.uniq.each_cons(2){|x,y|r=x&y<x ?0:(1..f[y]-f[x]).inject(:*)*r%(10**9+7)}
p r