import sys
input = sys.stdin.readline

T=int(input())

for tests in range(T):
    N,M,K=map(int,input().split())

    E=[[] for i in range(N)]

    for i in range(M):
        x,y=map(int,input().split())
        x-=1
        y-=1
        E[x].append(y)
        E[y].append(x)
    B=list(map(int,input().split()))

    D=[-1]*N

    flag=1

    D[0]=0
    Q=[0]
    while Q:
        x=Q.pop()
        for to in E[x]:
            if D[to]==-1:
                D[to]=D[x]^1
                Q.append(to)
            else:
                if D[to]==D[x]:
                    flag=0
                    break

    if flag==0:
        print("Yes")
        continue

    score=[0,0]

    for i in range(N):
        score[D[i]]+=B[i]

    if score[0]%K==score[1]%K:
        print("Yes")
    else:
        print("No")