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

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

    int N,M,K; cin >> N >> M >> K;
    vector<int> X(K);
    for(auto &x : X) cin >> x,x--;
    vector<vector<int>> Graph(N);
    for(int i=0; i<M; i++){
        int u,v; cin >> u >> v;
        u--; v--;
        Graph.at(u).push_back(v);
        Graph.at(v).push_back(u);
    }

    int n2 = 1<<N;
    vector<int> ones(n2);
    for(int i=0; i<n2; i++) ones.at(i) = __popcount(i);

    vector<vector<int>> ok(N,vector<int>(N));
    int idx = 0;
    for(auto &start : X){
        vector dp(N,vector<bool>(n2));
        dp.at(start).at(1<<start) = true;
        for(int k=0; k<n2; k++) for(int i=0; i<N; i++){
            if(dp.at(i).at(k) == false) continue;
            ok.at(i).at(ones.at(k)-1) |= (1<<idx);
            for(auto to : Graph.at(i)){
                if(k&(1<<to)) continue;
                dp.at(to).at(k+(1<<to)) = true;
            }
        }
        idx++;
    }
    for(auto &o : ok) for(auto &v : o) if(v == (1<<K)-1){cout << "Yes\n"; return 0;}
    cout << "No\n";
}