// 那就是希望。
// 即便需要取模，也是光明。

#include <algorithm>
#include <stdio.h>
#include <vector>
typedef long long llt;
typedef unsigned uint;typedef unsigned long long ullt;
typedef bool bol;typedef char chr;typedef void voi;
typedef double dbl;
template<typename T>bol _max(T&a,T b){return(a<b)?a=b,true:false;}
template<typename T>bol _min(T&a,T b){return(b<a)?a=b,true:false;}
template<typename T>T lowbit(T n){return n&-n;}
template<typename T>T gcd(T a,T b){return b?gcd(b,a%b):a;}
template<typename T>T lcm(T a,T b){return(a!=0||b!=0)?a/gcd(a,b)*b:(T)0;}
template<typename T>T exgcd(T a,T b,T&x,T&y){if(b!=0){T ans=exgcd(b,a%b,y,x);y-=a/b*x;return ans;}else return y=0,x=1,a;}
template<typename T>T power(T base,T index,T mod)
{
    T ans=1%mod;
    while(index)
    {
        if(index&1)ans=ans*base%mod;
        base=base*base%mod,index>>=1;
    }
    return ans;
}
struct Info{int minv;uint cnt;ullt sum;};
Info operator+(Info a,Info b){return a.minv==b.minv?Info{a.minv,a.cnt+b.cnt,a.sum+b.sum}:(a.minv<b.minv?a:b);}
Info tag(Info a,int b,ullt c){return{a.minv+b,a.cnt,a.sum+a.cnt*c};}
struct Seg{
    Seg*L,*R;uint len;Info v;int tag1;ullt tag2;
    Seg(uint n):L(NULL),R(NULL),len(n),v{0,n,0},tag1(0),tag2(0){if(n>1)L=new Seg(n>>1),R=new Seg(n-(n>>1));}
    voi addtag1(uint l,uint r,int w){
        if(l>=r)return;
        if(!l&&r==len){v=tag(v,w,0),tag1+=w;return;}
        if(l<(len>>1))
            if(r<=(len>>1))L->addtag1(l,r,w);
            else L->addtag1(l,len>>1,w),R->addtag1(0,r-(len>>1),w);
        else R->addtag1(l-(len>>1),r-(len>>1),w);
        v=tag(L->v+R->v,tag1,tag2);
    }
    voi addtag2(uint l,uint r,ullt w){
        if(l>=r)return;
        if(!l&&r==len){v=tag(v,0,w),tag2+=w;return;}
        if(l<(len>>1))
            if(r<=(len>>1))L->addtag2(l,r,w);
            else L->addtag2(l,len>>1,w),R->addtag2(0,r-(len>>1),w);
        else R->addtag2(l-(len>>1),r-(len>>1),w);
        v=tag(L->v+R->v,tag1,tag2);
    }
};
uint T[500005];
int main()
{
#ifdef MYEE
    freopen("QAQ.in","r",stdin);
    // freopen("QAQ.out","w",stdout);
#endif
    uint n,q;scanf("%u%u",&n,&q);Seg S(n-1);
    for(uint i=0;i<n;i++)S.addtag1(0,i,1),S.addtag2(i,n-1,1);
    {
        std::vector<std::pair<uint,uint> >E(n-1);
        for(auto&e:E)scanf("%u%u",&e.first,&e.second);
        T[0]=n-1;for(uint i=0,p;i<n-1;i++)scanf("%u",&p),T[p-1]=i;
        for(auto e:E){
            uint u=T[e.first-1],v=T[e.second-1];if(u>v)std::swap(u,v);
            S.addtag1(0,u,-1),S.addtag2(v,n-1,-1);
        }
    }
    auto get=[&]{return S.v.minv==1?S.v.sum:0llu;};
    printf("%llu\n",get());
    while(q--){
        uint u,v;
        scanf("%u%u",&u,&v),u=T[u-1],v=T[v-1];if(u>v)std::swap(u,v);
        S.addtag1(0,u,1),S.addtag2(v,n-1,1);
        scanf("%u%u",&u,&v),u=T[u-1],v=T[v-1];if(u>v)std::swap(u,v);
        S.addtag1(0,u,-1),S.addtag2(v,n-1,-1);
        printf("%llu\n",get());
    }
    return 0;
}

// 那就是希望。
// 即便需要取模，也是光明。