#include using namespace std; /*^ debug */ template string to_string(pair p); template string to_string(tuple p); template string to_string(tuple p); string to_string(const string& s) { return '"' + s + '"'; } string to_string(const char* s) { return to_string((string) s); } string to_string(bool b) { return (b ? "true" : "false"); } string to_string(vector v) { bool first = true; string res = "{"; for (int i = 0; i < static_cast(v.size()); i++) { if (!first) { res += ", "; } first = false; res += to_string(v[i]); } res += "}"; return res; } template string to_string(bitset v) { string res = ""; for (size_t i = 0; i < N; i++) { res += static_cast('0' + v[i]); } return res; } template string to_string(A v) { bool first = true; string res = "{"; for (const auto &x : v) { if (!first) { res += ", "; } first = false; res += to_string(x); } res += "}"; return res; } template string to_string(pair p) { return "(" + to_string(p.first) + ", " + to_string(p.second) + ")"; } template string to_string(tuple p) { return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")"; } template string to_string(tuple p) { return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")"; } void debug_out() { cerr << endl; } template void debug_out(Head H, Tail... T) { cerr << " " << to_string(H); debug_out(T...); } #ifdef LOCAL #define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif /* debug $*/ /*^ vector extensions */ template T concat(initializer_list lists) { T a; for (auto &l : lists) a.insert(a.end(), l.begin(), l.end()); return a; } template struct _Matrix_type { typedef vector::type> type; }; template struct _Matrix_type { typedef T type; }; template struct _Matrix { static auto build(size_t s) { return vector(s); } template static auto build(size_t f, Args... args) { return vector::type>(f, _Matrix::build(args...)); } }; template auto buildMatrix(Args... args) { return _Matrix::build(args...); } /* vector extensions $*/ /*^ generic definitions */ template struct _RecurFun : F { _RecurFun(F&& f) : F(forward(f)) {} template decltype(auto) operator()(Args&&... args) const { return F::operator()(*this, forward(args)...); } }; template decltype(auto) RecurFun(F&& f) { return _RecurFun { forward(f) }; } /* generic definitions $*/ template struct Segt { vector tag; vector dat; Segt(int n) : tag(4 * n), dat(4 * n) { function build = [&](int lb, int rb, int t) { tag[t].lb = dat[t].lb = lb; tag[t].rb = dat[t].rb = rb; if (rb - lb == 1) return; build(lb, lb + rb >> 1, t << 1); build(lb + rb >> 1, rb, t << 1 | 1); dat[t] = dat[t << 1] + dat[t << 1 | 1]; }; build(0, n, 1); } void push(int k) { if (tag[k].isNull()) return; for (int c = 0; c < 2; ++c) { tag[k << 1 | c] = tag[k << 1 | c] + tag[k]; dat[k << 1 | c] = dat[k << 1 | c] + tag[k]; } int l = tag[k].lb, r = tag[k].rb; tag[k] = Tag(); tag[k].lb = l; tag[k].rb = r; } void update(Tag t, int ql, int qr, int k = 1) { int lb = dat[k].lb; int rb = dat[k].rb; if (qr <= lb || rb <= ql) return; if (ql <= lb && rb <= qr) { tag[k] = tag[k] + t; dat[k] = dat[k] + t; return; } push(k); update(t, ql, qr, k << 1); update(t, ql, qr, k << 1 | 1); dat[k] = dat[k << 1] + dat[k << 1 | 1]; } Elem query(int ql, int qr, int k = 1) { int lb = dat[k].lb; int rb = dat[k].rb; if (qr <= lb || rb <= ql) return Elem(lb, rb); if (ql <= lb && rb <= qr) return dat[k]; push(k); return query(ql, qr, k << 1) + query(ql, qr, k << 1 | 1); } }; struct Elem { int lb, rb; int maxv; int maxi; Elem(int _lb = -1, int _rb = -1) : lb(_lb), rb(_rb) { maxv = 0; maxi = -1; } Elem(int _lb, int _rb, int _maxv, int _maxi) : lb(_lb), rb(_rb) { maxv = _maxv; maxi = _maxi; } friend Elem operator+(const Elem &a, const Elem &b) { // assert(a.rb == b.lb); return Elem( a.lb, b.rb, max(a.maxv, b.maxv), a.maxv > b.maxv ? a.maxi : b.maxi ); } friend Elem operator-(const Elem &a, const Elem &b) { // assert(a.rb == b.lb); return Elem( a.lb, b.rb, max(a.maxv, b.maxv), a.maxv > b.maxv ? a.maxi : b.maxi ); } }; struct Tag { int lb, rb; int setv; int seti; Tag(int _setv = -1, int _seti = -1, int _lb = -1, int _rb = -1) : lb(_lb), rb(_rb) { setv = _setv; seti = _seti; } bool isNull() const { return setv == -1; } Tag operator+() { return *this; } Tag operator-() { return Tag(); } friend Tag operator+(Tag t, Tag tup) { if (tup.isNull()) return t; if (t.isNull()) return tup.lb = t.lb, tup.rb = t.rb, tup; t.setv = tup.setv; t.seti = tup.seti; return t; } friend Elem operator+(Elem e, const Tag &t) { if (t.isNull()) return e; e.maxv = t.setv; e.maxi = t.seti; return e; } }; struct LCA { vector dpt; vector> par; LCA() {} LCA(const vector> &g, int root = 0) { int n = g.size(); int lgn = 32 - __builtin_clz(n); dpt.resize(n); par.assign(lgn, vector(n, -1)); function dfs = [&](int u, int fa) { for (int v : g[u]) if (v != fa) { dpt[v] = dpt[u] + 1; par[0][v] = u; dfs(v, u); } }; dfs(root, -1); for (int i = 0; i + 1 < lgn; ++i) { for (int u = 0; u < n; ++u) { int p = par[i][u]; if (~p) par[i + 1][u] = par[i][p]; } } } int query(int u, int v) { if (dpt[u] > dpt[v]) swap(u, v); for (int i = par.size() - 1; ~i; --i) if (dpt[v] - dpt[u] >= 1 << i) { v = par[i][v]; } if (u == v) return u; for (int i = par.size() - 1; par[0][u] != par[0][v]; --i) { if (par[i][u] != par[i][v]) { u = par[i][u]; v = par[i][v]; } } assert(par[0][u] == par[0][v]); return par[0][u]; } }; template struct HLD { LCA lca; vector par; vector idxInPath; vector belongsToPath; vector> paths; HLD(const vector> &g) { lca = LCA(g, 0); const int n = g.size(); idxInPath.resize(n); belongsToPath.resize(n); function dfs = [&](int u, int fa) { int size = 1; pair maxchsize(0, -1); for (int v : g[u]) if (v != fa) { int chsize = dfs(v, u); size += chsize; maxchsize = max(maxchsize, make_pair(chsize, v)); } int heavyNode = maxchsize.second; if (heavyNode == -1) { par.push_back(fa); idxInPath[u] = 0; belongsToPath[u] = paths.size(); paths.emplace_back(); paths.back().push_back(u); } else { int x = belongsToPath[heavyNode]; par[x] = fa; belongsToPath[u] = x; idxInPath[u] = paths[x].size(); paths[x].push_back(u); } return size; }; dfs(0, -1); } void updatePath(Tag q, int u, int v, vector> &st) { int w = lca.query(u, v); function _updatePath = [&](Tag w, int p, int q) { int bp = belongsToPath[p]; int bq = belongsToPath[q]; if (bp == bq) { st[bp].update(w, idxInPath[p], idxInPath[q] + 1); } else { st[bp].update(w, idxInPath[p], paths[bp].size()); _updatePath(w, par[bp], q); } }; _updatePath(+q, u, w); _updatePath(+q, v, w); _updatePath(-q, w, w); } Elem queryPath(int u, int v, vector> &st) { int w = lca.query(u, v); function _queryPath = [&](int p, int q) { int bp = belongsToPath[p]; int bq = belongsToPath[q]; if (bp == bq) return st[bp].query(idxInPath[p], idxInPath[q] + 1); return st[bp].query(idxInPath[p], paths[bp].size()) + _queryPath(par[bp], q); }; return _queryPath(u, w) + _queryPath(v, w) - _queryPath(w, w); } }; struct LowLink { vector> g; vector ord, low, par, dsu; int find(int x) { return dsu[x] == x ? x : dsu[x] = find(dsu[x]); }; LowLink(const vector> &g, int root) : g(g), ord(g.size()), low(g.size()), par(g.size(), -1) { dsu.assign(g.size(), 0); iota(dsu.begin(), dsu.end(), 0); int cnt = 0; vector vis(g.size()); function dfs = [&](int u, int fa) { vis[u] = 1; ord[u] = cnt++; low[u] = ord[u]; for (auto &v : g[u]) { if (!vis[v]) { dfs(v, u); low[u] = min(low[u], low[v]); par[v] = u; if (low[v] <= ord[u]) dsu[find(u)] = dsu[find(v)]; } else if (v != fa) low[u] = min(low[u], ord[v]); } }; dfs(root, -1); } }; struct Bridges : LowLink { vector bid; vector> bridges; vector> reduced; vector> group; Bridges(const vector> &g) : LowLink(g, 0), bid(g.size()) { int cnt = 0; for (int u = 0; u < g.size(); ++u) if (u == LowLink::find(u)) bid[u] = cnt++; for (int u = 0; u < g.size(); ++u) if (u != LowLink::find(u)) bid[u] = bid[LowLink::find(u)]; group.resize(cnt); reduced.resize(cnt); for (int u = 0; u < g.size(); ++u) { group[bid[u]].push_back(u); for (int v : g[u]) if (bid[u] != bid[v]) { bridges.push_back(minmax(u, v)); reduced[bid[u]].push_back(bid[v]); reduced[bid[v]].push_back(bid[u]); } } for (int u = 0; u < cnt; ++u) { sort(reduced[u].begin(), reduced[u].end()); reduced[u].erase(unique(reduced[u].begin(), reduced[u].end()), reduced[u].end()); } } }; int main() { ios::sync_with_stdio(false); int N, M, Q; { cin >> N >> M >> Q; } vector> G(N); { for (int i = 0; i < M; ++i) { int U, V; { cin >> U >> V; --U, --V; } G[U].push_back(V); G[V].push_back(U); } } Bridges bcc(G); HLD hld(bcc.reduced); vector> segts; { for (auto &p : hld.paths) segts.emplace_back(p.size()); } vector> que(bcc.group.size()); for (int _ = 0; _ < Q; ++_) { int P; { cin >> P; } if (P == 1) { int U, W; { cin >> U >> W; --U; } int bu = bcc.bid[U]; que[bu].insert(W); hld.updatePath(Tag(*--que[bu].end(), bu), bu, bu, segts); } else if (P == 2) { int S, T; { cin >> S >> T; --S, --T; } int bs = bcc.bid[S]; int bt = bcc.bid[T]; auto [_l, _r, v, i] = hld.queryPath(bs, bt, segts); if (v) { cout << v << "\n"; assert(~i); assert(que[i].size()); assert(*--que[i].end() == v); que[i].erase(--que[i].end()); int nv = que[i].empty() ? 0 : *--que[i].end(); hld.updatePath(Tag(nv, i), i, i, segts); } else cout << "-1\n"; } } }