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


int main(void){
  int poc_zadani=0;
  int h,r,a,i,hraje=1,j,k,poc_roli=0,uz_je=0;
  char jmeno[101][31];
  char role[61][31];
  char nemocni[101][31];
  char sjmeno[101][31];
  int spocet[101];
  int stav=0;
  char srole[61][101][31];
  char umi_zahrat[61][31]; 
  
  scanf("%d",&poc_zadani);
  while(poc_zadani-- >0){
    scanf("%d %d %d",&h,&r,&a);
    for(i=1;i<=h;i++)
    {
      scanf("%s",jmeno[i]);
    }
    for(i=1;i<=r;i++)
    {
      scanf("%s",role[i]);
    }
    for(i=1;i<=h;i++)
    {
      scanf("%s %d",sjmeno[i],&(spocet[i]));
      for(j=1;j<=spocet[i];j++)
      {
        scanf("%s",srole[j][i]);
       
     }
    }
    
    for(i=1;i<=a;i++)
    {
      scanf("%s",nemocni[i]);
    }
  
    for(i=1;i<=h;i++)
    {
      for(j=1;j<=a;j++)
      {
        if(strcmp(sjmeno[i],nemocni[j])==0)
	{
	  hraje=0;
	  
	}
       }
      if(hraje==1)
      {
        for(j=1;j<=spocet[i];j++)
	{
	  for(k=0;k<=poc_roli;k++)
	  {
	   if(strcmp(srole[j][i],umi_zahrat[k])==0)
	     {
               uz_je=1;
	     }
          }	
	    if((uz_je==0)&&(stav==0))
	    {
	      strcpy(umi_zahrat[poc_roli],srole[j][i]);
	      stav=1;
	      poc_roli++;
	    }
	    uz_je=0;
	  
	}
      }
      hraje=1;
      stav=0;
    }
  }
  if(poc_roli==r) printf("Premiera bude!\n");
    else printf("Zatraceni demonstranti!\n");
  
  
  return 0;
  
}