#2260. 等式方程的可满足性

等式方程的可满足性

说明

给定 nn 个表示变量之间关系的字符串 ,其长度为 44,有以下两种形式:"a==b""a!=b"。在这里,ab 是小写字母(可能相同),表示单字母变量名。

只有当可以将整数分配给变量名,以便满足所有给定的方程时才输出 YES,否则输出 NO

格式

输入

第一行一个整数 nn。 接下来 nn 行,每行一个长度为 44 的字符串。

输出

YES 或者 NO

样例

2
a==b
b!=a
NO
2
b==a
a==b
YES
3
a==b
b==c
a==c
YES

提示

样例说明

样例一

如果我们指定,a=1a = 1b=1b = 1,那么可以满足第一个方程,但无法满足第二个方程。没有办法分配变量同时满足这两个方程。

样例二

我们可以指定 a=1a = 1b=1b = 1 以满足满足这两个方程。

数据范围

  1. 1n5001 \le n \le 500
  2. 字符串长度为 44
  3. 字符串头尾字符为小写字母
  4. 字符串中间部分为 == 或者 !=