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

const int N = 2E5 + 5;
const int M = 5E5 + 5;
int st[N];

vector<int> g[N];
void add(int f, int t) {
    g[f].push_back(t);
    g[t].push_back(f);
}

void clr(int n) {
    n += 2;
    for (int i = 0; i <= n; ++i) {
        g[i].clear();
    }
}

template <typename T = size_t> // T需为整型。
struct __DSU {                 // 以1为起始下标。
    // data field:
    vector<T> pa;

    // public:
    explicit __DSU(T size) : pa(size + 1) { iota(pa.begin(), pa.end(), 0); }

    T __find(T x) { return pa[x] == x ? x : find(pa[x]); } // 朴素查找.
    T find(T x) {
        return pa[x] == x ? x : pa[x] = find(pa[x]);
    } // 带路径压缩查找.

    void merge(T x, T y) { pa[find(x)] = find(y); }

    int query(T x, T y) { // 查询两元素是否在同一集合.
        return (find(x) == find(y));
    }
};

void solve() {
    int n, m, k;
    int it;
    cin >> n >> m >> k;
    for (int i = 1; i <= k; ++i) {
        cin >> it;
        st[it] = 1;
    }
    for (int i = 1; i <= m; ++i) {
        int a, b;
        cin >> a >> b;
        add(a, b);
    }

    int r = 0;
    __DSU<> dsu(n);
    for (int i = 1; i <= n; ++i) {
        if (!st[i]) {
            r = i;
            break;
        }
    }
    if (!r) {
        cout << "No\n";
        return;
    }

    st[r] = 1;

    vector<vector<int>> ans;
    stack<int, vector<int>> stk;
    stk.push(r);

    while (stk.size()) {
        auto r = stk.top();
        stk.pop();

        vector<int> res;
        res.emplace_back(r);
        for (auto &it : g[r]) {
            if (!dsu.query(r, it)) {
                res.emplace_back(it);
                dsu.merge(r, it);
                if (!st[it]) {
                    stk.push(it);
                    st[it] = 1;
                }
            }
        }

        if (res.size() != 1)
            ans.emplace_back(res);
    }

    for (int i = 2; i <= n; ++i) {
        if (!dsu.query(i, 1)) {
            cout << "No\n";
            return;
        }
    }

    cout << "Yes\n";
    cout << ans.size() << '\n';
    for (auto &it : ans) {
        cout << it[0] << ' ' << (int)it.size() - 1 << ' ';
        for (int j = 1; j < it.size(); ++j) {
            cout << it[j] << ' ';
        }
        cout << '\n';
    }
    return;
}

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    int n = 1;
    // cin >> n;
    while (n--)
        solve();
    return 0;
}