경찰관도 보통 사람과 다르지 않아서 일만 하고 살 수는 없다. 즐길 거리가 있어야 한다. 그래서 경찰견 훈련사 몇 명이 모여 아마추어 극단 Kynologický soubor italského národního divadla a literatury(이탈리아 국립 극장과 문학의 경찰견 극단), 줄여서 KSINDL을 만들었다. 단원들은 어떤 공연이든 엄청난 열정과 정성으로 무대에 올린다.
그런데 새 연극의 공개 초연이 열리기로 한 바로 그날, 단원 상당수가 난동을 부리는 시위대를 막는 작전에 투입되고 말았다. 일은 일이니 연극은 뒤로 밀렸고, 몇몇 단원은 초연 무대에 서지 못한다. 다행히 제대로 된 아마추어 극단이 늘 그렇듯 이 극단에도 자기 배역 말고 다른 배역까지 몸에 익혀 둔 배우가 많아서, 그 배역이라면 대신 소화할 수 있다. 그래도 남은 사람만으로 배역을 다 채우기가 언제나 쉽지는 않다. 그래서 경찰관들은 지금 상황을 따져 보고 이 진용으로 연극을 올릴 수 있는지 알려 주는 프로그램을 원한다.
한 배우는 공연에서 배역을 많아야 하나만 맡고, 배역마다 서로 다른 배우가 필요하다. 초연에 나올 수 있는 배우만으로 배역을 하나도 빠짐없이 채울 수 있는지 판정하라.
첫 줄에 자연수 Z가 주어지고, 이어서 Z개의 테스트 케이스가 차례로 주어진다.
각 테스트 케이스의 첫 줄에는 공백으로 구분한 정수 세 개가 있다. 차례대로 극단의 배우 수 H (1≤H≤100), 그날 저녁에 올릴 연극의 배역 수 R (1≤R≤60), 근무 때문에 초연에 나오지 못하는 배우 수 A (0≤A≤H)이다.
그다음 H개의 줄에 배우 이름이 한 줄에 하나씩 주어진다. 이름은 알파벳 대문자와 소문자로만 이루어지고, 길이는 1 이상 30 이하이다. 대문자와 소문자는 서로 다른 글자로 본다.
이어서 R개의 줄에 배역 이름이 한 줄에 하나씩 주어진다. 배역 이름에도 배우 이름과 같은 규칙이 적용된다.
배역 목록 다음에는 어떤 배우가 어떤 배역을 소화할 수 있는지 적은 목록이 H개의 줄에 걸쳐 주어진다. 각 줄은 배우 이름, 공백, 그 배우가 맡을 수 있는 배역의 수 Ui, 공백, 공백으로 구분한 배역 이름 Ui개 순서로 이어진다. 한 배우의 목록은 반드시 한 줄에 모두 들어가고, 다음 배우는 다음 줄에 나온다. 목록의 항목은 정확히 H개여서 모든 배우가 한 번씩 나오지만, 앞에서 이름을 나열한 순서와 같을 필요는 없다.
마지막으로 A개의 줄에 걸쳐 초연에 나오지 못하는 배우의 이름이 한 줄에 하나씩 주어진다.
각 테스트 케이스마다 정확히 한 줄을 출력한다. 주어진 상황에서 연극을 무대에 올릴 수 있으면 Premiera bude!를 출력하고, 그렇지 않으면 Zatraceni demonstranti!를 출력한다.