输入描述:

第一行包含三个整数    ，， 。
接下来  行，每行包括两个整数  ，表示存在一条从节点  到  的边，节点编号从  开始，保证图联通，无重边，无自环。
接下来一行，包含  个整数，分别表示有人所在的节点，保证  个节点各不相同。

输出描述:

输出包括一行，如果有办法能让全部人都集中在一个点，输出”YES“，否则输出”NO“，不包含引号。