# 整数の大小関係で有効グラフになる
# 各連結成分ごとに調べる、そのために入次数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
# さらに、1<3, 2<3, 3<4, 3<5のような形だとどこが最初か、いつ確定かが言いにくい

from collections import deque

onoff = [0]*(N+1)
for b in B:
    onoff[b] = 1

ans = [0]*(N+1)

for start in range(1, N+1):
    if inward[start] > 0:
        continue
    
    que = deque()
    que.append((start, 0)) #2nd for switch count
    while que:
        current, switch = que.popleft()
        #print('current', current, 'switch', switch, 'onoff', onoff)
        
        if (onoff[current] + switch)%2 == 0:
            for nxt in edges[current]:
                #onoff[nxt] += switch
                que.append((nxt, switch))
        else:
            ans[current] += 1
            for nxt in edges[current]:
                #onoff[nxt] += switch+1
                que.append((nxt, switch+1))                
            
ans_list = []
for i in range(1, N+1):
    if ans[i] %2 == 1:
        ans_list.append(i)
print(len(ans_list))
for a in ans_list:
    print(a)