//code by Emissary
#include<bits/stdc++.h>

#define fi first
#define se second
#define vc vector
#define db double
#define ll long long
#define mk make_pair
#define pb push_back
#define PI pair<int,int>
#define ull unsigned long long
#define err cerr << "   -_-   " << endl
#define debug cerr << " ------------------- " << endl

#define input(x) freopen(#x".in","r",stdin)
#define output(x) freopen(#x".out","w",stdout)

#define NO puts("No")
#define YES puts("Yes")

//#define int long long

using namespace std;

namespace IO{
	inline int read(){
		int X=0, W=0; char ch=getchar();
		while(!isdigit(ch)) W|=ch=='-', ch=getchar();
		while(isdigit(ch)) X=(X<<1)+(X<<3)+(ch^48), ch=getchar();
		return W?-X:X;
	}
	inline void write(ll x){
		if(x<0) x=-x, putchar('-');
		if(x>9) write(x/10);
		putchar(x%10+'0');
	}
	inline void sprint(ll x){write(x), putchar(32);}
	inline void eprint(ll x){write(x), putchar(10);}
}using namespace IO;

const int MAXN = 3e5+5;

int n, m, sum[MAXN], type;
int ta[MAXN], tb[MAXN], siz[MAXN], tp[MAXN];
int head[MAXN], ne[MAXN<<1], to[MAXN<<1], de[MAXN], cnt;

vc<int> num;

ll minans;

vc<int> ans;

inline void add(int x, int y){++cnt;to[cnt]=y;ne[cnt]=head[x];head[x]=cnt;}

inline void dfs(int x, int f){
	siz[x]=(ta[x]?1:0)-(tb[x]?1:0); sum[x]=(ta[x]?1:0)+(tb[x]?1:0); de[x]=de[f]+1;
	for(int i=head[x];i;i=ne[i]){
		if(to[i]==f) continue;
		dfs(to[i],x); siz[x]+=siz[to[i]]; sum[x]+=sum[to[i]];
		if(!sum[to[i]]) continue;
		minans+=max(2,abs(siz[to[i]])*2);
	}
	return ;
}

inline void construct(int x, int f){
	if(tb[x]){
		if(num.size()==0) num.pb(tb[x]), type=2;
		else{
			if(type==2) num.pb(tb[x]);
			else{
				ans.pb(num.back()); ans.pb(tb[x]); num.pop_back();
			}
		}
	}
	for(int i=head[x];i;i=ne[i]){
		if(to[i]==f) continue;
		construct(to[i],x);
	}
	if(ta[x]){
		if(num.size()==0) num.pb(ta[x]), type=1;
		else{
			if(type==1) num.pb(ta[x]);
			else{
				ans.pb(ta[x]); ans.pb(num.back()); num.pop_back();
			}
		}
	}
	return ;
}

signed main(){
	n=read(), m=read();
	for(int i=1;i<=m;++i) ta[read()]=i;
	for(int i=1;i<=m;++i) tb[read()]=i;
	for(int i=2;i<=n;++i){
		int x, y;
		x=read(), y=read();
		add(x,y), add(y,x);
	}
	dfs(1,0); construct(1,0);
	eprint(minans);
	for(auto i:ans) sprint(i);
	return 0;
}