#include<bits/stdc++.h>
#define FILE "read"
using namespace std;
typedef long long ll;
struct node{int y,next;}e[805];
int n,m,cnt,len,a[20],Link[20],bin[20],Map[20][20];
ll ans,f[20][20];
inline int read(){
	int x=0,f=1;  char ch=getchar();
	while(!isdigit(ch))  {if(ch=='-')  f=-1;  ch=getchar();}
	while(isdigit(ch))  {x=x*10+ch-'0';  ch=getchar();}
	return x*f;
}
void insert(int x,int y){e[++len].next=Link[x];Link[x]=len;e[len].y=y;}
void dfs(int x,int fa){
	for(int i=Link[x];i;i=e[i].next)if(e[i].y!=fa)dfs(e[i].y,x);
	for(int j=1;j<=cnt;++j){
		f[x][a[j]]=1;
		for(int i=Link[x];i;i=e[i].next)if(e[i].y!=fa){
			ll temp=0;
			for(int k=1;k<=cnt;++k)
				if(Map[a[j]][a[k]])  temp+=f[e[i].y][a[k]];
			f[x][a[j]]*=temp; if(!f[x][a[j]])  break;
		}
	}
}
int main(){
	freopen(FILE".in","r",stdin);
	freopen(FILE".out","w",stdout);
	n=read();  m=read();  bin[0]=1;
	for(int i=1;i<=n;++i) bin[i]=bin[i-1]*2;
	for(int i=1;i<=m;++i){int x=read(),y=read();Map[x][y]=Map[y][x]=1;}
	for(int i=1;i<n;++i){int x=read(),y=read();insert(x,y);insert(y,x);}
	for(int i=1;i<bin[n];++i){
		cnt=0;  ll temp=0;
		for(int j=1;j<=n;++j)if(i&bin[j-1])a[++cnt]=j;
		dfs(1,0); 
		for(int j=1;j<=cnt;++j) temp+=f[1][a[j]];
		if((n&1)==(cnt&1)) ans+=temp;  else ans-=temp;
	}
	printf("%lld\n",ans);
	return 0;
}