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

int main(){
    int n,m,k;cin>>n>>m>>k;
    vector<int> x(k);for(auto&e:x)cin>>e,e--;
    vector<vector<int>> g(n);
    for(int i=0;i<m;i++){
        int u,v;cin>>u>>v;
        u--;v--;
        g[u].push_back(v);
        g[v].push_back(u);
    }
    vector f(n,vector<bool>(n,1));
    for(auto&&e:x){
        vector dp(1<<n,vector<bool>(n));
        dp[1<<e][e]=1;
        for(int i=0;i<n;i++){
            vector<bool> f2(n);
            for(int S=0;S<(1<<n);S++){
                for(int p=0;p<n;p++){
                    if(dp[S][p])f2[p]=1;
                }
            }
            for(int p=0;p<n;p++){
                f[i][p]=f[i][p]&&f2[p];
            }
            vector ndp(1<<n,vector<bool>(n));
            for(int S=0;S<(1<<n);S++){
                for(int p=0;p<n;p++){
                    if(!dp[S][p])continue;
                    for(auto&&nx:g[p]){
                        // if(S>>nx&1)continue;
                        ndp[S|(1<<nx)][nx]=1;
                    }
                }
            }
            swap(dp,ndp);
        }
    }
    for(auto&&vec:f){
        for(auto&&flg:vec){
            if(flg){
                cout<<"Yes\n";
                return 0;
            }
        }
    }
    cout<<"No\n";
}