#define _USE_MATH_DEFINES #include "bits/stdc++.h" using namespace std; #define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i)) #define rep(i,j) FOR(i,0,j) #define each(x,y) for(auto &(x):(y)) #define mp make_pair #define MT make_tuple #define all(x) (x).begin(),(x).end() #define debug(x) cout<<#x<<": "<<(x)< >(b,vector(c,d)) #define vvv(a,b,c,d,e) vector > >(b,vv(a,c,d,e)) using ll = long long; using pii = pair; using vi = vector; using vll = vector; const int MOD = (int)1e9 + 7; vector > mulMatMod(const vector > &A, const vector > &B) { auto n = A.size(), m = A[0].size(), p = B[0].size(); vector > res(n, vector(p)); for (int i = 0; i < n; ++i)for (int j = 0; j < p; ++j) for (int k = 0; k < m; ++k) res[i][j] = (int)((res[i][j] + (long long)A[i][k] * B[k][j]) % MOD); return res; } typedef vector mat; /* 行列の部分積 を求める。 */ class PartialMatMul { int n; vector > E; vector >> dat; vector > 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 { vector > vl, vr; vl = query(a, b, k << 1, l, (l + r) >> 1); vr = query(a, b, (k << 1) | 1, (l + r) >> 1, r); return mulMatMod(vl, vr); } } public: PartialMatMul() {} PartialMatMul(int segSize, int matSize) :n(1) { for (; n >(matSize, vector(matSize)); for (int i = 0; i < matSize; ++i)E[i][i] = 1; dat = vector >>(n << 1, E); } void update(int k, vector > a) { k += n; dat[k] = a; while (k>1) { k >>= 1; // dat[k] = mulMatMod(dat[(k << 1) | 1], dat[k << 1]); dat[k] = mulMatMod(dat[k << 1], dat[(k << 1) | 1]); } } vector > query(int a, int b) { return query(a, b, 1, 0, n); } }; class HLDecomposition { int cur = 0; void bfs(const vector > &G) { queue > que; vector order; que.push(make_tuple(0, -1, 0)); while (!que.empty()) { int u, pre, d; tie(u, pre, d) = que.front(); que.pop(); parent[u] = pre; depth[u] = d; order.push_back(u); for (int v : G[u])if (v != pre) { que.push(make_tuple(v, u, d + 1)); } } reverse(order.begin(), order.end()); for (int u : order) { sub[u] = 1; for (int v : G[u])if (v != parent[u])sub[u] += sub[v]; } } void dfs_stk(const vector > & G) { stack > stk; stk.push(make_pair(0, 0)); while (!stk.empty()) { int u, h, pre; tie(u, h) = stk.top(); stk.pop(); head[u] = h; id[u] = cur++; pre = parent[u]; int heavy = -1, maxi = 0; for (int v : G[u]) { if (v != pre && maxi < sub[v]) { maxi = sub[v]; heavy = v; } } for (int v : G[u]) { if (v != pre&&v != heavy) { stk.push(make_pair(v, v)); } } if (heavy != -1)stk.push(make_pair(heavy, h)); } } public: vector parent, depth, sub, id, head; HLDecomposition(const vector > &G) { parent = depth = sub = id = head = vector(G.size()); bfs(G); dfs_stk(G); } /* パス(u, v)で通る頂点を半開区間の集合に変換する。 O(log(|V|)) */ vector > goUpToLCA(int u, int v) { vector > res; while (true) { if (head[u] == head[v]) { if (depth[u] > depth[v])swap(u, v); res.emplace_back(id[u], id[v] + 1); break; } else { if (depth[head[u]] > depth[head[v]])swap(u, v); res.emplace_back(id[head[v]], id[v] + 1); v = parent[head[v]]; } } return res; } }; int main() { ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(20); int n; cin >> n; vector G(n); vi U(n - 1), V(n - 1); rep(i, n - 1) { int a, b; cin >> a >> b; G[a].push_back(b); G[b].push_back(a); U[i] = a; V[i] = b; } HLDecomposition hld(G); rep(i, n - 1) { if (hld.depth[U[i]] > hld.depth[V[i]])swap(U[i], V[i]); } // depth[U[i]] < depth[V[i]] PartialMatMul pmm(n, 2); int q; cin >> q; vector A(2, vi(2)); vector E(2, vi(2)); rep(i, 2)E[i][i] = 1; rep(ITER, q) { char c; cin >> c; if (c == 'x') { int i; cin >> i; rep(j, 2)rep(k, 2)cin >> A[j][k]; pmm.update(hld.id[V[i]], A); } else if (c == 'g') { int i, j; cin >> i >> j; // depth[i] < depth[j] auto p = hld.goUpToLCA(i, j); reverse(all(p)); auto X = E; rep(k, sz(p)) { if (k == 0) { if (p[k].second - p[k].first > 1) { X = mulMatMod(X, pmm.query(p[k].first + 1, p[k].second)); } } else { X = mulMatMod(X, pmm.query(p[k].first, p[k].second)); } } rep(k, 2)rep(l, 2) { cout << X[k][l] << (k == 1 && l == 1 ? '\n' : ' '); } } } }