#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
#define ls o<<1
#define rs o<<1|1
// #define int ll
const int maxn=1e5+5;
const int inf=0x3f3f3f3f;
const int mod=1e9+7;

struct node{
	int l,r;
	ll sum,lazy;
}tr[maxn<<2];
int n,m,r,cnt;
int sz[maxn],f[maxn],dep[maxn],son[maxn],top[maxn];
int id[maxn];
vector<int> vi[maxn];
ll v[maxn],p,vt[maxn];
void dfs1(int u,int fa){
	sz[u]=1;f[u]=fa;dep[u]=dep[fa]+1;
	int maxson=-1;
	for(auto i:vi[u]){
		if(i==fa) continue;
		dfs1(i,u);
		sz[u]+=sz[i];
		if(sz[i]>maxson)
			son[u]=i,maxson=sz[i];
	}
}
void dfs2(int u,int topf){
	id[u]=++cnt;
	vt[cnt]=v[u];
	top[u]=topf;
	if(!son[u]) return ;
	dfs2(son[u],topf);
	for(auto i:vi[u]){
		if(i==f[u]||i==son[u]) continue;
        dfs2(i,i);
	}
}
void push_up(int o){
	tr[o].sum=tr[ls].sum+tr[rs].sum;
	tr[o].sum%=p;
}
void push_down(int o){
	if(tr[o].lazy){
		tr[ls].lazy+=tr[o].lazy;
		tr[rs].lazy+=tr[o].lazy;
		tr[ls].lazy%=p;tr[rs].lazy%=p;
		tr[ls].sum+=(tr[ls].r-tr[ls].l+1)*tr[o].lazy;
		tr[rs].sum+=(tr[rs].r-tr[rs].l+1)*tr[o].lazy;
		tr[ls].sum%=p;
		tr[rs].sum%=p;
		tr[o].lazy=0;
	}
}
void build(int o,int l,int r){
	tr[o].l=l;tr[o].r=r;
	if(l==r){
		tr[o].sum=vt[l];
		return ;
	}
	int mid=l+r>>1;
	build(ls,l,mid);
	build(rs,mid+1,r);
	push_up(o);
}
ll query(int o,int l,int r,int lx,int rx){
	if(l==lx&&r==rx){
		return tr[o].sum;
	}
	int mid=l+r>>1;
    push_down(o);
  	if(rx<=mid)
		return query(ls,l,mid,lx,rx);
	else if(lx>mid)
		return query(rs,mid+1,r,lx,rx);
	else return (query(ls,l,mid,lx,mid)+query(rs,mid+1,r,mid+1,rx))%p;
}
void update(int o,int l,int r,int lx,int rx,int v){
	if(l==lx&&r==rx){
		tr[o].sum+=(r-l+1)*v;
		tr[o].sum%=p;
		tr[o].lazy+=v;
		tr[o].lazy%=p;
		return ;
	}
	int mid=l+r>>1;
	if(rx<=mid)
		update(ls,l,mid,lx,rx,v);
	else if(lx>mid)
		update(rs,mid+1,r,lx,rx,v);
	else {
		update(ls,l,mid,lx,mid,v);
		update(rs,mid+1,r,mid+1,rx,v);
	}
	push_up(o);
}
void update2(int x,int y,ll v){
	while(top[x]!=top[y]){
		if(dep[top[x]]<dep[top[y]]) swap(x,y);
		update(1,1,n,id[top[x]],id[x],v);
		x=f[top[x]];
	}
	if(dep[x]>dep[y]) swap(x,y);
	update(1,1,n,id[x],id[y],v);
}
ll query2(int x,int y){
	ll res=0;
	while(top[x]!=top[y]){
		if(dep[top[x]]<dep[top[y]]) swap(x,y);
		res+=query(1,1,n,id[top[x]],id[x]);
		res%=p;
		x=f[top[x]];
	}
	if(dep[x]>dep[y]) swap(x,y);
	res+=query(1,1,n,id[x],id[y]);
	res%=p;
	return res;
}
int main()
{
	scanf("%d%d%d%lld",&n,&m,&r,&p);
	for(int i=1;i<=n;i++)
		scanf("%lld",&v[i]);
	for(int i=1;i<n;i++){
    int u,v;
    scanf("%d%d",&u,&v);
    vi[u].push_back(v);
    vi[v].push_back(u);
	}
	dfs1(r,0);
	dfs2(r,0);
	build(1,1,n);
	for(int i=1;i<=m;i++){
		int op,x,y;
		ll z;
		scanf("%d",&op);
		if(op==1){//链修改
			scanf("%d%d%lld",&x,&y,&z);
            update2(x,y,z%p);
		}
		else if(op==2){//链查询
			scanf("%d%d",&x,&y);
			printf("%lld\n",query2(x,y));
		}
		else if(op==3){//子树修改
			scanf("%d%lld",&x,&z);
			update(1,1,n,id[x],id[x]+sz[x]-1,z%p);
		}
		else {
			scanf("%d",&x);//子树查询
			printf("%lld\n",query(1,1,n,id[x],id[x]+sz[x]-1));
		}
	}
	return 0;
}