#include #include #include #include #include #include #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< using pq = priority_queue, greater>; vector> edge; vector state; void solve(int now) { state[now] ^= 1; for(auto i : edge[now]) state[i] ^= 1; } int main() { int n, m; cin >> n >> m; state.resize(n); edge.resize(n); map mii; vector> v; rep(i, n) { int a; cin >> a; mii[i] = a; v.emplace_back(a, i); } rep(i, m) { int j, k; cin >> j >> k; j--; k--; if(mii[j] < mii[k]) edge[j].push_back(k); if(mii[k] < mii[j]) edge[k].push_back(j); } int k; cin >> k; rep(i, k) { int b; cin >> b; b--; state[b] = 1; } sort(all(v)); vector ans; for(auto [i, j] : v) { // cout << "state : " << state << endl; if(state[j]) { solve(j); ans.push_back(j + 1); } } // cout << "ans" << endl; auto sum = accumulate(all(state), 0); if(sum == 0) { cout << int(ans.size()) << endl; cout << ans << endl; }else{ cout << -1 << endl; } return 0; }