Problem: Bessie is planning a vacation! In Cow-lifornia, there are n cities, with n-1 bidirectional roads connecting them. It is guaranteed that one can reach any city from any other city. 

Bessie is considering v possible vacation plans, with the i-th one consisting of a start city a_i and destination city b_i.

It is known that only r of the cities have rest stops. Bessie gets tired easily, and cannot travel across more than k consecutive roads without resting. In fact, she is so desperate to rest that she may travel through the same city multiple times in order to do so.

For each of the vacation plans, does there exist a way for Bessie to travel from the starting city to the destination city?

Input

The first line contains three integers n, k, and r (2 ≤ n ≤ 2 ⋅ 10^5, 1 ≤ k,r ≤ n) — the number of cities, the maximum number of roads Bessie is willing to travel through in a row without resting, and the number of rest stops.

Each of the following n-1 lines contain two integers x_i and y_i (1 ≤ x_i, y_i ≤ n, x_i ≠ y_i), meaning city x_i and city y_i are connected by a road. 

The next line contains r integers separated by spaces — the cities with rest stops. Each city will appear at most once.

The next line contains v (1 ≤ v ≤ 2 ⋅ 10^5) — the number of vacation plans.

Each of the following v lines contain two integers a_i and b_i (1 ≤ a_i, b_i ≤ n, a_i ≠ b_i) — the start and end city of the vacation plan. 

Output

If Bessie can reach her destination without traveling across more than k roads without resting for the i-th vacation plan, print YES. Otherwise, print NO.

Examples

Input


6 2 1
1 2
2 3
2 4
4 5
5 6
2
3
1 3
3 5
3 6


Output


YES
YES
NO


Input


8 3 3
1 2
2 3
3 4
4 5
4 6
6 7
7 8
2 5 8
2
7 1
8 1


Output


YES
NO

Note

The graph for the first example is shown below. The rest stop is denoted by red.

For the first query, Bessie can visit these cities in order: 1, 2, 3.

For the second query, Bessie can visit these cities in order: 3, 2, 4, 5. 

For the third query, Bessie cannot travel to her destination. For example, if she attempts to travel this way: 3, 2, 4, 5, 6, she travels on more than 2 roads without resting.

<image>

The graph for the second example is shown below. 

<image>

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int MAXN = 2.1e5;
namespace dsu {
int par[MAXN];
void reset(int N) {
  for (int i = 0; i < N; i++) par[i] = -1;
}
int getPar(int a) { return par[a] < 0 ? a : (par[a] = getPar(par[a])); }
void merge(int a, int b) {
  a = getPar(a), b = getPar(b);
  if (a == b) return;
  if (par[b] < par[a]) swap(a, b);
  par[a] += par[b];
  par[b] = a;
}
}  // namespace dsu
int main() {
  ios::sync_with_stdio(0), cin.tie(0);
  int N, K, R;
  cin >> N >> K >> R;
  vector<pair<int, int>> edges(N - 1);
  vector<vector<int>> adj(N);
  for (int e = 0; e < N - 1; e++) {
    int a, b;
    cin >> a >> b;
    a--, b--;
    edges[e] = {a, b};
    adj[a].push_back(b);
    adj[b].push_back(a);
  }
  {
    vector<int> sz(N);
    function<void(int, int)> dfs_sz = [&](int cur, int prv) -> void {
      sz[cur] = 1;
      for (int nxt : adj[cur]) {
        if (nxt == prv) continue;
        dfs_sz(nxt, cur);
        sz[cur] += sz[nxt];
      }
      nth_element(adj[cur].begin(), adj[cur].begin(), adj[cur].end(),
                  [&](int i, int j) { return sz[i] > sz[j]; });
    };
    dfs_sz(0, -1);
  }
  vector<int> depth(N);
  vector<int> heavyRoot(N);
  vector<int> par(N);
  vector<int> preorder;
  preorder.reserve(N);
  vector<int> st(N);
  {
    function<void(int, int)> dfs_hld = [&](int cur, int prv) -> void {
      par[cur] = prv;
      depth[cur] = (prv == -1 ? 0 : depth[prv] + 1);
      st[cur] = int(preorder.size());
      preorder.push_back(cur);
      par[cur] = prv;
      heavyRoot[cur] =
          (prv != -1 && st[prv] + 1 == st[cur] ? heavyRoot[prv] : cur);
      for (int nxt : adj[cur]) {
        if (nxt == prv) continue;
        dfs_hld(nxt, cur);
      }
    };
    dfs_hld(0, -1);
    assert(int(preorder.size()) == N);
  }
  auto getAnc = [&](int cur, int d) -> int {
    d = depth[cur] - d;
    assert(d >= 0);
    while (d < depth[heavyRoot[cur]]) {
      cur = par[heavyRoot[cur]];
    }
    return preorder[st[cur] - (depth[cur] - d)];
  };
  auto lca = [&](int a, int b) -> int {
    while (heavyRoot[a] != heavyRoot[b]) {
      assert(min(a, b) >= 0);
      if (st[a] > st[b]) swap(a, b);
      b = par[heavyRoot[b]];
    }
    return st[a] < st[b] ? a : b;
  };
  vector<pair<int, int>> restDist(N, {-1, -1});
  {
    vector<int> q;
    q.reserve(N);
    for (int r = 0; r < R; r++) {
      int v;
      cin >> v;
      v--;
      restDist[v] = {0, v};
      q.push_back(v);
    }
    for (int z = 0; z < int(q.size()); z++) {
      int cur = q[z];
      for (int nxt : adj[cur]) {
        if (restDist[nxt].first == -1) {
          restDist[nxt] = restDist[cur];
          restDist[nxt].first++;
          q.push_back(nxt);
        }
      }
    }
  }
  dsu::reset(N);
  for (int e = 0; e < N - 1; e++) {
    int a, b;
    tie(a, b) = edges[e];
    if (restDist[a].first + restDist[b].first + 1 <= K) {
      dsu::merge(restDist[a].second, restDist[b].second);
    }
  }
  auto query = [&](int a, int b) -> bool {
    int c = lca(a, b);
    int da = depth[a] - depth[c];
    int db = depth[b] - depth[c];
    int d = da + db;
    if (d <= K) return true;
    int md = (K + 1) / 2;
    int pa = (md <= da ? getAnc(a, md) : getAnc(b, d - md));
    int pb = (md <= db ? getAnc(b, md) : getAnc(a, d - md));
    return md + max(restDist[pa].first, restDist[pb].first) <= K &&
           dsu::getPar(restDist[pa].second) == dsu::getPar(restDist[pb].second);
  };
  int Q;
  cin >> Q;
  while (Q--) {
    int a, b;
    cin >> a >> b;
    a--, b--;
    cout << (query(a, b) ? "YES" : "NO") << '\n';
  }
  return 0;
}