#include <bits/stdc++.h>
using namespace std;
int n,m,k;
int x[15];
vector<int> g[15];
int main(){
    cin>>n>>m>>k;
    for(int i=0;i<k;i++)cin>>x[i];
    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<vector<int>> dp(k,vector<int>(n<<n));
    vector<vector<int>> ok(k,vector<int>(n*n));
    for(int i=0;i<k;i++){
        x[i]--;
        dp[i][(1<<x[i])*n+x[i]]=1;
        ok[i][x[i]*n+1]=1;
        for(int j=0;j<(n<<n);j++){
            if(dp[i][j]==0)continue;
            int s=j/n;
            for(auto l:g[j%n]){
                if(s>>l&1)continue;
                dp[i][(s|(1<<l))*n+l]=1;
                ok[i][l*n+__builtin_popcount(s)+1]=1;
            }
        }
        // cout<<"i:"<<i<<"\n";
        // for(int j=0;j<(n<<n);j++){
        //     cout<<j%n<<" "<<(bitset<5>(j/n))<<" "<<dp[i][j]<<"\n";
        // }
    }

    for(int i=0;i<n*n;i++){
        bool fl=true;
        for(int j=0;j<k;j++)fl&=ok[j][i];
        if(fl){
            cout<<"Yes\n";
            return 0;
        }
    }
    cout<<"No\n";
}