#include #include using namespace std; #define DEBUG(x) cerr<<#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 template pair operator+(const pair &s, const pair &t) { return pair(s.first + t.first, s.second + t.second); } template pair operator-(const pair &s, const pair &t) { return pair(s.first - t.first, s.second - t.second); } template ostream& operator<<(ostream& os, pair p) { os << "(" << p.first << ", " << p.second << ")"; return os; } #define X first #define Y second #define rep(i,n) for(int i=0;i<(n);i++) #define rep1(i,n) for(int i=1;i<=(n);i++) #define rrep(i,n) for(int i=(n)-1;i>=0;i--) #define rrep1(i,n) for(int i=(n);i>0;i--) #define REP(i,a,b) for(int i=a;i bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (a>b) { a = b; return 1; } return 0; } #define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end()); const ll inf = 1000000001; const ll INF = (ll)1e18 + 1; const double pi = 3.14159265358979323846; #define Sp(p) cout< class LazySegmentTree { public: using F = function; // query_func using G = function; // update_func using H = function; // lazy to node (node, lazy, left, right) int n; vector node; vector lazy; T1 e1; T2 e2; F query_func; G update_func; H eval_func; LazySegmentTree(vector a, F query_func, G update_func, H eval_func, T1 e1, T2 e2) :query_func(query_func), update_func(update_func), eval_func(eval_func), e1(e1), e2(e2) { int _n = a.size(); n = 1; while (n < _n) n *= 2; node.resize(2 * n - 1, e1); lazy.resize(2 * n - 1, e2); for (int i = 0; i < _n; i++) node[i + n - 1] = a[i]; for (int i = n - 2; i >= 0; i--) { node[i] = query_func(node[i * 2 + 1], node[i * 2 + 2]); } } // k番目のノードについて遅延評価を行う inline void eval(int k, int l, int r) { if (lazy[k] != e2) { // Change node[k] = eval_func(node[k], lazy[k], l, r); if (r - l > 1) { lazy[2 * k + 1] = update_func(lazy[2*k + 1], lazy[k]); lazy[2 * k + 2] = update_func(lazy[2*k + 2], lazy[k]); } lazy[k] = e2; // Change } } // [a, b)をxにする void update(int a, int b, T2 x, int k, int l, int r) { // k 番目のノードに対して遅延評価を行う eval(k, l, r); if (b <= l || r <= a) return; if (a <= l && r <= b) { lazy[k] = update_func(lazy[k], x); eval(k, l, r); } else { update(a, b, x, 2 * k + 1, l, (l + r) / 2); update(a, b, x, 2 * k + 2, (l + r) / 2, r); node[k] = query_func(node[2 * k + 1], node[2 * k + 2]); } } T1 query(int a, int b, int k, int l, int r) { eval(k, l, r); if (b <= l || r <= a) return e1; if (a <= l && r <= b) return node[k]; T1 resl = query(a, b, 2 * k + 1, l, (l + r) / 2); T1 resr = query(a, b, 2 * k + 2, (l + r) / 2, r); return query_func(resl, resr); } }; class HLD { private: void dfs_sz(int v) { for(int &u:G[v]) if(u==par[v]) swap(u,G[v].back()); if(~par[v]) G[v].pop_back(); for(int &u:G[v]){ par[u]=v; dep[u]=dep[v]+1; dfs_sz(u); sub[v]+=sub[u]; if(sub[u]>sub[G[v][0]]) swap(u,G[v][0]); } } void dfs_hld(int v,int c,int &pos) { vid[v]=pos++; inv[vid[v]]=v; type[v]=c; for(int u:G[v]){ if(u==par[v]) continue; head[u]=(u==G[v][0]?head[v]:u); dfs_hld(u,c,pos); } } public: vector< vector > G; vector vid, head, sub, par, dep, inv, type; HLD(int n): G(n),vid(n,-1),head(n),sub(n,1), par(n,-1),dep(n,0),inv(n),type(n){} void add_edge(int u,int v) { G[u].emplace_back(v); G[v].emplace_back(u); } void build(vector rs={0}) { int c=0,pos=0; for(int r:rs){ dfs_sz(r); head[r]=r; dfs_hld(r,c++,pos); } } 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)]; } // for_each(vertex) // [l, r) <- attention!! template void for_each(int u, int v, const F& f) { while(1){ if(vid[u]>vid[v]) swap(u,v); f(max(vid[head[v]],vid[u]),vid[v]+1); if(head[u]!=head[v]) v=par[head[v]]; else break; } } template T for_each(int u,int v,T ti,const Q &q,const F &f){ T l=ti,r=ti; while(1){ if(vid[u]>vid[v]){ swap(u,v); swap(l,r); } l=f(l,q(max(vid[head[v]],vid[u]),vid[v]+1)); if(head[u]!=head[v]) v=par[head[v]]; else break; } return f(l,r); } // for_each(edge) // [l, r) <- attention!! template void for_each_edge(int u, int v,const F& f) { while(1){ if(vid[u]>vid[v]) swap(u,v); if(head[u]!=head[v]){ //DEBUG(pii(vid[head[v]],vid[v]+1)); f(vid[head[v]],vid[v]+1); v=par[head[v]]; }else{ if(u!=v) { //DEBUG(pii(vid[u] + 1,vid[v]+1)); f(vid[u]+1,vid[v]+1); } break; } } } }; signed main() { fio(); int n; cin >> n; HLD hld(n); vector edges(n - 1); rep (i, n - 1) { int u, v; cin >> u >> v; if (u > v) swap(u, v); edges[i] = pii(u, v); hld.add_edge(u, v); } hld.build(); using mat = array, 2>; mat e; rep (i, 2) rep (j, 2) e[i][j] = i == j; auto mul = [](mat a, mat b) { mat res; rep (i, 2) rep (j, 2) { ll add = 0; rep (k, 2) { add += a[i][k] * b[k][j] % MOD; } res[i][j] = add % MOD; } return res; }; auto f = [=](mat a, mat b) {return mul(a, b);}; auto g = [](mat, mat b) {return b;}; auto h = [](mat, mat b, int, int) {return b;}; LazySegmentTree seg(vector(n, e), f, g, h, e, e); int q; cin >> q; rep (i, q) { char t; cin >> t; if (t == 'x') { int i; cin >> i; mat x; rep (i, 2) rep (j, 2) cin >> x[i][j]; auto f = [&](int a, int b) { seg.update(a, b, x, 0, 0, seg.n); }; int u = edges[i].first, v = edges[i].second; hld.for_each_edge(u, v, f); } else { int u, v; cin >> u >> v; mat res = e; auto f = [&] (int a, int b) { res = mul(seg.query(a, b, 0, 0, seg.n), res); }; assert(hld.vid[v] >= hld.vid[u]); //DEBUG(pii(u, v)); hld.for_each_edge(u, v, f); rep (i, 2) rep (j, 2) { cout << res[i][j] << " "; } cout << endl; } } }