#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;
//vector<int>g[N], ans[N];
//bool vis[N], st[N];
//int idd[N], tot;
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;
	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);
	}
	int fa = 0;
	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;
}