B"There is a tree of n vertices and a permutation p of size n . A token is present on vertex x of the tree. Alice and Bob are playing a game. Alice is in control of the permutation p , and Bob is in control of the token on the tree. In Alice's turn, she must pick two distinct numbers u and v (not positions; u neq v ), such that the token is neither at vertex u nor vertex v on the tree, and swap their positions in the permutation p . In Bob's turn, he must move the token to an adjacent vertex from the one it is currently on. Alice wants to sort the permutation in increasing order. Bob wants to prevent that. Alice wins if the permutation is sorted in increasing order at the beginning or end of her turn. Bob wins if he can make the game go on for an infinite number of moves (which means that Alice is never able to get a sorted permutation). Both players play optimally. Alice makes the first move. Given the tree, the permutation p , and the vertex x on which the token initially is, find the winner of the game. The first line contains a single integer t ( 1 <= t <= 1000 ) -- the number of test cases. The description of each test case follows. The first line of each test case has two integers n and x ( 3 <= q n <= q 2 cdot 10^5 ; 1 <= q x <= q n ). Each of the next n-1 lines contains two integers a and b ( 1 <= a, b <= n , a neq b ) indicating an undirected edge between vertex a and vertex b . It is guaranteed that the given edges form a tree. The next line contains n integers p_1, p_2, ldots, p_n ( 1 <= p_i <= n ) -- the permutation p . The sum of n over all test cases does not exceed 2 cdot 10^5 . For each test case, output one line containing Alice or Bob -- the winner of the game. The output is case-sensitive. Here is the explanation for the first example: In the first t"...