function Main(INPUT){
  const input=INPUT.split("\n");
  const [N,M,K]=input[0].split(" ").map(_=>parseInt(_));
  const start=input[1].split(" ").map(_=>parseInt(_));
  const path=Array(N).fill().map(_=>[]);
  for(let i=0;i<M;i++){
    let [u,v]=input[i+2].split(" ").map(_=>parseInt(_));
    u--;
    v--;
    path[u].push(v);
    path[v].push(u);
  }
  const reach=Array(N).fill().map(_=>Array(N).fill().map(_=>[]));
  for(let i=0;i<K;i++){
    let s=start[i];
    s--;
    let ss=new Set([s])
    let t=new Set([[ss, s]]);
    let q=[[ss,s]];
    reach[s][0].push(i);
    while(q.length>0){
      let [v,now]=q.pop();
      for(let x of path[now]){
        if(v.has(x)) continue;
        let u=new Set([...v, x]);
        if(!t.has([u,x])){
          if(!reach[x][u.size-1].includes(i)){
            reach[x][u.size-1].push(i);
          }
          t.add([u,x]);
          q.push([u,x]);
        }
      }
    }
  }
  let ok=false;
  for(let i=0;i<N;i++){
    for(let j=0;j<N;j++){
      if(reach[i][j].length==K) ok=true;
    }
  }
  console.log(ok?"Yes":"No");
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));