#include <bits/stdc++.h>
#define int long long
using namespace std;
using ll = long long;
using LD = long double;
using PII = pair<int, int>;
const int N = 1e6 + 10;
const int inf = 1e18;
const double eps = 1e-10;
const int mod = 1e9 + 7;
int n, _, m, k, rt;
vector<int> e[N], sons[N], ans, red;
int a[N], pre[N];
bool vis[N];
void clear()
{
    for (int i = 0; i <= n; i++)
    {
        e[i].clear();
        sons[i].clear();
        pre[i] = 0;
        a[i] = 0;
        vis[i] = false;
    }
    rt = 0;
    ans.clear();
    red.clear();
}
bool dfs1(int u, int fa)
{
    for (auto v : e[u])
    {
        if (!a[v])
            return true;
    }
    return false;
}
void bfs(int s)
{
    queue<int> q;
    q.push(s);
    while (!q.empty())
    {
        auto u = q.front();
        q.pop();
        if (vis[u])
            continue;
        vis[u] = true;
        sons[pre[u]].push_back(u);
        ans.push_back(u);
        if (a[u])
            continue;
        for (auto v : e[u])
        {
            q.push(v);
            pre[v] = u;
        }
    }
}
void solve()
{
    cin >> n >> m >> k;
    for (int i = 1; i <= k; i++)
    {
        int x;
        cin >> x;
        a[x] = 1;
    }
    for (int i = 1; i <= m; i++)
    {
        int u, v;
        cin >> u >> v;
        e[u].push_back(v);
        e[v].push_back(u);
    }
    for (int i = 1; i <= n; i++)
    {
        if (!a[i])
            rt = i;
    }
    if (rt == 0)
    {
        cout << "No" << endl;
        return;
    }
    for (int i = 1; i <= n; i++)
    {
        if (a[i] && !dfs1(i, i))
        {
            cout << "No" << endl;
            return;
        }
    }
    bfs(rt);
    if ((int)ans.size() != n)
    {
        cout << "No" << endl;
    }
    else
    {
        cout << "Yes" << endl;
        int cnt = 0;
        for (int i = 1; i <= n; i++)
        {
            vis[i] = false;
        }
        for (auto u : ans)
        {
            if (sons[u].empty())
                continue;
            cnt++;
            red.push_back(u);
        }
        cout << cnt << endl;
        for (auto u : red)
        {
            cout << u << " " << sons[u].size();
            for (auto v : sons[u])
            {
                cout << " " << v;
            }
            cout << endl;
        }
    }
}
signed main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    cout << fixed << setprecision(10);
    _ = 1;
    // cin >> _;
    while (_--)
    {
        solve();
        // clear();
    }
}