首先如果给定一些数，询问这些数中哪个数^给定的数的值最大的话，我们可以建立一颗trie树，根连接的两条边分别为0,1，表示二进制下第15位，那么我们可以建立一颗trie树，每一条从根到叶子节点的链表示一个2^16以内的数，开始每个节点的cnt都是0，那么每插入一个元素，将表示这个值的链上所有位置的cnt++，那么对于一个值要求使得^最大，如果这个值的某一位是1，那么我们最好要找到一个为0的数来和他^，那么判断下0儿子的cnt是不是大于0，然后做就好了。
那么对于这棵树，我们可以先将1为根，然后对于两个点x,y之间的链拆成x,lca和y,lca的两条链，现在问题就转化为了求一个深度递增的链上所有值和给定值的^值最大，那么我们可以建立可持久化trie，每个节点继承父节点的trie树，我们只需要用x的trie树减去lca father的trie树做开始的问题就好了。
反思：调试的时候输出调试的，然后答案更新的只按照一部分更新的，忘了改回去了。因为这个题没看题，是别人讲的题意，所以没看到多组数据，在这儿一直错= =。
//By BLADEVIL
#include <cstdio>
#include <cstring>
#include <algorithm>
#define maxn 200010 using namespace std; struct ww {
int son[];
int cnt;
ww() {
cnt=;
memset(son,,sizeof son);
}
}t[maxn<<]; int n,m,l,tot;
int a[maxn],pre[maxn<<],other[maxn<<],last[maxn],que[maxn],dis[maxn],jump[maxn][]; void connect(int x,int y) {
pre[++l]=last[x];
last[x]=l;
other[l]=y;
} int lca(int x,int y) {
if (dis[x]>dis[y]) swap(x,y);
int dep=dis[y]-dis[x];
for (int i=;i<=;i++) if (dep&(<<i)) y=jump[y][i];
if (x==y) return x;
for (int i=;i>=;i--) if (jump[x][i]!=jump[y][i]) x=jump[x][i],y=jump[y][i];
return jump[x][];
} void build(int &x,int dep) {
if (!x) x=++tot;
if (dep<) return ;
build(t[x].son[],dep-); build(t[x].son[],dep-);
} void insert(int &x,int rot,int dep,int key) {
if (!x) x=++tot;
if (dep==-) return ;
if (key&(<<dep)) {
insert(t[x].son[],t[rot].son[],dep-,key);
t[x].son[]=t[rot].son[];
} else {
insert(t[x].son[],t[rot].son[],dep-,key);
t[x].son[]=t[rot].son[];
}
t[x].cnt+=t[rot].cnt+;
//printf("|%d %d\n",t[x].cnt,x);
} int query(int rx,int lx,int key,int dep) {
if (dep==-) return ;
//printf("%d %d %d %d\n",t[rx].son[1],t[rx].son[0],t[t[rx].son[1]].cnt,t[t[rx].son[0]].cnt);
int ans=;
if (key&(<<dep)) {
if (t[t[rx].son[]].cnt-t[t[lx].son[]].cnt) {
ans=<<dep;
ans+=query(t[rx].son[],t[lx].son[],key,dep-);
} else ans=query(t[rx].son[],t[lx].son[],key,dep-);
} else {
if (t[t[rx].son[]].cnt-t[t[lx].son[]].cnt) {
ans=<<dep;
ans+=query(t[rx].son[],t[lx].son[],key,dep-);
} else ans=query(t[rx].son[],t[lx].son[],key,dep-);
}
//printf("%d\n",ans);
return ans;
} void work() {
memset(t,,sizeof t);
memset(last,,sizeof last);
memset(dis,,sizeof dis);
tot=n; l=;
for (int i=;i<=n;i++) scanf("%d",&a[i]);
for (int i=;i<n;i++) {
int x,y; scanf("%d%d",&x,&y);
connect(x,y); connect(y,x);
}
int head=,tail=; que[]=; dis[]=;
while (head<tail) {
int cur=que[++head];
for (int p=last[cur];p;p=pre[p]) {
if (dis[other[p]]) continue;
que[++tail]=other[p]; dis[other[p]]=dis[cur]+;
}
}
//for (int i=1;i<=n;i++) printf(i==n?"%d\n":"%d ",que[i]);
jump[][]=++tot;
for (int i=;i<=n;i++)
for (int p=last[que[i]];p;p=pre[p])
if (dis[other[p]]>dis[que[i]]) jump[other[p]][]=que[i];
for (int i=;i<=;i++)
for (int j=;j<=n;j++){
int cur=que[j];
jump[cur][i]=jump[jump[cur][i-]][i-];
}
build(jump[][],);
for (int i=;i<=n;i++) insert(que[i],jump[que[i]][],,a[que[i]]);
//for (int i=1;i<=tot;i++) printf("%d %d %d %d\n",i,t[i].son[0],t[i].son[1],t[i].cnt);
//int x,y; scanf("%d%d",&x,&y); printf("%d\n",lca(x,y));
while (m--) {
int x,y,z; scanf("%d%d%d",&x,&y,&z);
int root=lca(x,y);
int ans=;
ans=max(query(x,jump[root][],z,),query(y,jump[root][],z,));
//ans=query(y,jump[root][0],z,15);
printf("%d\n",ans);
}
} int main() {
while (scanf("%d%d",&n,&m)!=EOF) work();
return ;
}