题目链接:http://acm.fzu.edu.cn/problem.php?pid=2202

福尔摩斯是个大侦探,他总是在解决疑难案件。这一次的案件也不例外,案件是这样的:有编号为1到N的N位嫌疑犯,他们其中有一个犯了罪,然后每个嫌疑犯都被询问,“哪一个人犯了罪?”犯罪嫌疑人的答案只能“编号ai的嫌疑犯犯了罪”或者“编号ai的嫌疑犯没有犯罪”。当然嫌疑犯也可以说他自己(ai = i).

福尔摩斯凭着他敏锐的侦探直觉,确定地对华生说,只有M个人说了真话,其余人都是说谎。然后就没有然后了,但华生却想知道哪些人说谎哪些人又是讲真话。这个时候同样聪明的你,被誉为红旗下的名侦探是否愿意秀一下自己的侦探天赋,帮助可怜的华生嘛?

Input

第一行一个整数T(1≤T≤10),表示测试数据的组数。

每组数据第一行包含N(1≤N≤105)和M(0≤M≤N)两个整数,含义见题面。接下来N行,第i行是一个整数+ai或者-ai(1≤ai≤N),如果是+ai,代表第i个人说编号ai犯了罪,如果是-ai,则表示编号ai没有犯罪。

输入数据保证至少存在一个人,使得如果是他犯了罪,则恰好有 M 个人说了真话。

Output

输出为N行,第i行是第i个嫌疑犯的输出。如果第i个嫌疑犯说了是真话,输出“Truth”;如果说谎,则输出“Lie”,如果不确定,则输出“Not defined”。

Sample Input

2
3 2
-1
-2
-3
4 1
+2
-3
+4
-1

Sample Output

Not defined
Not defined
Not defined
Lie
Not defined
Lie
Not defined
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<string>
#include<cstring>
#include<map>
#include<vector>
#include<set>
#include<list>
#include<stack>
#include<queue>
using namespace std;
typedef long long ll;
const int N=1e5+5;
int A,B;//A个正号,B个负号
int a[N];//a[i]表示说i是犯罪的人的数量
int b[N];//b[i]表示说i不是罪犯的人的数量
int c[N];//c[i]表示假设i是罪犯,符合条件 
int x[N];//每个人说的话 
int main(){
    int T;
	scanf("%d",&T);
	while(T--){
		int n,m;
		scanf("%d%d",&n,&m);
		memset(a,0,sizeof(a));
		memset(b,0,sizeof(b));
		memset(c,0,sizeof(c));
		A=0,B=0;
		for(int i=1;i<=n;i++){
			scanf("%d",&x[i]);
			if(x[i]<0) {
				B++;
				b[-x[i]]++;
			}
			else {
				A++;
				a[x[i]]++;
			}
		}
		int cnt=0;
		int id;//罪犯id 
		for(int i=1;i<=n;i++){  //枚举所有人,假设i是罪犯,看是否成立 
			int t=a[i]+B-b[i];
			if(t==m){
				cnt++;
				c[i]=1;
				id=i;
			} 
		} 
		if(cnt==1){
			for(int i=1;i<=n;i++){
				if(abs(x[i])==id){
					if(x[i]>0) printf("Truth\n");
					else printf("Lie\n");
				}
				else{
					if(x[i]<0) printf("Truth\n");
					else printf("Lie\n");
				}
			}
		}
		else{
			for(int i=1;i<=n;i++){
				int t=abs(x[i]);
				if(c[t]==1){    
					printf("Not defined\n");
				}
				else{
					if(x[i]>0) printf("Lie\n");
					else printf("Truth\n");
				} 
			}
		}
	} 
	return 0;
}