#include<iostream>

#include<cstdio>

#include<cstring>

#include<algorithm>

#define lson rt<<1, l, mid

#define rson rt<<1|1, mid+1, r

using namespace std;

const int maxn = ;

int P;

typedef long long ll;

struct Edge {

    int to, next;

}edges[maxn*];

int head[maxn], tot;

int n;

ll w[maxn];

int fa[maxn], son[maxn], siz[maxn], dep[maxn];

int top[maxn], id[maxn], rk[maxn], cnt;

// son[u]: u的重儿子

// top[u]: u所在链的顶端节点

//

// id[u]: 树链剖分后节点的新编号

// rk[u]: dfs编号对应的节点  rk[id[u]] = u

// cnt : dfs序

void add(int u, int v) {

    edges[++tot].to = v;

    edges[tot].next = head[u];

    head[u] = tot;

}

// 求fa, siz, dep, son

void dfs1(int u) {

    siz[u] = ;

    for(int i=head[u];i;i=edges[i].next) {

        int v = edges[i].to;

        if(v==fa[u]) continue;

        fa[v] = u;

        dep[v] = dep[u] + ;

        dfs1(v);

        siz[u] += siz[v];

        if(siz[v]>siz[son[u]])

            son[u] = v;

    }

}

// 连接重链

void dfs2(int u, int topf) {

    id[u] = ++cnt;

    rk[cnt] = u;

    top[u] = topf;

    if(!son[u])

        return;

    dfs2(son[u], topf);    // 重链先dfs，保证重链上各节点dfs序连续

    for(int i=head[u];i;i=edges[i].next) {

        int v = edges[i].to;

        if(v!=fa[u] && v!=son[u])  // 不是重儿子，轻链

            dfs2(v, v);

    }

}

/*

操作1： 格式： 1 x y z 表示将树从x到y结点最短路径上所有节点的值都加上z

操作2： 格式： 2 x y 表示求树从x到y结点最短路径上所有节点的值之和

操作3： 格式： 3 x z 表示将以x为根节点的子树内所有节点值都加上z

操作4： 格式： 4 x 表示求以x为根节点的子树内所有节点值之和

 */

ll sum[maxn*], lazy[maxn*];

void build(int rt, int l, int r) {

    if(l!=r) {

        int mid = (l+r)/;

        build(lson);

        build(rson);

        sum[rt] = (sum[rt<<] + sum[rt<<|]) % P;

    } else {

        sum[rt] = w[rk[l]];

        lazy[rt] = ;

    }

}

void pushDown(int rt, int len) {

    if(lazy[rt]) {

        (sum[rt<<] += (len-(len>>)) * lazy[rt] % P) %= P;

        (sum[rt<<|] += (len>>) * lazy[rt] % P) %= P;

        (lazy[rt<<] += lazy[rt]) %= P;

        (lazy[rt<<|] += lazy[rt]) %= P;

        lazy[rt] = ;

    }

}

void update(int rt, int l, int r, int L, int R, ll add) {

    if(L<=l && R>=r) {

        (lazy[rt] += add) %= P;

        (sum[rt] += (r-l+)*add) %= P;

        return;

    }

    int mid = (l+r)/;

    pushDown(rt, r-l+);

    if(L<=mid)

        update(lson, L, R, add);

    if(R>mid)

        update(rson, L, R, add);

    sum[rt] = (sum[rt<<] + sum[rt<<|]) % P;

}

ll query(int rt, int l, int r, int L, int R) {

    if(L<=l && R>=r) return sum[rt];

    ll res = ;

    int mid = (l+r)/;

    pushDown(rt, r-l+);

    if(L<=mid) res += query(lson, L, R) % P;

    if(R>mid) res += query(rson, L, R) % P;

    return res % P;

}

// 操作1

void updatePath(int x, int y, ll z) {

    while(top[x]!=top[y]) {

        if(dep[top[x]]<dep[top[y]]) swap(x, y);

            update(, , n, id[top[x]], id[x], z);

        x = fa[top[x]];

    }

    if(dep[x]>dep[y]) swap(x, y);

    update(, , n, id[x], id[y], z);

}

// 操作3

void updateSon(int x, ll z) {

    update(, , n, id[x], id[x]+siz[x]-, z);

}

// 操作2

ll queryPath(int x, int y) {

    ll res = ;

    while(top[x]!=top[y]) {

        if(dep[top[x]]<dep[top[y]]) swap(x, y);

            res = (res + query(, , n, id[top[x]], id[x])) % P;

        x = fa[top[x]];

    }

    if(dep[x]>dep[y]) swap(x, y);

    res = (res + query(, , n, id[x], id[y])) % P;

    return res;

}

// 操作4

ll qeurySon(int x) {

    return query(, , n, id[x], id[x]+siz[x]-);

}

int main() {

    int M, R;

    cin>>n>>M>>R>>P;

    for(int i=;i<=n;i++) {

        scanf("%lld", &w[i]);

    }

    for(int i=;i<n-;i++) {

        int u, v;

        scanf("%d %d", &u, &v);

        add(u, v);

        add(v, u);

    }

    dfs1(R);

    dfs2(R, R);

    build(, , n);

    while(M--) {

        int op, x, y;

        ll z;

        scanf("%d", &op);

        if(op==) {

            scanf("%d %d %lld", &x, &y, &z);

            updatePath(x, y, z);

        } else if(op==) {

            scanf("%d %d", &x, &y);

            printf("%lld\n", queryPath(x, y));

        } else if(op==) {

            scanf("%d %lld", &x, &z);

            updateSon(x, z);

        } else {

            scanf("%d", &x);

            printf("%lld\n", qeurySon(x));

        }

    }

    return ;

}