#include <bits/stdc++.h>
using namespace std;
#define int long long
#define endl '\n'
#define inf 0x3f3f3f3f3f3f3f3f
#define PII pair<int, int>
const int N = 2e5 + 10;
int read(){
	int ret=0,f=1;char ch=getchar();
	while(!isdigit(ch)){if(ch=='-')f=-f;ch=getchar();}
	while( isdigit(ch)){ret=(ret<<3)+(ret<<1)+(ch&15);ch=getchar();}
	return ret*f;
}
int n,m,k,fa,tot; 
vector<int> g[N],ans[N];
int idd[N];
bool st[N],vis[N];
void dfs(int now) {
	vis[now] = 1;
	if (st[now])return ;
	idd[++tot] = now;
	for (auto i : g[now]) {
		if (vis[i])continue;
		dfs(i);
		ans[now].push_back(i);
	}
}
void solve() {
//	cin >> n >> m >> k;
	n=read(),m=read(),k=read();
	for (int i = 1; i <= k; i++) {
		int x;
		cin>>x;
		st[read()] = 1;
	}
	for (int i = 1; i <= m; i++) {
		int u=read(), v=read();
//		cin >> u >> v;
		g[u].push_back(v);
		g[v].push_back(u);
	}
	for (int i = 1; i <= n; i++) {
		if (!st[i]) {
			fa = i;
			break;
		}
	}
	dfs(fa);
	for (int i = 1; i <= n; i++) {
		if (!vis[i]) {
			cout << "No" << endl;
			return ;
		}
	}
	int num = 0;
	for (int i = 1; i <= tot; i++) {
		int tmp = idd[i];
		if (!ans[tmp].size())num++;
	}
	cout << "Yes" << endl << tot - num << endl;
	for (int i = 1; i <= tot; i++) {
		int tmp = idd[i];
		if (!ans[tmp].size())continue;
		cout << tmp << " " << ans[tmp].size() << " ";
		for (auto j:ans[tmp]) {
			cout << j << " ";
		}
		cout << endl;
	}
}
signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);
	int _ = 1;
//	cin >> _;
	while (_--) {
		solve();
	}
	return 0;
}