#define _CRT_SECURE_NO_WARNINGS #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define MAX_MOD 1000000007 #define REP(i,n) for(long long i = 0;i < n;++i) #define LONG_INF 10000000000000000 int main() { iostream::sync_with_stdio(false); long long n,k; cin >> n >> k; vector a; a.push_back(0); REP(i, k) { long long tmp; cin >> tmp; a.push_back(tmp); } long long wow = 1; for (int i = 0;i < n;++i) { wow *= 2; } a.push_back(wow-1); long long ans = 1; sort(a.begin(), a.end()); for (int i = 1;i < a.size();++i) { long long fir = a[i - 1]; long long sec = a[i]; long long cnt = 0; while (!(fir == 0 && sec == 0)) { if (fir % 2 == 1) { if (sec % 2 == 0) { cout << 0 << endl; return 0; } } else { if (sec % 2 == 1) { cnt++; } } fir /= 2; sec /= 2; } long long pop = 1; for (int i = 0;i < cnt-1;++i) { pop *= (i+2); pop %= MAX_MOD; } ans *= pop; ans %= MAX_MOD; } cout << ans << endl; return 0; }