#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include //#include //#include //#include //#include //#include //#include //#include //#include //#include //#if __cplusplus >= 201103L //#include //#include //#include //#include // //#define cauto const auto& //#else //#endif using namespace std; typedef long long ll; typedef pair pii; typedef pair pll; typedef vector vint; typedef vector > vvint; typedef vector vll, vLL; typedef vector > vvll, vvLL; #define VV(T) vector > template void initvv(vector > &v, int a, int b, const T &t = T()){ v.assign(a, vector(b, t)); } template void convert(const F &f, T &t){ stringstream ss; ss << f; ss >> t; } #undef _P #define _P(...) (void)printf(__VA_ARGS__) #define reep(i,a,b) for(int i=(a);i<(b);++i) #define rep(i,n) reep((i),0,(n)) #define ALL(v) (v).begin(),(v).end() #define PB push_back #define F first #define S second #define mkp make_pair #define RALL(v) (v).rbegin(),(v).rend() #define DEBUG #ifdef DEBUG #define dump(x) cout << #x << " = " << (x) << endl; #define debug(x) cout << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl; #else #define dump(x) #define debug(x) #endif #define MOD 1000000007LL #define EPS 1e-8 #define INF 0x3f3f3f3f #define INFL 0x3f3f3f3f3f3f3f3fLL #define maxs(x,y) x=max(x,y) #define mins(x,y) x=min(x,y) // Mod int // const int MOD = 1000000007; struct mint{ ll x; mint():x(0){} mint(ll x):x((x%MOD+MOD)%MOD){} mint operator+=(const mint& a){ if((x+=a.x)>=MOD) x-=MOD; return *this;} mint operator-=(const mint& a){ if((x+=MOD-a.x)>=MOD) x-=MOD; return *this;} mint operator*=(const mint& a){ (x*=a.x)%=MOD; return *this;} mint operator+(const mint& a)const{ return mint(*this) += a;} mint operator-(const mint& a)const{ return mint(*this) -= a;} mint operator*(const mint& a)const{ return mint(*this) *= a;} bool operator==(const mint& a)const{ return x == a.x;} friend ostream& operator<<(ostream& os, const mint& mi) { os << mi.x; return os; } }; void mainmain(){ int n; cin>>n; int m; cin>>m; vll v(m); rep(i,m) cin>>v[i]; sort(ALL(v)); bool ok = true; rep(i,m-1){ ok&=v[i]==(v[i]&v[i+1]); } mint d(1); rep(i,n-m){ d*=mint(i+1); } cout<<(ok?d:0)<