#include using namespace std; #define FOR(i,a,b) for(int i=(a);i<(b);i++) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() template inline bool chmax(A &a, B b) { if (a inline bool chmin(A &a, B b) { if (a>b) { a=b; return 1; } return 0; } typedef unsigned long long ull; typedef long long ll; typedef pair pii; typedef pair pll; typedef pair P; const ll INF = 1ll<<29; const ll MOD = 1000000007; const double EPS = 1e-12; int main() { int n, k; ll a[60]; cin >> n >> k; REP(i, k) scanf("%lld", a + i); ll ans = 1; sort(a, a + k); FOR(i, 1, k) { REP(j, n) if ((a[i - 1] >> j & 1) && !(a[i] >> j & 1)) ans = 0; } REP(i, n - k) ans = ans * (n - k - i) % MOD; cout << ans << endl; return 0; }