# 整数の大小関係で有効グラフになる
# 各連結成分ごとに調べる、そのために入次数0を記録
# 連結成分でON=[0101]を調べる、連結成分の始めから見ていく
# switch使ったら記録
# BFS or DFSだろう
# 問題読み違えていた、ランプは次だけ変わる

N, M = map(int, input().split())
A = [0]+list(map(int, input().split()))
edges = [[] for i in range(N+1)]
inward = [0]*(N+1)
for i in range(M):
    u, v = map(int, input().split())
    if A[u] < A[v]:
        edges[u].append(v)
        inward[v] += 1
    elif A[u] > A[v]:
        edges[v].append(u)
        inward[u] += 1

K = int(input())
B = list(map(int, input().split()))


# その連結成分の始めからやらないと最小手順にならない
# ということは連結成分の最初を探す必要がある, degree check
# 問題読み違えていた、ランプは次だけ変わる

from collections import deque

onoff = [0]*(N+1)
for b in B:
    onoff[b] = 1
    
start = []
for i in range(1, N+1):
    if inward[i] == 0:
        start.append(i)

switch_list = []

ans = []    
while start:
    next_start = []
    for s in start:
        if onoff[s] == 1:
            # スイッチ押す
            onoff[s] = 0
            ans.append(s)
            for nxt in edges[s]:
                onoff[nxt] ^= 1
        for nxt in edges[s]:
            inward[nxt] -= 1
            # 入次数がゼロになれば、その頂点以前はすべて処理済みということ
            if inward[nxt] == 0:
                next_start.append(nxt)
    start = next_start
    
print(len(ans))
for a in ans:
    print(a)