### 问题描述 小齐有一个程序，它接受一个包含 $N$ 个变量 $b[0], b[1], \ldots, b[N-1]$ 的数组作为输入，每个变量的值为零或一。该程序包含一系列 $if$ / $else$ $if$ / $else$ 语句，每个语句仅检查最多一个输入变量的值，并返回零或一。现在，小齐告诉了小齐 $M$ 个不同输入的正确输出。现在，小齐试图反向推导小齐的程序。不幸的是，小齐可能撒谎了；也就是说，可能不存在形如上述程序的程序与小齐所说的一致。 对于每个测试用例 $T$（$1 \leq T \leq 10$），确定小齐是否一定在撒谎。 ### 输入格式 第一行包含整数 $T$，表示测试用例的数量。 每个测试用例以两个整数 $N$ 和 $M$ 开始，然后是 $M$ 行，每行包含一个包含 $N$ 个零和一组成的字符串（即 $b[0], b[1], \ldots, b[N-1]$ 的值），以及一个额外的字符（零或一），表示对应输入的输出。相邻的测试用例由换行符分隔。 ### 输出格式 对于每个测试用例，输出一行，为 $OK$ 或 $LIE$。 ### 样例输入 ``` 4 1 3 0 0 0 0 1 1 2 4 00 0 01 1 10 1 11 1 1 2 0 1 0 0 2 4 00 0 01 1 10 1 11 0 ``` ### 样例输出 ``` OK OK LIE LIE ``` ### 评测数据规模 $1 \leq N \leq 100$，$1 \leq M \leq 100$。