#include namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, m, x, k; cin >> n >> m >> x >> k; VI a(n); rep(i, n) cin >> a[i]; if (k == 2) { dsu uf(n); rep(_, m) { int u, v; cin >> u >> v; u--, v--; if (abs(a[u] - a[v]) <= x) uf.merge(u, v); } ll ans = 0; rep(v, n) if (uf.leader(v) == v) { int sz = uf.size(v); ans += sz * ll(sz - 1); } cout << ans << '\n'; return 0; } VI ex; VVI g(n); int sz = 0; rep(_, m) { int u, v; cin >> u >> v; u--, v--; if (abs(a[u] - a[v]) > x) continue; g[u].emplace_back(sz); g[v].emplace_back(sz); ex.emplace_back(u ^ v); sz++; } dsu uf(sz); rep(u, n) { ranges::sort(g[u], {}, [&](int i) { return a[ex[i]^u]; }); rep(p, ssize(g[u]) - 1) { int i = g[u][p], j = g[u][p+1]; int vi = u ^ ex[i], vj = u ^ ex[j]; if (max({a[u], a[vi], a[vj]}) - min({a[u], a[vi], a[vj]}) <= x) { uf.merge(i, j); } } } auto gs = uf.groups(); VI eid2gid(sz); rep(g, ssize(gs)) for (int i : gs[g]) eid2gid[i] = g; VVI gid2vs(ssize(gs)); rep(v, n) for (int i : g[v]) gid2vs[eid2gid[i]].emplace_back(v); for (auto& vs : gid2vs) vs.erase(unique(all(vs)), vs.end()); ll ans = 0; for (int s = 0; s < n;) { using ull = unsigned long long; static vector dp1, dp2; dp1.assign(gs.size(), 0); dp2.assign(n, 0); static VI used; used.clear(); rep(h, 64) { if (s == n) break; dp2[s] |= 1ULL << h; for (int i : g[s]) { int g = eid2gid[i]; used.emplace_back(g); dp1[g] |= 1ULL << h; } s++; } for (int g : used) for (int v : gid2vs[g]) dp2[v] |= dp1[g]; rep(v, n) ans += popcount(dp2[v]); } ans -= n; cout << ans << '\n'; }