#include using namespace std; template inline void chmin(T1 &a,T2 b){if(a>b) a=b;} template inline void chmax(T1 &a,T2 b){if(a struct Mint{ static constexpr T mod = MOD; T v; Mint():v(0){} Mint(signed v):v(v){} Mint(long long t){v=t%MOD;if(v<0) v+=MOD;} Mint pow(long long k){ Mint res(1),tmp(v); while(k){ if(k&1) res*=tmp; tmp*=tmp; k>>=1; } return res; } static Mint add_identity(){return Mint(0);} static Mint mul_identity(){return Mint(1);} Mint inv(){return pow(MOD-2);} Mint& operator+=(Mint a){v+=a.v;if(v>=MOD)v-=MOD;return *this;} Mint& operator-=(Mint a){v+=MOD-a.v;if(v>=MOD)v-=MOD;return *this;} Mint& operator*=(Mint a){v=1LL*v*a.v%MOD;return *this;} Mint& operator/=(Mint a){return (*this)*=a.inv();} Mint operator+(Mint a) const{return Mint(v)+=a;} Mint operator-(Mint a) const{return Mint(v)-=a;} Mint operator*(Mint a) const{return Mint(v)*=a;} Mint operator/(Mint a) const{return Mint(v)/=a;} Mint operator-() const{return v?Mint(MOD-v):Mint(v);} bool operator==(const Mint a)const{return v==a.v;} bool operator!=(const Mint a)const{return v!=a.v;} bool operator <(const Mint a)const{return v constexpr T Mint::mod; template ostream& operator<<(ostream &os,Mint m){os< class Enumeration{ using M = M_; protected: static vector fact,finv,invs; public: static void init(int n){ n=min(n,M::mod-1); int m=fact.size(); if(n=m;i--) finv[i-1]=finv[i]*M(i); for(int i=m;i<=n;i++) invs[i]=finv[i]*fact[i-1]; } static M Fact(int n){ init(n); return fact[n]; } static M Finv(int n){ init(n); return finv[n]; } static M Invs(int n){ init(n); return invs[n]; } static M C(int n,int k){ if(n vector Enumeration::fact=vector(); template vector Enumeration::finv=vector(); template vector Enumeration::invs=vector(); template V compress(V vs){ sort(vs.begin(),vs.end()); vs.erase(unique(vs.begin(),vs.end()),vs.end()); return vs; } template map dict(const vector &vs){ map res; for(int i=0;i<(int)vs.size();i++) res[vs[i]]=i; return res; } map dict(const string &s){ return dict(vector(s.begin(),s.end())); } struct UnionFind{ int num; vector rs,ps; UnionFind(){} UnionFind(int n):num(n),rs(n,1),ps(n,0){iota(ps.begin(),ps.end(),0);} int find(int x){ return (x==ps[x]?x:ps[x]=find(ps[x])); } bool same(int x,int y){ return find(x)==find(y); } void unite(int x,int y){ x=find(x);y=find(y); if(x==y) return; if(rs[x]>n>>m; vector as(m),bs(m); for(int i=0;i>as[i]>>bs[i],as[i]--,bs[i]--; using M = Mint; using E = Enumeration; E::init(1e6); M ans{0}; // empty for(int k=3;k<=n;k++) ans+=E::C(n,k)*E::Fact(k-1)/M(2); // cerr<; map memo; auto calc=[&](int cnt,int num){ // cerr< cs(n,0); for(int bit=1;bit ss; for(int i=0;i>i)&1){ cs[as[i]]++; cs[bs[i]]++; ss.emplace_back(as[i]); ss.emplace_back(bs[i]); } } ss=compress(ss); auto dc=dict(ss); UnionFind uf(ss.size()); int flg=0; for(int i=0;i2; flg|=cs[bs[i]]>2; } for(int i=0;i>i)&1){ int a=dc[as[i]]; int b=dc[bs[i]]; flg|=uf.same(a,b); uf.unite(a,b); } } int vs=ss.size(); int es=__builtin_popcount(bit); if(vs>=3 and uf.count()==1 and vs==es){ if(__builtin_parity(bit)) ans-=M(1); else ans+=M(1); continue; } if(flg) continue; int cnt=vs-es; int num=n-vs; M res=calc(cnt,num); assert(cnt==uf.count()); if(es==1) res-=M(1); res*=M(2).pow(cnt-1); res*=E::Fact(cnt-1); if(__builtin_parity(bit)) ans-=res; else ans+=res; } cout<