#1823. 侦探推理

侦探推理

题目描述

穿越的李旭琳终于在网络上联系到了小时候的墨老师(那时他还是一个普通的不能再普通的魔法学徒,我们称他为小墨老师好了),但小墨老师并不相信李旭琳在网络上所说的话。无可奈何之际,李旭琳冒充学院交换生,进入了小墨老师所在的班级。

那时小墨老师痴迷漫画,特别是侦探漫画《柯南》并沉醉于推理游戏之中,他经常召集了一群同学玩推理游戏。游戏的内容是这样的,由同学们先商量好由其中的一个人充当罪犯(在小墨老师不知情的情况下),小墨老师的任务就是找出这个罪犯。接着,小墨老师逐个询问每一个同学,被询问者可能会说的内容如表所示。

img

证词中出现的其他话,都不列入逻辑推理的内容。

小墨老师所知道的是,他的同学中有N个人始终说假话,其余的人始终说真话。

现在,李旭琳需要帮助他从他同学的话中推断出谁是真正的凶手,请记住,凶手只有一个!

输入格式

输入由若干行组成,第一行有三个整数,M1M20\red{M(1≤M≤20)}N(1NM)\red{N(1≤N≤M)}P1P100\red{P(1≤P≤100)}M\red{M}是参加游戏的墨老师的同学数,N\red{N}是其中始终说谎的人数,P\red{P}是证言的总数。接下来M\red{M}行,每行是墨老师的一个同学的名字(英文字母组成,没有空格,全部大写)。往后有P\red{P}行,每行开始是某个同学的名字,紧接着一个冒号和一个空格,后面是一句证词,符合前表中所列格式。证词每行不会超过250\red{250}个字符。

输入中不会出现连续的两个空格,而且每行开头和结尾也没有空格。

输出格式

如果你能确定谁是罪犯,则输出他的名字;如果程序判断出不止一个人可能是罪犯,则输出Cannot\red{Cannot} Determine\red{Determine};如果程序判断出没有人可能成为罪犯,则输出Impossible\red{Impossible}

样例

输入样例

3 1 5

MIKE

CHARLES
KATE

MIKE:I am guilty.

MIKE:Today is Sunday.

CHARLES:MIKE is guilty.

KATE:I am guilty.

KATE:How are you?

输出样例

MIKE