#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #if __has_include() #include using namespace atcoder; #endif #define GET_MACRO(_1, _2, _3, NAME, ...) NAME #define _rep(i, n) _rep2(i, 0, n) #define _rep2(i, a, b) for(int i = (int)(a); i < (int)(b); i++) #define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() using i64 = long long; template bool chmin(T& a, const U& b) { return (b < a) ? (a = b, true) : false; } template bool chmax(T& a, const U& b) { return (b > a) ? (a = b, true) : false; } templateistream& operator>>(istream&i,vector&v){rep(j,v.size())i>>v[j];return i;} templatestring join(vector&v){stringstream s;rep(i,v.size())s<<' '<ostream& operator<<(ostream&o,vector&v){if(v.size())o<string join(vector>&vv){string s="\n";rep(i,vv.size())s+=join(vv[i])+"\n";return s;} templateostream& operator<<(ostream&o,vector>&vv){if(vv.size())o<> n >> m; vector o(n); cin >> o; vector edge(n, vector()); vector cnt(n); rep(i, m) { int a, b; cin >> a >> b; a--, b--; if (o[a] > o[b]) swap(a, b); if (o[a] < o[b]) edge[a].push_back(b), cnt[b]++; } vector lamp(n, 0); int k; cin >> k; rep(i, k) { int b; cin >> b; b--; lamp[b] = 1; } queue que; rep(i, n) if (!cnt[i]) que.push(i); vector ans; while (!que.empty()) { auto now = que.front(); que.pop(); if (lamp[now]) { ans.push_back(now + 1); } for (auto e: edge[now]) { cnt[e]--; if (lamp[now]) lamp[e] = !lamp[e]; if (!cnt[e]) que.push(e); } } cout << ans.size() << endl; rep(i, ans.size()) cout << ans[i] << "\n"; }