#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int H, //herci
    R, //role
    A; //absence
    
char herci[101][31];
char absence[101][31];

typedef struct {
 char jmeno[31];
 int pocet_roli;
 int crole[61];
 int hraje; // jestli hraje je 1 kdyz ne 0
} HRAC;

typedef struct {
 char jmeno[31];
 int obsazena;
} ROLE;

char rolicka[31];
HRAC hraci[101];
ROLE role[61];

int get_index(char jmeno[31]) {
 for (int i=0;i<R;i++) {
//  printf("%s-%s",role[i].jmeno,jmeno);
  if (!strcmp(role[i].jmeno,jmeno)) { 
 //  puts("konec");
   return i;
  }
 }
 return 0;
}

int get_clovek(char jmeno[31]) {
 for (int i=0;i<H;i++) {
  if (!strcmp(hraci[i].jmeno,jmeno)) return i;
 }
 return 0;
}

int main(void)
{
    int N,i,j;

    scanf("%d",&N);
    while (N--)
    {
	scanf("%d%d%d",&H,&R,&A);
	if ((H-A)<R) {
	 puts("Zatraceni demonstranti!");
	 continue;
	}
	for (i=0;i<H;i++) scanf("%s",herci[i]);
	for (i=0;i<R;i++) { 
	 scanf("%s",role[i].jmeno);
	 role[i].obsazena=0;
	}
	
	for (i=0;i<H;i++) {
	 scanf("%s",hraci[i].jmeno); 
	 scanf("%d",&hraci[i].pocet_roli);
	 for(j=0;j<hraci[i].pocet_roli;j++) {
		 scanf("%s",rolicka);
//		 printf("%d",get_index(rolicka));
		 hraci[i].crole[get_index(rolicka)]=1;
		 hraci[i].hraje=1;
	 }
	}
	for (i=0;i<A;i++) {
	  scanf("%s",absence[i]);
	}
	
	for(i=0;i<H;i++) {
	 for (j=0;j<A;j++)
	  hraci[get_clovek(absence[j])].hraje=0;
	}
	
	for (i=0;i<H;i++) {
	 for (j=0;j<R;j++) {
	  if((hraci[i].crole[j]==1) && (hraci[i].hraje==1) && (role[j].obsazena==0)) 
	  { 
	   role[j].obsazena=1; 
	   for(int k=0;k<R;k++)
	    hraci[i].crole[k]=0;    
	  }
	 }
	}
	int ok=1;
	for (j=0;i<R;i++)
	 if (role[j].obsazena==0) ok=0;
	  
	if (ok==1) puts("Premiera bude!");
	else puts("Zatraceni demonstranti!");
    }
    return 0;
}