#include using namespace std; using ll = long long; #define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i)) #define all(x) (x).begin(),(x).end() #define pb push_back #define fi first #define se second #define dbg(x) cout<<#x" = "<<((x))< ostream& operator<<(ostream& o, const pair &p){o<<"("< ostream& operator<<(ostream& o, const vector &v){o<<"[";for(T t:v){o<> G; vector vid, inv, depth, par, heavy, head, sub; /* vid : HL分解後のグラフでの頂点ID inv : HL分解前のグラフでのvid[i]の頂点ID depth : rootからの距離 par : 根付き木上での親 heavy : heavy-path上における頂点iの次の頂点ID head : 頂点iが属するheavy-pathの先頭の頂点ID sub : 部分木のサイズ */ HL_decomposition(){} HL_decomposition(int sz) : n(sz), G(n), vid(n), inv(n), depth(n), par(n), heavy(n,-1), head(n), sub(n) {} void add_edge(int u, int v){ G[u].push_back(v); G[v].push_back(u); } void build(int root = 0){ dfs(root, -1); dfs2(root); } void dfs(int cur, int pre){ par[cur] = pre; sub[cur] = 1; int max_sub = 0; for(int nx:G[cur])if(nx != pre){ depth[nx] = depth[cur] + 1; dfs(nx, cur); sub[cur] += sub[nx]; if(max_sub < sub[nx]){ max_sub = sub[nx]; heavy[cur] = nx; } } } void dfs2(int root){ int k = 0; stack que({root}); while(!que.empty()){ int cur = que.top(); que.pop(); // curを先頭とするheavy-pathを処理 for(int i=cur; i!=-1; i=heavy[i]){ vid[i] = k++; inv[vid[i]] = i; head[i] = cur; // heavy-pathの先頭になるなら、queにpushする for(int nx:G[i])if(nx != par[i] && nx != heavy[i]){ que.push(nx); } } } } 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]]; } } }; const ll mod = 1e9+7; const int N = 200002; ll sc[N]={}; // 区間add, 区間sum struct LazySegTree{ int n; vector dat,lazy; //初期化 LazySegTree(){} LazySegTree(int _n, const vector &s){ n=1; while(n<_n) n*=2; dat=vector(2*n-1,0); lazy=vector(2*n-1,0); rep(i,_n) dat[i+n-1] = s[i]; for(int i=n-2; i>=0; --i) dat[i] = (dat[2*i+1]+dat[2*i+2])%mod; } void setLazy(int k, ll v, ll cc){ (lazy[k] += v) %= mod; (dat[k] += v*cc) %= mod; } void push(int k, int l, int r){ if(lazy[k]!=0){ int m = (l+r)/2; setLazy(2*k+1, lazy[k], (sc[m]-sc[l]+mod)%mod); setLazy(2*k+2, lazy[k], (sc[r]-sc[m]+mod)%mod); } lazy[k]=0; } void fix(int k, int l, int r){ dat[k]=(dat[2*k+1]+dat[2*k+2])%mod; } ll merge(ll x, ll y){ return (x+y)%mod; } //内部的に投げられるクエリ void _add(int a, int b, ll x, int k, int l, int r){ if(r<=a || b<=l) return; if(a<=l && r<=b){ setLazy(k, x, (sc[r]-sc[l]+mod)%mod); return; } push(k,l,r); _add(a,b,x,2*k+1,l,(l+r)/2); _add(a,b,x,2*k+2,(l+r)/2,r); fix(k,l,r); } //[a,b)に+x void add(int a, int b, ll x){ return _add(a,b,x,0,0,n); } //内部的に投げられるクエリ ll _query(int a, int b, int k, int l, int r){ if(r<=a || b<=l) return 0; if(a<=l && r<=b) return dat[k]; push(k,l,r); ll vl=_query(a,b,2*k+1,l,(l+r)/2); ll vr=_query(a,b,2*k+2,(l+r)/2,r); return merge(vl,vr); } //[a,b)のsum ll query(int a, int b){ return _query(a,b,0,0,n); } }; HL_decomposition hl; LazySegTree st; ll f(int u, int v, int add){ ll ret = 0; while(1){ if(hl.vid[u] > hl.vid[v]) swap(u,v); if(hl.head[u] == hl.head[v]){ (ret += st.query(hl.vid[u], hl.vid[v]+1)) %= mod; st.add(hl.vid[u], hl.vid[v]+1, add); break; } else{ (ret += st.query(hl.vid[hl.head[v]], hl.vid[v]+1)) %= mod; st.add(hl.vid[hl.head[v]], hl.vid[v]+1, add); v = hl.par[hl.head[v]]; } } return ret; } ll QUERY(int x, int y, int add){ int z = hl.lca(x,y); ll ret = 0; (ret += f(z,x,add)) %= mod; (ret += f(z,y,add)) %= mod; ret = (ret - f(z,z,(mod-add)%mod) + mod)%mod; return ret; } int main(){ int n; scanf(" %d", &n); hl = HL_decomposition(n); vector s(n),c(n); rep(i,n) scanf(" %lld", &s[i]); rep(i,n) scanf(" %lld", &c[i]); rep(i,n-1){ int a,b; scanf(" %d %d", &a, &b); --a; --b; hl.add_edge(a,b); } hl.build(); vector vs(n),vc(n); rep(i,n){ vs[hl.vid[i]] = s[i]; vc[hl.vid[i]] = c[i]; } st = LazySegTree(n, vs); rep(i,n) sc[i+1] = (sc[i]+vc[i])%mod; // rep(i,n) printf(" %d -> vid %d\n", i, hl.vid[i]); int Q; scanf(" %d", &Q); while(Q--){ int q,x,y,z=0; scanf(" %d %d %d", &q, &x, &y); --x; --y; if(q==0){ scanf(" %d", &z); QUERY(x,y,z); } else{ printf("%lld\n", QUERY(x,y,z)); } } return 0; }