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

const int N=2e5+10,M=1e6+10;
int head[N],e[M],nxt[M],tot;
int busy[N];int vis[N];

int n,m,k;
vector<int> ans[N];int cans;
int ctot;

void add(int u,int v)
{
    e[++tot]=v;nxt[tot]=head[u];head[u]=tot;
}

void dfs(int u,int fa)
{
    int cur=++cans;
    ans[cur].push_back(u);
    for(int i=head[u];i;i=nxt[i])
    {
        int v=e[i];
        if(v==fa || vis[v])
            continue;
        vis[v]=1;
        if(!busy[v])
            dfs(v,u);
        ans[cur].push_back(v);

    };
    ctot+=ans[cur].size()-1;
    if(ans[cur].size()==1)
    {
        ans[cans].clear();
        cans--;
    };
}

int main()
{   
    scanf("%d %d %d",&n,&m,&k);
    for(int i=1;i<=k;i++)
    {
        int x;
        scanf("%d",&x);
        busy[x]=1;
    };
    for(int i=1;i<=m;i++)
    {
        int u,v;scanf("%d %d",&u,&v);
        add(u,v);add(v,u);
    };
    int st=-1;
    for(int i=1;i<=n;i++)
        if(!busy[i])
            st=i;
    if(st==-1)
    {
        printf("No\n");
        return 0;
    };
    vis[st]=1;
    dfs(st,-1);
    // printf("ctot=%d\n",ctot);
    if(ctot!=n-1)
    {
        printf("No\n");
    } else 
    {
        printf("Yes\n");
        printf("%d\n",cans);
        for(int i=1;i<=cans;i++)
        {
            printf("%d ",ans[i][0]);
            printf("%d ",ans[i].size()-1);
            for(int j=1;j<ans[i].size();j++)
                printf("%d ",ans[i][j]);
            printf("\n");
        };
    };
    return 0;
}