#include <bits/stdc++.h>
#define int long long 
using namespace std;
const int N=400005;

int n,m,k,a[N],vis[N],head[N],ocp[N],ans[N];
int cnt,tot;
int kans[N];
queue <int> q;
vector <int> vec[N];
struct qwq{
	int to,hext;
}e[1000006];

void add(int x,int y) {
	e[++tot].to=y;
	e[tot].hext=head[x];
	head[x]=tot;
}


void bfs(int x) {
	vis[x]=1;
	while (!q.empty()) {
		int u=q.front(); ans[++cnt]=u;
		q.pop();
		for (int i=head[u];i;i=e[i].hext) {
			int v=e[i].to;
			if (ocp[v]) continue;
			if (vis[v]) continue;
			q.push(v);
			vis[v]=1;
			vec[cnt].push_back(v);
		}
		if ((int)vec[cnt].size()==0) cnt--;
	}	
	return ;
}

signed main(){
	ios::sync_with_stdio(0);
	cin.tie(0); cout.tie(0);
 	cin>>n>>m>>k;
 	for (int i=1;i<=k;i++) cin>>a[i];
 	for (int i=1;i<=k;i++) ocp[a[i]]=1;
 	for (int i=1;i<=m;i++) {
 		int x,y; cin>>x>>y;
		 add(x,y); add(y,x);	
	}
	int kk=0;
	for (int i=1;i<=n;i++) {
		if (!ocp[i]) {
			kk=i; 
			q.push(i); 
			break;
		}
	} 	
	if (k==n) {
		cout<<"No"<<'\n';
		return 0;
	}
	cnt=0;
	bfs(kk); 
	for (int i=1;i<=cnt;i++) {
		kans[ans[i]]=i;
	}
//	cout<<"qwq cnt="<<cnt<<endl;
	for (int i=1;i<=n;i++) {
		int u=i;
		if (!vis[i]) continue;
		if (ocp[i]) continue;
		int tt;
		if (kans[i]) tt=kans[i];
		else tt=(++cnt),ans[cnt]=i;
		for (int i=head[u];i;i=e[i].hext) {
			int v=e[i].to;
			if (!vis[v]) {
				vis[v]=1; vec[tt].push_back(v);
			}
		}
		if ((int)vec[tt].size()==0) cnt--;
	}
	bool tf=1;
	for (int i=1;i<=n;i++) {
		if (vis[i]==0) tf=0;
	}	
	if (tf==0) {
		cout<<"No"<<'\n';
		return 0;
	}
	else {
		cout<<"Yes"<<'\n';
		cout<<cnt<<'\n';
		for (int i=1;i<=cnt;i++) {
			cout<<ans[i]<<' ';
			cout<<(int)vec[i].size()<<' ';
			for (auto j:vec[i]) cout<<j<<' '; 
			cout<<'\n';
		}	
	}
	
	return 0;
}


/*
7 8 2
3 4
1 2
1 3
2 3
3 4
2 4
5 1
6 2
7 5




*/