第一行,一个整数 t(1≤t≤104),代表数据组数。
对于每组数据:
第一行,两个整数 n,c(2≤n≤5000;1≤c≤109),分别代表提瓦特大陆上的节点数和花费的最大值。
第二行,n 个整数 v1,…,vn(0≤vi≤5000;∑v≤5000),代表每个点的价值。
第三行,n 个整数 w1,…,wn(1≤wi≤109),代表使得每个点无法被感染的花费。
接下来连续的 n−1 行,每行两个整数 x,y(1≤x,y≤n),代表树上的一条边,保证所有的边构成一棵树。
保证同一测试点内 n2 和 (∑v)2 的总和均不会超过 5×107。