#include <stdio.h>

typedef struct {
    char s[32];
    int i;
} hash_s;
#define HASH 541 

hash_s herci[HASH],role[HASH];

int mat[101][60];
int muze[101];
int *he[101];

int hash(const char *s){
    int x;

    for(x=0;*s;s++) x=((x<<3)+*s)%HASH;
    return(x);
}

void add(int *t,const int *s,int d){
    int i;
    
    for(i=0;i<d;i++) t[i]^=s[i];
}

int main(){
    int z;
    int h,r,nem;
    int i,j,k,l,m;
    char name[32];
    int *ip;

    scanf("%d",&z);
    while(z--){
        scanf("%d%d%d",&h,&r,&nem);
        
        for(i=0;i<HASH;i++){
            herci[i].s[0]=0;
            herci[i].i=0;
            role[i].s[0]=0;
            role[i].i=0;
        }
        for(i=0;i<h;i++){
            scanf("\n%s",name);
            j=hash(name);
            while(herci[j].s[0]) j++;
            strcpy(herci[j].s,name);
            herci[j].i=i;
        }
        for(i=0;i<r;i++){
            scanf("\n%s",name);
            j=hash(name);
            while(role[j].s[0]) j++;
            strcpy(role[j].s,name);
            role[j].i=i;
        }
        
        for(i=0;i<h;i++)
            for(j=0;j<r;j++)
                mat[i][j]=0;
        
        for(i=0;i<h;i++){
            scanf("\n%s%d",name,&l);
            j=hash(name);
            while(strcmp(name,herci[j].s)) j++;
            for(k=0;k<l;k++){
                scanf("%s",name);
                m=hash(name);
                while(strcmp(name,role[m].s)) m++;
                mat[herci[j].i][role[m].i]=1;
            }
        }
        for(i=0;i<100;i++) muze[i]=1;
        for(i=0;i<nem;i++){
            scanf("\n%s",name);
            j=hash(name);
            while(strcmp(name,herci[j].s)) j++;
            muze[herci[j].i]=0;
        }
        
        for(i=0,j=0;i<h;i++){
            if(muze[i]){
                he[j]=&mat[i][0];
                j++;
            }
        }

        h=h-nem;
        for(i=0;i<60;i++) mat[100][i]=1;        
      
        /*gausova eliminace*/
        
        for(i=0;i<r;i++){
        /*
        for(l=0;l<h;l++){
            for(m=0;m<r;m++) printf("%d ",he[l][m]);
            printf("\n");
        }
        for(l=0;l<r;l++) printf("%d ",mat[100][l]);
        printf("\n\n");*/
            for(j=i;j<h;j++) if(he[j][i]){
                ip=he[j];   /*prohozeni radku*/
                he[j]=he[i];
                he[i]=ip;
                for(k=i+1;k<h;k++) if(he[k][i]) add(he[k],he[i],r);
                if(mat[100][i]) add(&mat[100][0],he[i],r);
                break;
            }
            if(j==h) continue;
        }
        /*i je hodnost*/
        for(i=0;i<r;i++) if(mat[100][i]) break;
        if(i==r) printf("Premiera bude!\n");
        else printf("Zatraceni demonstranti!\n");
    }
    return(0);
}