The [BFS](https://en.wikipedia.org/wiki/Breadth-first_search) algorithm is defined as follows.

  1. Consider an undirected graph with vertices numbered from 1 to n. Initialize q as a new [queue](http://gg.gg/queue_en) containing only vertex 1, mark the vertex 1 as used. 
  2. Extract a vertex v from the head of the queue q. 
  3. Print the index of vertex v. 
  4. Iterate in arbitrary order through all such vertices u that u is a neighbor of v and is not marked yet as used. Mark the vertex u as used and insert it into the tail of the queue q. 
  5. If the queue is not empty, continue from step 2. 
  6. Otherwise finish. 



Since the order of choosing neighbors of each vertex can vary, it turns out that there may be multiple sequences which BFS can print.

In this problem you need to check whether a given sequence corresponds to some valid BFS traversal of the given tree starting from vertex 1. The [tree](http://gg.gg/tree_en) is an undirected graph, such that there is exactly one simple path between any two vertices.

Input

The first line contains a single integer n (1 ≤ n ≤ 2 ⋅ 10^5) which denotes the number of nodes in the tree. 

The following n - 1 lines describe the edges of the tree. Each of them contains two integers x and y (1 ≤ x, y ≤ n) — the endpoints of the corresponding edge of the tree. It is guaranteed that the given graph is a tree.

The last line contains n distinct integers a_1, a_2, …, a_n (1 ≤ a_i ≤ n) — the sequence to check.

Output

Print "Yes" (quotes for clarity) if the sequence corresponds to some valid BFS traversal of the given tree and "No" (quotes for clarity) otherwise.

You can print each letter in any case (upper or lower).

Examples

Input

4
1 2
1 3
2 4
1 2 3 4


Output

Yes

Input

4
1 2
1 3
2 4
1 2 4 3


Output

No

Note

Both sample tests have the same tree in them.

In this tree, there are two valid BFS orderings: 

  * 1, 2, 3, 4, 
  * 1, 3, 2, 4. 



The ordering 1, 2, 4, 3 doesn't correspond to any valid BFS order.
"""
    Satwik_Tiwari ;) .
    30th july , 2020  - Thursday
"""

#===============================================================================================
#importing some useful libraries.
from __future__ import division, print_function

from fractions import Fraction
import sys
import os
from io import BytesIO, IOBase

from itertools import *
import bisect
from heapq import *
from math import *
from copy import *
from collections import deque
from collections import Counter as counter  # Counter(list)  return a dict with {key: count}
from itertools import combinations as comb # if a = [1,2,3] then print(list(comb(a,2))) -----> [(1, 2), (1, 3), (2, 3)]
from itertools import permutations as permutate
from bisect import bisect_left as bl
#If the element is already present in the list,
# the left most position where element has to be inserted is returned.
from bisect import bisect_right as br
from bisect import bisect
#If the element is already present in the list,
# the right most position where element has to be inserted is returned

#==============================================================================================
#fast I/O region
BUFSIZE = 8192


class FastIO(IOBase):
    newlines = 0

    def __init__(self, file):
        self._fd = file.fileno()
        self.buffer = BytesIO()
        self.writable = "x" in file.mode or "r" not in file.mode
        self.write = self.buffer.write if self.writable else None

    def read(self):
        while True:
            b = os.read(self._fd, max(os.fstat(self._fd).st_size, BUFSIZE))
            if not b:
                break
            ptr = self.buffer.tell()
            self.buffer.seek(0, 2), self.buffer.write(b), self.buffer.seek(ptr)
        self.newlines = 0
        return self.buffer.read()

    def readline(self):
        while self.newlines == 0:
            b = os.read(self._fd, max(os.fstat(self._fd).st_size, BUFSIZE))
            self.newlines = b.count(b"\n") + (not b)
            ptr = self.buffer.tell()
            self.buffer.seek(0, 2), self.buffer.write(b), self.buffer.seek(ptr)
        self.newlines -= 1
        return self.buffer.readline()

    def flush(self):
        if self.writable:
            os.write(self._fd, self.buffer.getvalue())
            self.buffer.truncate(0), self.buffer.seek(0)


class IOWrapper(IOBase):
    def __init__(self, file):
        self.buffer = FastIO(file)
        self.flush = self.buffer.flush
        self.writable = self.buffer.writable
        self.write = lambda s: self.buffer.write(s.encode("ascii"))
        self.read = lambda: self.buffer.read().decode("ascii")
        self.readline = lambda: self.buffer.readline().decode("ascii")


def print(*args, **kwargs):
    """Prints the values to a stream, or to sys.stdout by default."""
    sep, file = kwargs.pop("sep", " "), kwargs.pop("file", sys.stdout)
    at_start = True
    for x in args:
        if not at_start:
            file.write(sep)
        file.write(str(x))
        at_start = False
    file.write(kwargs.pop("end", "\n"))
    if kwargs.pop("flush", False):
        file.flush()


if sys.version_info[0] < 3:
    sys.stdin, sys.stdout = FastIO(sys.stdin), FastIO(sys.stdout)
else:
    sys.stdin, sys.stdout = IOWrapper(sys.stdin), IOWrapper(sys.stdout)

# inp = lambda: sys.stdin.readline().rstrip("\r\n")

#===============================================================================================
### START ITERATE RECURSION ###
from types import GeneratorType
def iterative(f, stack=[]):
  def wrapped_func(*args, **kwargs):
    if stack: return f(*args, **kwargs)
    to = f(*args, **kwargs)
    while True:
      if type(to) is GeneratorType:
        stack.append(to)
        to = next(to)
        continue
      stack.pop()
      if not stack: break
      to = stack[-1].send(to)
    return to
  return wrapped_func
#### END ITERATE RECURSION ####

#===============================================================================================
#some shortcuts

mod = 1000000007
def inp(): return sys.stdin.readline().rstrip("\r\n") #for fast input
def out(var): sys.stdout.write(str(var))  #for fast output, always take string
def lis(): return list(map(int, inp().split()))
def stringlis(): return list(map(str, inp().split()))
def sep(): return map(int, inp().split())
def strsep(): return map(str, inp().split())
# def graph(vertex): return [[] for i in range(0,vertex+1)]
def zerolist(n): return [0]*n
def nextline(): out("\n")  #as stdout.write always print sring.
def testcase(t):
    for p in range(t):
        solve()
def printlist(a) :
    for p in range(0,len(a)):
        out(str(a[p]) + ' ')
def lcm(a,b): return (a*b)//gcd(a,b)
def power(a,b):
    ans = 1
    while(b>0):
        if(b%2==1):
            ans*=a
        a*=a
        b//=2
    return ans
def ncr(n,r): return factorial(n)//(factorial(r)*factorial(max(n-r,1)))
def isPrime(n) :
    if (n <= 1) : return False
    if (n <= 3) : return True
    if (n % 2 == 0 or n % 3 == 0) : return False
    i = 5
    while(i * i <= n) :
        if (n % i == 0 or n % (i + 2) == 0) :
            return False
        i = i + 6
    return True

#===============================================================================================
# code here ;))
def bfs(g,st,par):
    visited = [-1]*(len(g))
    visited[st] = 0
    queue = deque([])
    queue.append(st)
    new = []
    while(len(queue) != 0):
        s = queue.popleft()
        new.append(s)
        for i in g[s]:
            if(visited[i] == -1):
                par[i] = s
                visited[i] = visited[s]+1
                queue.append(i)
    return visited

def solve():
    n = int(inp())
    graph = [[] for i in range(n)]
    for i in range(n-1):
        a,b = sep()
        a-=1
        b-=1
        graph[a].append(b)
        graph[b].append(a)

    a = lis()
    for i in range(n):
        a[i] -=1
    par = [-1]*(n)
    dist = bfs(graph,0,par)
    # print(dist)
    # print(a)
    # print(par)
    if(n==2):
        if(dist[a[1]]<=dist[a[0]]):
            print('NO')
            return
    else:
        for i in range(1,n-1):
            # print(i)
            # print(dist[a[i-1]],dist[a[i]],dist[a[i+1]])
            if(dist[a[i-1]]<=dist[a[i]]<=dist[a[i+1]]):
                continue
            else:
                print('NO')
                return

    new = [[] for i in range(max(dist)+1)]
    for i in range(n):
        new[dist[a[i]]].append(a[i])
    # print(new)

    for i in range(2,len(new)):
        lol = []
        for j in new[i]:
            lol.append(par[j])
        curr = [lol[0]]
        # print(lol,'==')
        for j in range(1,len(lol)):
            if(lol[j] != lol[j-1]):
                curr.append(lol[j])
            # print(curr,j)
        tochck = []
        for j in new[i-1]:
            if(len(graph[j]) == 1):
                continue
            else:
                tochck.append(j)

        if(curr!=tochck):
            # print(curr,new[i-1])
            print('NO')
            return

    print('YES')




testcase(1)
# testcase(int(inp()))












