#include<iostream>
#include<vector>
#include<cassert>
using namespace std;
int N,M,K;
int X[15];
vector<int>G[15];
bool dp[1<<15][15];
int ok[15];
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>M>>K;
	for(int i=0;i<K;i++)
	{
		cin>>X[i];
		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);
	}
	for(int i=0;i<N;i++)ok[i]=(1<<N)-1;
	for(int i=0;i<K;i++)
	{
		for(int j=0;j<1<<N;j++)for(int k=0;k<N;k++)dp[j][k]=false;
		dp[1<<X[i]][X[i]]=true;
		int T[15]={};
		for(int j=1;j<1<<N;j++)for(int k=0;k<N;k++)if(dp[j][k])
		{
			T[__builtin_popcount(j)-1]|=1<<k;
			for(int v:G[k])if(!(j>>v&1))dp[j|1<<v][v]=true;
		}
		for(int j=0;j<N;j++)ok[j]&=T[j];
	}
	for(int i=0;i<N;i++)if(ok[i])
	{
		cout<<"Yes"<<endl;
		return 0;
	}
	cout<<"No"<<endl;
}