n,k,*a=`dd`.split.map &:to_i
F=->x{x<1?0:F[x/2]+x%2}
[0,*a.sort,2**n-r=1].each_cons(2){|x,y|r*=x&y<x ?0:(1..F[y^x]).inject(1,:*)}
p r%=10**9+7