#include <bits/stdc++.h>
using namespace std;


void solve() {
    int n, m, k;
    cin >> n >> m >> k;
    vector<int>a(n + 1);
    vector<vector<int>>e(n + 1);
    for (int i = 1;i <= k;i++) {
        int x;cin >> x;
        a[x] = 1;
    }
    vector<int>vis(n + 1);
    map<int, vector<int>>mp;
    for (int i = 1;i <= m;i++) {
        int a, b;cin >> a >> b;
        e[a].push_back(b);
        e[b].push_back(a);
    }
    int fi = 0;
    for (int i = 1;i <= n;i++) {
        if (a[i])continue;
        if (!fi) {
            vis[i] = 1;
            fi = 1;
        }
        else if (!vis[i])continue;
        for (auto v : e[i]) {
            if (!vis[v]) {
                mp[i].push_back(v);
                vis[v] = 1;
            }
        }
    }
    for (int i = 1;i <= n;i++) {
        if (!vis[i]) {
            cout << "No\n";return;
        }
    }
    cout << "Yes\n";
    cout << mp.size() << "\n";
    for (int i = 1;i <= n;i++) {
        if (mp[i].size()) {
            cout << i << " " << mp[i].size() << " ";
            for (auto x : mp[i]) {
                cout << x << " ";
            }
            cout << "\n";
        }
    }
}

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    int T = 1;
#ifdef LOCAL
    freopen("data.in", "r", stdin);
    freopen("data.out", "w", stdout);
#endif
    // cin >> T;
    while (T--)
        solve();
    return 0;
}