#include namespace nono { // type 1: ε›žεΎ© // type 2: ζ„ŸζŸ“ struct Event { long long time; long long type; long long index; Event(long long time, long long type, long long index): time(time), type(type), index(index) {} }; bool operator<(const Event& lhs, const Event& rhs) { if (lhs.time == rhs.time and lhs.type == rhs.type) return lhs.index > rhs.index; if (lhs.time == rhs.time) return lhs.type > rhs.type; return lhs.time > rhs.time; } void solve() { int N, M, K, P; std::cin >> N >> K >> M >> P; std::vector graph(N, std::vector()); for (int i = 0; i < M; i++) { int u, v; std::cin >> u >> v; u--; v--; graph[u].push_back(v); graph[v].push_back(u); } std::vector s(N); for (int i = 0; i < N; i++) std::cin >> s[i]; std::priority_queue events; std::vector kansen(N); std::vector keneki(N); std::vector meneki(N); for (int i = 0; i < K; i++) { int x; std::cin >> x; x--; kansen[x] = true; events.emplace(P, 1, x); events.emplace(s[x], 2, x); } std::set used; while (not events.empty()) { auto event = events.top(); events.pop(); if (used.contains(event)) continue; used.insert(event); auto [time, type, u] = event; // std::cerr << time << ' ' << type << ' ' << u << std::endl; if (keneki[u]) continue; if (type == 1) { meneki[u] = true; } else { for (int v: graph[u]) { if (meneki[v]) continue; if (keneki[v]) continue; if (not kansen[v]) { events.emplace(time + P, 1, v); events.emplace(time + s[v], 2, v); kansen[v] = true; } else { keneki[v] = true; } } } } std::cout << std::accumulate(keneki.begin(), keneki.end(), 0LL) << std::endl; } } // namespace nono int main() { std::cin.tie(0)->sync_with_stdio(0); std::cout << std::fixed << std::setprecision(15); int t = 1; // std::cin >> t; while (t--) nono::solve(); }