#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 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 dfs(int now){
	vis[now]=1;
	if(st[now]) return ;
	idd[tot]=now;
	for(auto s:g[now]){
		if(vis[s]) continue;
		dfs(s);
		ans[now].push_back(s);
	}
}
void solve() {
	cin >> n >> m >> k;
	for (int i = 1; i <= k; i++) {
		int x;
		cin>>x;
		st[x] = 1;
	}
	for (int i = 1; i <= m; i++) {
		int u, v;
		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 (int j = 0; j < ans[tmp].size(); j++) {
			cout << ans[i][j] << " ";
		}
		cout << endl;
	}
}
signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);
	int _ = 1;
//	cin >> _;
	while (_--) {
		solve();
	}
	return 0;
}