#include "bits/stdc++.h" using namespace std; #define DEBUG(x) cout<<#x<<": "< #define vl vector #define vii vector< vector > #define vll vector< vector > #define vs vector #define pii pair #define pis pair #define psi pair #define pll pair #define fi first #define se second #define rep(i,n) for(int i=0;i<(int)(n);i++) #define rep1(i,n) for(int i=1;i<=(int)(n);i++) #define all(c) c.begin(),c.end() const int inf = 1000000001; const ll INF = 2e18 * 2; #define MOD 1000000007 #define mod 1000000009 #define pi 3.14159265358979323846 #define Sp(p) cout<= mod ? a.n - a.Mod : a.n); } Modint operator-(Modint a, Modint b) { return Modint((a.n -= b.n) < 0 ? a.n + a.Mod : a.n); } Modint operator*(Modint a, Modint b) { return Modint(1LL * a.n * b.n % a.Mod); } Modint &operator+=(Modint &a, Modint b) { return a = a + b; } Modint &operator-=(Modint &a, Modint b) { return a = a - b; } Modint &operator*=(Modint &a, Modint b) { return a = a * b; } typedef vector vec; typedef vector mat; mat mul(mat A, mat B) { mat C(A.size(), vec(B[0].size())); for (int i = 0; i < A.size(); i++) { for (int k = 0; k < B.size(); k++) { for (int j = 0; j < B[0].size(); j++) { C[i][j] = C[i][j] + A[i][k] * B[k][j]; } } } return C; } mat pow(mat A, ll n) { mat B(A.size(), vec(A.size())); for (int i = 0; i < A.size(); i++) { B[i][i] = 1; } while (n > 0) { if (n & 1)B = mul(B, A); A = mul(A, A); n >>= 1; } return B; } struct HLDecomposition { int n, pos; vector > G; vector vid, head, sub, hvy, par, dep, inv, type; HLDecomposition() {} HLDecomposition(int sz) : n(sz), pos(0), G(n), vid(n, -1), head(n), sub(n, 1), hvy(n, -1), par(n), dep(n), inv(n), type(n) {} void add_edge(int u, int v) { G[u].push_back(v); G[v].push_back(u); } void build(vector rs = { 0 }) { int c = 0; for (int r : rs) { dfs(r); bfs(r, c++); } } void dfs(int rt) { using T = pair; stack st; par[rt] = -1; dep[rt] = 0; st.emplace(rt, 0); while (!st.empty()) { int v = st.top().first; int &i = st.top().second; if (i<(int)G[v].size()) { int u = G[v][i++]; if (u == par[v]) continue; par[u] = v; dep[u] = dep[v] + 1; st.emplace(u, 0); } else { st.pop(); int res = 0; for (int u : G[v]) { if (u == par[v]) continue; sub[v] += sub[u]; if (res q({ r }); while (!q.empty()) { int h = q.front(); q.pop(); for (int i = h; i != -1; i = hvy[i]) { type[i] = c; vid[i] = k++; inv[vid[i]] = i; head[i] = h; for (int j : G[i]) if (j != par[i] && j != hvy[i]) q.push(j); } } } // for_each(vertex) // [l,r] <- attention!! void for_each(int u, int v, const function& f) { while (1) { if (vid[u]>vid[v]) swap(u, v); f(max(vid[head[v]], vid[u]), vid[v]); if (head[u] != head[v]) v = par[head[v]]; else break; } } // for_each(edge) // [l,r] <- attention!! void for_each_edge(int u, int v, const function& f) { while (1) { if (vid[u]>vid[v]) swap(u, v); if (head[u] != head[v]) { f(vid[head[v]], vid[v]); v = par[head[v]]; } else { if (u != v) f(vid[u] + 1, vid[v]); break; } } } int lca(int u, int v) { while (1) { if (vid[u]>vid[v]) swap(u, v); if (head[u] == head[v]) return u; v = par[head[v]]; } } int distance(int u, int v) { return dep[u] + dep[v] - 2 * dep[lca(u, v)]; } }; class SegmentTree { public: const ll MAX_N = 1 << 20; const mat E{ {1,0},{0,1} }; int n; vector dat; SegmentTree(int _n) :n(_n) { dat.resize(2 * MAX_N - 1, E); } //k番目の値をaに変更 void update(int k, mat a, int v, int l, int r) { if (r - l == 1) { dat[v] = a; } else { if (k < (l + r) / 2) update(k, a, 2 * v + 1, l, (l + r) / 2); else { update(k, a, 2 * v + 2, (l + r) / 2, r); } dat[v] = mul(dat[v * 2 + 1], dat[v * 2 + 2]); } } //[a,b)の最小値を求める //後ろのほうの引数は計算の簡単のための引数 //kは接点の番号,l,rはその接点が[l,r)に対応していることを表す //従って、外からはquery(a,b,0,0,n)としてよぶ mat query(int a, int b, int k, int l, int r) { if (r <= a || b <= l) { return E; } if (a <= l && r <= b) { return dat[k]; } else { mat ul = query(a, b, k * 2 + 1, l, (l + r) / 2); mat ur = query(a, b, k * 2 + 2, (l + r) / 2, r); return mul(ul, ur); } } }; vector > child; vii G; void make_child(int parent, int now) { rep(i, G[now].size()) { if (G[now][i] == parent) { continue; } child[now].insert(G[now][i]); make_child(now, G[now][i]); } return; } int main() { int n; cin >> n; child.resize(n); G.resize(n); HLDecomposition hld(n); vi a(n - 1), b(n - 1); rep(i, n - 1) { cin >> a[i] >> b[i]; hld.add_edge(a[i], b[i]); G[a[i]].push_back(b[i]); G[b[i]].push_back(a[i]); } make_child(-1, 0); hld.build(); //DEBUG_VEC(hld.vid); SegmentTree st(n); int q; cin >> q; while (q--) { char c; cin >> c; if (c == 'x') { int i; cin >> i; int u = a[i], v = b[i]; mat x(2, vec(2)); rep(j, 2) { rep(k, 2) { cin >> x[j][k].n; } } if (hld.vid[u] > hld.vid[v]) { swap(u, v); } //DEBUG(u); DEBUG(v); st.update(hld.vid[v], x, 0, 0, st.n); } else { int u, v; cin >> u >> v; mat ans = { {1, 0}, {0, 1} }; while (1) { if (hld.vid[u]>hld.vid[v]) swap(u, v); if (hld.head[u] != hld.head[v]) { ans = mul(st.query(hld.vid[hld.head[v]], hld.vid[v] + 1, 0, 0, st.n), ans); v = hld.par[hld.head[v]]; } else { if (u != v)ans = mul(st.query(hld.vid[u] + 1, hld.vid[v] + 1, 0, 0, st.n), ans); break; } } rep(i, 2) { rep(j, 2) { cout << ans[i][j].n << " "; } } cout << endl; } /* rep(i, n) { auto temp = st.query(hld.vid[i], hld.vid[i] + 1, 0, 0, st.n); cout << "("; rep(j, 2) { rep(k, 2) { cout << temp[j][k].n << " "; } } cout << ") "; } cout << endl; //*/ } }