#include <bits/stdc++.h>

#define F(i, a, b) for (int i = a; i <= b; i ++)
#define pb push_back
#define putc putchar

using namespace std;

const int N = 2e5 + 10;
int n, m, k, x, y, a[N], bz[N], st, en, Q[N], flag[N], cnt;
vector <int> e[N], w[N], s;

int main() {
//	freopen("data.in","r",stdin);

	scanf("%d %d %d", &n, &m, &k);
	F(i, 1, k) scanf("%d", &a[i]), bz[a[i]] = 1;
	F(i, 1, m) scanf("%d %d", &x, &y), e[x].pb(y), e[y].pb(x);

	F(j, 1, n)
		if (!bz[j]) {
			Q[++ en] = j; flag[j] = 1;
			while (st ++ < en) {
				int k = Q[st];
				if (bz[k]) continue;
				++ cnt;
				s.pb(k);
				for (auto x : e[k])
					if (!flag[x])
						flag[x] = 1, w[k].pb(x), Q[++ en] = x;
			}
			if (en == n) {
				puts("Yes");
				printf("%d\n", cnt);
				for (auto x : s) {
					printf("%d %d ", x, w[x].size());
					for (auto y : w[x])
						printf("%d ", y);
					putc('\n');
				}
			}
			else
				puts("No");
			break;
		}
}