LOJ 1261

#include<bits/stdc++.h>

using namespace std;
int mi[100];
int pl[100];

int main()
{
//    freopen("in.txt", "r", stdin);
//    freopen("out.txt", "w", stdout);
    int t;
    cin>>t;
    for(int i=1;i<=t;i++){
        int n, m, k;
        int x, y, a;
        int flag=0;
        int b[100];
        memset(mi,0,sizeof(mi));
        memset(pl,0,sizeof(pl));

        scanf("%d%d%d", &n,&m,&k);
        for(int j=0;j<n;j++){
            for(int l=0;l<k;l++){
                scanf("%d", &x);
                if(x<0){
                    y=abs(x);
                    mi[y]++;
                    pl[y]--;
                }
                else{
                    pl[x]++;
                }
            }
        }
        int p;
        cin>>p;

        int temp;
        if(p==0){
            for(int j=1;j<=m;j++){
                if(pl[j]>0){
                    temp=1;
                    break;
                }
            }
        }
        else{
            for(int j=0;j<p;j++){
            scanf("%d", &a);
                b[j]=a;
                if(mi[a]!=0){
                    flag=1;
                }
            }
        }
//        for(int j=1;j<=m;j++){
//            cout<<pl[j]<<" ";
//        }
//        cout<<endl;

        if(flag==1){
            printf("Case %d: No\n", i);
        }
        else{
            printf("Case %d: Yes\n", i);
        }
    }
}