#include #define rep(i,n)for(int i=0;i<(n);i++) using namespace std; typedef long long ll; typedef pairP; class LCA{ public: vector>>E; vector>par; vectord1; vectord2; int MAX_LOG=22; int n; LCA(){} LCA(int N){ n=N; E=vector>>(n); par=vector>(MAX_LOG,vector(n)); d1=vector(n); d2=vector(n); } void add_edge(int a,int b,int c){ E[a].push_back(make_pair(c,b)); E[b].push_back(make_pair(c,a)); } void add_edge(int a,int b){ E[a].push_back(make_pair(1,b)); E[b].push_back(make_pair(1,a)); } private: void dfs(int u,int p,int a,long long b){ par[0][u]=p;d1[u]=a;d2[u]=b; for(auto&v:E[u]){ if(v.second!=p)dfs(v.second,u,a+1,b+v.first); } } bool flag=false; void init(){ dfs(0,-1,0,0); for(int i=1;id1[v])swap(u,v); for(int i=0;i>i&1)v=par[i][v]; } if(u==v)return u; for(int i=MAX_LOG-1;i>=0;i--){ if(par[i][u]!=par[i][v]){ u=par[i][u]; v=par[i][v]; } } return par[0][u]; } long long dist(int u,int v){ int l=lca(u,v); return d2[u]+d2[v]-d2[l]*2; } }; template class Segtree{ int n; vectordat; T INIT; T E; functionF; public: Segtree(int n_,T INIT,T E,functionF):INIT(INIT),E(E),F(F){ n=1;while(n(2*n,INIT); } void set(int k,T x){ k+=n; dat[k]=x; while(k>1){ k>>=1; dat[k]=F(dat[k<<1],dat[(k<<1)+1]); } } void update(int k,T x){ k+=n; dat[k]=F(dat[k],x); while(k>1){ k>>=1; dat[k]=F(dat[k<<1],dat[(k<<1)+1]); } } T query(int l,int r){ T resl=E,resr=E; for(l+=n,r+=n;l>=1,r>>=1){ if(l&1)resl=F(resl,dat[l++]); if(r&1)resr=F(dat[--r],resr); } return F(resl,resr); } }; int c[200000]; ll l[200000]; int main(){ int n,K;cin>>n>>K; rep(i,K){ scanf("%d",&c[i]);c[i]--; } LCA lca(n); rep(i,n-1){ int a,b;scanf("%d%d",&a,&b);a--;b--; lca.add_edge(a,b); } Segtreeseg(n,0,0,[](int a,int b){return max(a,b);}); for(int i=K-1;i>=0;i--){ if(i==K-1)l[i]=c[i]; else l[i]=lca.lca(l[i+1],c[i]); seg.update(i,lca.d1[l[i]]+(K-i)); } int ans=seg.query(0,n); int x=0; rep(i,K-1){ if(i==0)x=c[i]; else x=lca.lca(x,c[i]); int ok=K-1,ng=i; int L=lca.lca(l[K-1],x); while(ok-ng>1){ int t=(ok+ng)/2; if(lca.lca(x,l[t])==L)ok=t; else ng=t; } ans=max(ans,i+1+lca.d1[x]); ans=max(ans,i+1+seg.query(i+1,ok)); ans=max(ans,lca.d1[L]+i+1+(K-ok)); } cout<