#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define endl '\n'
#define int long long

void slove()
{
    int n,m,k;
    cin>>n>>m>>k;
    // map<int,int> check;
    vector<int> check(n+1);
    for(int i=1;i<=k;i++){
        int temp;
        cin>>temp;
        check[temp]=1;
    }
    vector<vector<int> >  a(n+1);
    vector<int> cc(n+1,0);
    for(int i=1;i<=m;i++){
        int q,p;
        cin>>q>>p;
        a[q].push_back(p);
        a[p].push_back(q);
        if(check[q]==0){
            cc[q]++;
            cc[p]++;
        }
        if(check[p]==0){
            cc[q]++;
            cc[p]++;
        }
    }
    bool flag=true;
    int pos=0;
    int mx=0;
    for(int i=1;i<=n;i++){
        if(cc[i]==0){
            flag=false;
            break;
        }
        if(cc[i]>mx&&!check[i]){
            mx=cc[i];
            pos=i;
        }
    }
    if(flag==false){
        cout<<"No\n";
        return;
    }
    int cnt=0;
    vector<vector<int> > ans;
    // map<int,int> Check;
    vector<int> Check(n+1);
    queue<int> q;
    q.push(pos);
    while(q.size()){
        pos=q.front();
        q.pop();
        vector<int> temp;
        temp.push_back(pos);
        temp.push_back(0);
        Check[pos]=1;
        for(int j=0;j<a[pos].size();j++){
            if(Check[a[pos][j]]==0){
                Check[a[pos][j]]=1;
                if(check[a[pos][j]]==0)
                    q.push(a[pos][j]);
                temp[1]++;
                temp.push_back(a[pos][j]);
            }
        }
        if(temp[1]){
            ans.push_back(temp);
            cnt+=temp[1];
        }
    }
    cnt++;
    if(cnt!=n){
        cout<<"No\n";
        return;
    }
    cout<<"Yes\n";
    cout<<ans.size()<<endl;
    for(int i=0;i<ans.size();i++){
        for(int j=0;j<ans[i].size();j++)
            cout<<ans[i][j]<<' ';
        cout<<endl;
    }
    return;
}
signed main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    int T;
    T=1;
    while(T--)
        slove();
    return 0;
}