// includes #include using namespace std; // macros #define pb emplace_back #define mk make_pair #define FOR(i, a, b) for(int i=(a);i<(b);++i) #define rep(i, n) FOR(i, 0, n) #define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--) #define irep(itr, st) for(auto itr = (st).begin(); itr != (st).end(); ++itr) #define irrep(itr, st) for(auto itr = (st).rbegin(); itr != (st).rend(); ++itr) #define all(x) (x).begin(),(x).end() #define sz(x) ((int)(x).size()) #define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end()) #define bit(n) (1LL<<(n)) // functions template bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;} template bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;} template istream &operator>>(istream &is, vector &vec){for(auto &v: vec)is >> v; return is;} template ostream &operator<<(ostream &os, const vector& vec){for(int i = 0; i < vec.size(); i++){ os << vec[i]; if(i + 1 != vec.size())os << " ";} return os;} template ostream &operator<<(ostream &os, const set& st){for(auto itr = st.begin(); itr != st.end(); ++itr){ os << *itr; auto titr = itr; if(++titr != st.end())os << " ";} return os;} template ostream &operator<<(ostream &os, const unordered_set& st){for(auto itr = st.begin(); itr != st.end(); ++itr){ os << *itr; auto titr = itr; if(++titr != st.end())os << " ";} return os;} template ostream &operator<<(ostream &os, const multiset& st){for(auto itr = st.begin(); itr != st.end(); ++itr){ os << *itr; auto titr = itr; if(++titr != st.end())os << " ";} return os;} template ostream &operator<<(ostream &os, const unordered_multiset& st){for(auto itr = st.begin(); itr != st.end(); ++itr){ os << *itr; auto titr = itr; if(++titr != st.end())os << " ";} return os;} template ostream &operator<<(ostream &os, const pair &p){os << p.first << " " << p.second; return os;} template ostream &operator<<(ostream &os, const map &mp){for(auto itr = mp.begin(); itr != mp.end(); ++itr){ os << itr->first << ":" << itr->second; auto titr = itr; if(++titr != mp.end())os << " "; } return os;} template ostream &operator<<(ostream &os, const unordered_map &mp){for(auto itr = mp.begin(); itr != mp.end(); ++itr){ os << itr->first << ":" << itr->second; auto titr = itr; if(++titr != mp.end())os << " "; } return os;} // types using ll = long long int; using P = pair; // constants const int inf = 1e9; const ll linf = 1LL << 50; const double EPS = 1e-10; const int mod = 1000000007; const int dx[4] = {-1, 0, 1, 0}; const int dy[4] = {0, -1, 0, 1}; // io struct fast_io{ fast_io(){ios_base::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(20);} } fast_io_; template struct HeavyLightDecomposition{ struct edge{ int to; T w; edge(int to, T w): to(to), w(w){} }; int n, cid; vector> edges; vector par, chain, depth, siz, pos_seg, head; vector parw; HeavyLightDecomposition(){} explicit HeavyLightDecomposition(int n): n(n){ edges.resize(n); par.resize(n, -1); chain.resize(n, -1); depth.resize(n, -1); siz.resize(n, 1); pos_seg.resize(n, -1); head.resize(n, -1); parw.resize(n); } void adde(int from, int to, T w){ edges[from].emplace_back(to, w); } void build(int r = 0){ par.assign(n, -1); chain.assign(n, -1); depth.assign(n, -1); siz.assign(n, -1); pos_seg.assign(n, -1); dfs(r); hld(r); } void dfs(int r = 0){ par[r] = r; depth[r] = 0; deque dq; dq.push_back(r); int l = 0; while(l < (int)dq.size()){ int i = dq[l]; siz[i] = 1; for(auto &e: edges[i]){ if(par[e.to] != -1)continue; par[e.to] = i; parw[e.to] = e.w; depth[e.to] = depth[i] + 1; dq.push_back(e.to); } l++; } while(!dq.empty()){ int i = dq.back(); dq.pop_back(); if(par[i] != i){ siz[par[i]] += siz[i]; } } } void hld(int r = 0){ cid = 0; chain[r] = cid; pos_seg[r] = 0; head[r] = r; stack st; st.push(r); while(!st.empty()){ int i = st.top(); st.pop(); int max_siz = 0; int idx = -1; for(auto &e: edges[i]){ if(par[e.to] != i)continue; if(max_siz < siz[e.to]){ max_siz = siz[e.to]; idx = e.to; } } if(idx == -1)continue; for(auto &e: edges[i]){ if(par[e.to] != i)continue; if(idx == e.to){ chain[e.to] = chain[i]; pos_seg[e.to] = pos_seg[i] + 1; head[e.to] = head[i]; st.push(e.to); }else{ chain[e.to] = ++cid; pos_seg[e.to] = 0; head[e.to] = e.to; st.push(e.to); } } } } int lca(int u, int v){ while(true){ if(chain[u] == chain[v]){ if(depth[u] < depth[v])return u; else return v; } if(depth[head[u]] > depth[head[v]])swap(u, v); v = par[head[v]]; } } }; template struct LazySegmentTree_ { function f; // aggregation function h; // update lazy element function p; // update element with lazy element int n; T def; E l_def; vector vec; vector lazy; LazySegmentTree_(){} LazySegmentTree_(int n_, function f, T def, function h, E l_def, function p, vector v=vector()): f(f), def(def), h(h), l_def(l_def), p(p){ // initialize vector n = 1; while(n < n_){ n *= 2; } vec = vector(2*n-1, def); lazy = vector(2*n-1, l_def); // initialize segment tree for(int i = 0; i < v.size(); i++){ vec[i + n - 1] = v[i]; } for(int i = n - 2; i >= 0; i--){ vec[i] = f(vec[2*i+1], vec[2*i+2]); } } void eval(int k, int len){ if(lazy[k] != l_def){ if(k < n - 1){ lazy[2*k+1] = h(lazy[2*k+1], lazy[k]); lazy[2*k+2] = h(lazy[2*k+2], lazy[k]); } vec[k] = p(vec[k], lazy[k], len); lazy[k] = l_def; } } T update(int a, int b, const E &val, int k, int l, int r){ eval(k, r - l); if(r <= a || b <= l){ return vec[k]; }else if(a <= l && r <= b){ lazy[k] = h(lazy[k], val); eval(k, r - l); return vec[k]; }else{ return vec[k] = f(update(a, b, val, 2*k+1, l, (l+r)/2), update(a, b, val, 2*k+2, (l+r)/2, r)); } } T update(int a, int b, E val){ return update(a, b, val, 0, 0, n); } // [l, r) -> [a, b) (at k) T query(int a, int b, int k, int l, int r){ eval(k, r - l); if(r <= a || b <= l)return def; if(a <= l && r <= b)return vec[k]; T ld = query(a, b, 2*k+1, l, (l+r)/2); T rd = query(a, b, 2*k+2, (l+r)/2, r); return f(ld, rd); } T query(int a, int b){ return query(a, b, 0, 0, n); } }; template using LazySegmentTree = struct LazySegmentTree_; using LazySegmentTreeI = LazySegmentTree; using LazySegmentTreeL = LazySegmentTree; int main(int argc, char const* argv[]) { int n; cin >> n; vector s(n); cin >> s; vector c(n); cin >> c; HeavyLightDecomposition hld(n); rep(i, n - 1){ int a, b; cin >> a >> b; a--; b--; hld.adde(a, b, 0); hld.adde(b, a, 0); } hld.build(); vector cnt(n, 0), acc(n, 0); rep(i, n)cnt[hld.head[i]]++; FOR(i, 1, n)acc[i] = acc[i-1] + cnt[i-1]; vector> ini(n); rep(i, n){ ini[acc[hld.head[i]] + hld.pos_seg[i]] = mk(s[i], c[i]); } LazySegmentTree, ll> seg = LazySegmentTree, ll>(n, [](pair a, pair b){return mk((a.first + b.first) % mod, (a.second + b.second) % mod);}, mk(0, 0), [](ll a, ll b){return (a + b) % mod;}, 0, [](pair a, ll b, int c){return mk((a.first + b * a.second % mod) % mod, a.second);}, ini); int q; cin >> q; rep(i_, q){ int ci; cin >> ci; if(ci == 0){ int x, y; ll z; cin >> x >> y >> z; x--; y--; int lc = hld.lca(x, y); while(true){ if(hld.chain[x] == hld.chain[lc]){ seg.update(acc[hld.head[x]] + hld.pos_seg[lc], acc[hld.head[x]] + hld.pos_seg[x] + 1, z); break; } seg.update(acc[hld.head[x]], acc[hld.head[x]] + hld.pos_seg[x] + 1, z); // (hld.parw[hld.head[x]] += z * c[hld.head[x]] % mod) %= mod; x = hld.par[hld.head[x]]; } while(true){ if(hld.chain[y] == hld.chain[lc]){ seg.update(acc[hld.head[y]] + hld.pos_seg[lc], acc[hld.head[y]] + hld.pos_seg[y] + 1, z); break; } seg.update(acc[hld.head[y]], acc[hld.head[y]] + hld.pos_seg[y] + 1, z); // (hld.parw[hld.head[y]] += z * c[hld.head[x]] % mod) %= mod; y = hld.par[hld.head[y]]; } seg.update(acc[hld.head[lc]] + hld.pos_seg[lc], acc[hld.head[lc]] + hld.pos_seg[lc] + 1, -z); }else{ int x, y; cin >> x >> y; x--; y--; int lc = hld.lca(x, y); ll res = 0; while(true){ if(hld.chain[x] == hld.chain[lc]){ (res += seg.query(acc[hld.head[x]] + hld.pos_seg[lc], acc[hld.head[x]] + hld.pos_seg[x] + 1).first) %= mod; break; } (res += seg.query(acc[hld.head[x]], acc[hld.head[x]] + hld.pos_seg[x] + 1).first) %= mod; // (res += hld.parw[hld.head[x]]) %= mod; x = hld.par[hld.head[x]]; } while(true){ if(hld.chain[y] == hld.chain[lc]){ (res += seg.query(acc[hld.head[y]] + hld.pos_seg[lc], acc[hld.head[y]] + hld.pos_seg[y] + 1).first) %= mod; break; } (res += seg.query(acc[hld.head[y]], acc[hld.head[y]] + hld.pos_seg[y] + 1).first) %= mod; // (res += hld.parw[hld.head[y]]) %= mod; y = hld.par[hld.head[y]]; } (res -= seg.query(acc[hld.head[lc]] + hld.pos_seg[lc], acc[hld.head[lc]] + hld.pos_seg[lc] + 1).first) %= mod; if(res < 0)res += mod; cout << res << endl; } } return 0; }