#include<iostream>
#include<vector>
#include<bitset>
using namespace std;
int main()
{
    int N,M,K;
    cin >> N >> M >> K;
    vector<int>X(K);
    for(int i=0;i<K;i++)cin >> X[i];
    vector<vector<int>>graph(N);
    for(int i=0;i<M;i++){
        int a,b;
        cin >> a >> b;
        graph[a-1].push_back(b);
        graph[b-1].push_back(a);
    }
    //N個それぞれの頂点について、0~N回の操作後に全員が同じ公園に集まることができるかどうか
    vector<vector<bool>>ans(N,vector<bool>(N+1,true));
    for(int t=0;t<K;t++){
        //操作回数、いる頂点、ビット
        vector<vector<vector<bool>>>dp(N+1,vector<vector<bool>>(N,vector<bool>(1<<N,false)));
        dp[0][X[t]-1][1<<(X[t]-1)]=true;
        for(int i=0;i<N;i++){
            for(int j=0;j<N;j++){
                bool ok=false;
                for(int tmp=0;tmp<(1<<N);tmp++){
                    if(dp[i][j][tmp]==false)continue;
                    ok=true;
                    bitset<15>s(tmp);
                    for(int k=0;k<graph[j].size();k++){
                        if(s[graph[j][k]-1])continue;
                        dp[i+1][graph[j][k]-1][tmp+(1<<(graph[j][k]-1))]=true;
                    }
                }
                if(ok==false)ans[j][i]=false;
            }
        }
        for(int i=0;i<N;i++){
            bool ok=false;
            for(int tmp=0;tmp<(1<<N);tmp++)if(dp[N][i][tmp])ok=true;
            if(ok==false)ans[i][N]=false;
        }
    }
    bool ok=false;
    for(int i=0;i<N;i++)for(int j=0;j<=N;j++)if(ans[i][j])ok=true;
    if(ok)cout << "Yes" << endl;
    else cout << "No" << endl;
}