#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);++i)
using namespace std;
using ll = long long;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    
    int n,m,k;
    cin >> n >> m >> k;
    vector<int> x(k);
    rep(i,k) cin >> x[i],x[i]--;
    vector<vector<int>> g(n);
    rep(i,m){
        int u,v;
        cin >> u >> v;
        u--;v--;
        g[u].push_back(v);
        g[v].push_back(u);
    }

    vector<vector<vector<int>>> a(k,vector<vector<int>>(n,vector<int>(n,0)));

    rep(ki,k){
        vector<vector<int>> dp(1<<n,vector<int>(n,0));
        dp[1<<x[ki]][x[ki]] = 1;
        rep(bit, 1<<n){
            rep(j,n){
                for(int l:g[j]){
                    if((bit & (1<<l))==0){
                        dp[bit|(1<<l)][l] |= dp[bit][j];
                    }
                }
            }
        }
        rep(j,n){
            rep(bit,1<<n){
                if(dp[bit][j]){
                    int c=0;
                    rep(l,n){
                        if(bit & (1<<l)) c++;
                    }
                    a[ki][j][c]=1;
                }
            }
        }
    }
    // rep(i,k){
    //     rep(j,n){
    //         rep(l,n) cout << a[i][j][k] << " ";
    //         cout << endl;
    //     }
    //     cout << endl;
    // }

    rep(i,n){
        rep(j,n){
            bool o = true;
            rep(l,k) if(!a[l][i][j]) o = false;
            if(o){
                cout << "Yes" << endl;
                return 0;
            }

        }
    }
    cout << "No" << endl;
}