输入描述:

输入文件的第一行是一个正整数 T，表示数据组数 (每组数据描述一个需要判定的图)。接下来从输入文件第二行开始有 T 组数据，每组数据的第一行是用空格隔开的两个正整数 N 和 M，分别表示对应图的顶点数和边数。紧接着的 M 行，每行是用空格隔开的两个正整数 u 和 v ，表示对应图的一条边 , 输入的数据保证所有边仅出现一次。每组数据的最后一行是用空格隔开的 N 个正整数，从左到右表示对应图中的一个哈密顿回路：，即对任意  有  且对任意  有  及 。输入的数据保证  的数据满足 。

输出描述:

包含 T 行，若输入文件的第 i 组数据所对应图是平面图，则在第 i 行输出 ，否则在第 i 行输出 ，注意均为大写字母