18pts玄关求调，只对两个点为什么啊

北京集训偶遇神秘蓝色模板，小蒟蒻拼尽全力无法战胜 第一次写这么长的代码

#include<bits/stdc++.h>
using namespace std;
const int M=1e5+10;
vector<int> son[M];//存边 
int in[M],tim;//入队编号,编号 
int siz[M],hson[M],dep[M];//子树大小，重儿子是谁，深度大小 
int n,m,r,p,a[M],ra[M];
int belong[M];//代表重链顶端
struct node{//树节点 
    int l,r;//该节点代表的区间[l,r]
    long long sum;//值 
    long long add;//懒标记 
}t[M*4];//不小于4N 
int fa[M]; 

//-----------------------------------
//线段树部分 
//节点在这里看作dfs序，将dfs序映射到线段树 
int ls(int x){return x*2;}//找左儿子
int rs(int x){return x*2+1;}//找右儿子 

void buildtree(int i,int l,int r){//建树 （dfs序，左端点，右端点） 
    t[i].l=l;
    t[i].r=r;
    if(l==r){
        t[i].sum=ra[l];
        if(t[i].sum>p)t[i].sum%=p;
        return ;
    }
    int mid=(l+r)/2;
    buildtree(ls(i),l,mid);
    buildtree(rs(i),mid+1,r);
    t[i].sum=t[ls(i)].sum+t[rs(i)].sum;
    t[i].sum%=p;
}

void spread(int i){//下传懒标记 i为编号 
    if(t[i].add){//如果懒标记不为0，就将其下传，修改左右儿子维护的值
        t[i*2].sum=(t[i*2].sum+t[i].add*(t[i*2].r-t[i*2].l+1))%p;//用懒标记修改儿子 
        t[i*2+1].sum=(t[i*2+1].sum+t[i].add*(t[i*2+1].r-t[i*2+1].l+1))%p;
        t[i*2].add+=t[i].add;//儿子的儿子还没改，打个懒标记备用 
        t[i*2+1].add+=t[i].add;
        t[i].add=0;//下传后父亲i懒标记清0 
    }
} 

void change(int i,int l,int r,int k){//区间修改 （编号，修改左端点，修改右端点，增加的值） 
    if(l<=t[i].l && r>=t[i].r){//如果编号维护区间被修改区间全覆盖，就进行修改 
        t[i].sum=(t[i].sum+k*(t[i].r-t[i].l+1))%p;
        t[i].add+=k;//打上懒标记 
        return; 
    } 
    //没有被覆盖，就得找儿子，在此之前，可能还没给儿子下放懒标记 
    spread(i); //下传懒标记
    int mid=(t[i].l+t[i].r)/2;
    if(l<=mid){//修改区间的魔爪伸到了左儿子范围
        change(i*2,l,r,k);
        //我们要看看到底改了我哪个儿子 
    }if(r>mid){//右儿子同理 
        change(i*2+1,l,r,k);
    } 
    t[i].sum=t[i*2].sum+t[i*2+1].sum;//改完儿子重置一下爹 
}

long long query(int i,int l,int r){
    if(t[i].l>r||t[i].r<l){//完全不包含 
        return 0;
    }
    if(l<=t[i].l&&t[i].r<=r){//查询区间覆盖维护区间 
        return t[i].sum;//返回维护值
    }
    //如果维护区间覆盖查询区间
    spread(i); //先把前面没下发的懒标记下方 
    //查询区间必然为查询左右儿子值的和

    return (query(i*2,l,r)+query(i*2+1,l,r))%p; 
}

//-------------------------------------------

//标记每个点的深度，父亲，非叶子节点的子树大小，重儿子编号 

//--------------------------------------
void dfs1(int i,int f){//i为当前节点，f为父亲 
    siz[i]=1;//标记每个非叶节点的子树大小 
    fa[i]=f;
    dep[i]=dep[f]+1;//标记每个点的深度 
    for(auto x : son[i])//遍历son[i]每一个值 
        if(x!=f){//别遍历回去了 
            dfs1(x,i);//dfs儿子 
            siz[i]+=siz[x];//把x的儿子数加给他 
            if(siz[hson[i]]<siz[x]){//现在标记的重儿子大小不是最大的 
                hson[i]=x;//标记每个非叶节点的重儿子编号 
            }
        }
} 
//       当前节点 父节点 
void dfs2(int i,int f,int op){//op表示是否为其父节点的重儿子 1为重儿子 
    in[i]=++tim;//入队重新编号 
    ra[in[i]]=a[i];//再根据dfs序转移初始值 
    if(!op){//如果是轻儿子 
        belong[i]=i;//它是它重链的开头 
    }
    else{
        belong[i]=belong[f];//否则找它父亲的头 
    }

    if(hson[i]){//有重儿子就先dfs重儿子 
        dfs2(hson[i],i,1);
    }

    for(auto x:son[i]){
        if(x!=f&& x!=hson[i]){//把剩下的轻儿子dfs 
            dfs2(x,i,0);
        }
    }
}

void changeatob(int x,int y,int d){//x到y都加上d 
    while(belong[x]!=belong[y]){//不在一条重链 
        if(dep[belong[x]]<dep[belong[y]]){//x所在重链顶不如y的深 
            swap(x,y);//让x成为更深的那个 
        }
        x=fa[belong[x]];//把x跳出这个链 
    }
    if(in[x]>in[y]){
        swap(x,y);
    }
    change(1,in[x],in[y],d);
}

int queryl(int x,int y){//查询x到y 
    int ans=0;
    while(belong[x]!=belong[y]){//不在一条重链 
        if(dep[belong[x]]<dep[belong[y]]){//x所在重链顶不如y的深 
            swap(x,y);//让x成为更深的那个 
    }
    ans=(ans+query(1,in[belong[x]],in[x]))%p;//ans加上x到链顶
    x=fa[belong[x]];//跳 
}
    //在同一条链
    if(in[x]>in[y]){
        swap(x,y);//x改成编号更小的（左端点） 
    } 
    ans=(ans+query(1,in[x],in[y]))%p;//加上x到y区间权值
    return ans; 
}
//-------------------------------

int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
    cin>>n>>m>>r>>p;
    for(int i=1;i<=n;i++){
        cin>>a[i];
    }
    for(int i=1;i<=n-1;i++){
        int x,y;
        cin>>x>>y;
        son[x].push_back(y);
        son[y].push_back(x);
    }
    dfs1(r,0); 
    dfs2(r,0,0);
    buildtree(1,1,n);
    for(int i=1;i<=m;i++){
        int k,x,y,z;
        cin>>k;
        if(k==1){
            cin>>x>>y>>z;
            changeatob(x,y,z);
        }
        if(k==2){
            cin>>x>>y;
            cout<<queryl(x,y)<<'\n';
        }
        if(k==3){
            cin>>x>>z;
            change(1,in[x],in[x]+siz[x]-1,z);//按dfs序，x到子树最后一个节点的编号是连续的 
        }
        if(k==4){
            cin>>x;
            cout<<query(1,in[x],in[x]+siz[x]-1)<<'\n';
        }
    }
    return 0;
}