#include <bits/stdc++.h>

using namespace std;
using ll = long long;

int main(){
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);

    //N-1回以内に集合できるか？
    //dp(i, S, j)=iから通った頂点集合がSの状態でjに行けるか？
    //iからは|S|回目にjに行ける。

    int N, M, K, U, V, L, x, y;
    cin >> N >> M >> K;
    vector<int> X(K);
    vector<vector<int>> E(N);
    for (int i=0; i<K; i++){
        cin >> X[i];
        X[i]--;
    }
    for (int i=0; i<M; i++){
        cin >> U >> V; U--; V--;
        E[U].push_back(V);
        E[V].push_back(U);
    }
    L = 1<<N;

    vector dp(K, vector(L, vector<bool>(N)));
    for (int i=0; i<K; i++){
        dp[i][1<<X[i]][X[i]] = 1;
        for (int j=0; j<L; j++){
            for (int k=0; k<N; k++){
                if (!dp[i][j][k]) continue;
                for (auto x : E[k]){
                    if (j>>x & 1) continue;
                    dp[i][j|(1<<x)][x] = 1;
                }
            }
        }
    }
    //i回目にjから行ける点の集合
    vector v(N+1, vector<int>(K));
    for (int i=0; i<K; i++){
        for (int j=0; j<L; j++){
            for (int k=0; k<N; k++){
                if (dp[i][j][k]){
                    U = __builtin_popcount(j);
                    v[U][i] |= 1<<k;
                }
            }
        }
    }

    for (int i=1; i<=N; i++){
        x = L-1;
        for (int j=0; j<K; j++) x &= v[i][j];
        
        if (x != 0){
            cout << "Yes" << endl;
            return 0;
        }
    }

    cout << "No" << endl;


    return 0;
}