Problem: In a magical land there are n cities conveniently numbered 1, 2, ..., n. Some pairs of these cities are connected by magical colored roads. Magic is unstable, so at any time, new roads may appear between two cities.

Vicky the witch has been tasked with performing deliveries between some pairs of cities. However, Vicky is a beginner, so she can only complete a delivery if she can move from her starting city to her destination city through a double rainbow. A double rainbow is a sequence of cities c_1, c_2, ..., c_k satisfying the following properties:

  * For each i with 1 ≤ i ≤ k - 1, the cities c_i and c_{i + 1} are connected by a road. 
  * For each i with 1 ≤ i ≤ (k - 1)/(2), the roads connecting c_{2i} with c_{2i - 1} and c_{2i + 1} have the same color. 



For example if k = 5, the road between c_1 and c_2 must be the same color as the road between c_2 and c_3, and the road between c_3 and c_4 must be the same color as the road between c_4 and c_5.

Vicky has a list of events in chronological order, where each event is either a delivery she must perform, or appearance of a new road. Help her determine which of her deliveries she will be able to complete.

Input

The first line contains four integers n, m, c, and q (2 ≤ n ≤ 10^5, 1 ≤ m, c, q ≤ 10^5), denoting respectively the number of cities, the number of roads initially present, the number of different colors the roads can take, and the number of events.

Each of the following m lines contains three integers x, y, and z (1 ≤ x, y ≤ n, 1 ≤ z ≤ c), describing that there initially exists a bidirectional road with color z between cities x and y.

Then q lines follow, describing the events. Each event is one of the following two types: 

  1. + x y z (1 ≤ x, y ≤ n, 1 ≤ z ≤ c), meaning a road with color z appears between cities x and y; 
  2. ? x y (1 ≤ x, y ≤ n), meaning you should determine whether Vicky can make a delivery starting at city x and ending at city y. It is guaranteed that x ≠ y. 



It is guaranteed that at any moment, there is at most one road connecting any pair of cities, and that no road connects a city to itself. It is guaranteed that the input contains at least one event of the second type.

Output

For each event of the second type, print a single line containing "Yes" (without quotes) if the delivery can be made, or a single line containing "No" (without quotes) otherwise.

Example

Input


4 3 2 4
1 2 1
2 3 1
3 4 2
? 1 4
? 4 1
+ 3 1 2
? 4 1


Output


Yes
No
Yes

Note

The following picture corresponds to the sample.

<image>

For her first delivery, Vicky can use the sequence 1, 2, 3, 4 which is a double rainbow. However, she cannot complete the second delivery, as she can only reach city 3. After adding the road between cities 1 and 3, she can now complete a delivery from city 4 to city 1 by using the double rainbow 4, 3, 1.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("-O2")
using namespace std;
void err(istream_iterator<string> it) { cerr << endl; }
template <typename T, typename... Args>
void err(istream_iterator<string> it, T a, Args... args) {
  cerr << *it << " = " << a << "\t";
  err(++it, args...);
}
template <typename T1, typename T2>
ostream& operator<<(ostream& c, pair<T1, T2>& v) {
  c << "(" << v.first << "," << v.second << ")";
  return c;
}
template <template <class...> class TT, class... T>
ostream& operator<<(ostream& out, TT<T...>& c) {
  out << "{ ";
  for (auto& x : c) out << x << " ";
  out << "}";
  return out;
}
const int LIM = 1e5 + 5, MOD = 1e9 + 7;
int t, n, m, k, x, y, w, c, q;
map<int, vector<int> > v[LIM];
set<int> e[LIM];
struct dsu {
  vector<int> par, rk;
  void reset(int n) {
    rk.assign(n, 1);
    par.resize(n);
    iota(par.begin(), par.end(), 0);
    for (int i = 0; i < n; ++i) e[i].insert(i);
  }
  int getpar(int i) { return (par[i] == i) ? i : (par[i] = getpar(par[i])); }
  bool con(int i, int j) { return getpar(i) == getpar(j); }
  bool join(int i, int j) {
    i = getpar(i), j = getpar(j);
    if (i == j) return 0;
    if (rk[i] > rk[j]) {
      par[j] = i;
      rk[i] += rk[j];
      for (auto& it : e[j]) e[i].insert(it);
    } else {
      par[i] = j;
      rk[j] += rk[i];
      for (auto& it : e[i]) e[j].insert(it);
    }
    return 1;
  }
} d;
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> m >> c >> q;
  d.reset(n);
  for (int i = 0; i < m; ++i) {
    cin >> x >> y >> w;
    --x, --y;
    v[x][w].push_back(y);
    v[y][w].push_back(x);
    e[d.getpar(x)].insert(y);
    d.join(v[x][w][0], y);
    e[d.getpar(y)].insert(x);
    d.join(v[y][w][0], x);
  }
  char ch;
  for (int i = 0; i < q; ++i) {
    cin >> ch >> x >> y;
    --x, --y;
    if (ch == '?') {
      bool ok = e[d.getpar(x)].find(y) != e[d.getpar(x)].end();
      if (ok)
        cout << "Yes\n";
      else
        cout << "No\n";
    } else {
      cin >> w;
      v[x][w].push_back(y);
      v[y][w].push_back(x);
      e[d.getpar(x)].insert(y);
      d.join(v[x][w][0], y);
      e[d.getpar(y)].insert(x);
      d.join(v[y][w][0], x);
    }
  }
  return 0;
}