# 各頂点について、その頂点に行くまでに通過した頂点の集合を記録する(bitDP)
# これによって、各頂点について何ターン目にその頂点に到達できるかを求めることができる

N, M, K = map(int, input().split())
X = set(list(map(int, input().split())))

G = [[] for _ in range(N)]
for _ in range(M):
    u, v = map(int, input().split())
    G[u - 1].append(v - 1)
    G[v - 1].append(u - 1)


def turns_to_reach_vertices(x):
    """
    頂点xから各頂点に何ターン目に到達できるかを求める
    """
    dp = [[False] * N for _ in range(1 << N)]
    dp[1 << x][x] = True
    dist = [[] for _ in range(N)]
    for S in range(1 << N):
        for v in range(N):
            if not dp[S][v]:
                continue
            for u in G[v]:
                if S >> u & 1:
                    continue
                dp[S | 1 << u][u] = True
    for S in range(1 << N):
        for v in range(N):
            if dp[S][v]:
                dist[v].append(bin(S).count("1") - 1)
    dist = [set(d) for d in dist]
    return dist


# 各頂点で出会えるか？
ok = [set(range(N)) for _ in range(N)]
for x in X:
    k = turns_to_reach_vertices(x - 1)
    for v in range(N):
        ok[v] &= k[v]

print("Yes" if any(len(o) >= 1 for o in ok) else "No")