程序行若以 F 开头,表示进入一个循环,之后有空格分离的三个字符(串)i x y,其中 是一个小写字母(保证不为 n ),表示新建的变量名, 和 可能是正整数或 n ,已知若为正整数则一定小于 。
注意在第 10 组数据中可能存在变量名为 n 的情况,这与之前的描述不符。
程序行若以 E 开头,则表示循环体结束。
输出格式
输出文件共 行,对应输入的 个程序,每行输出 Yes 或 No 或者 ERR,若程序实际复杂度与输入给出的复杂度一致则输出 Yes,不一致则输出 No,若程序有语法错误(其中语法错误只有: 1. F 和 E 不匹配;2. 新建的变量与已经存在但未被销毁的变量重复两种情况),则输出 ERR。
注意:即使在程序不会执行的循环体中出现了语法错误也会编译错误,要输出 ERR。
样例
样例输入
复制8
2 O(1)
F i 1 1
E
2 O(n^1)
F x 1 n
E
1 O(1)
F x 1 n
4 O(n^2)
F x 5 n
F y 10 n
E
E
4 O(n^2)
F x 9 n
E
F y 2 n
E
4 O(n^1)
F x 9 n
F y n 4
E
E
4 O(1)
F y n 4
F x 9 n
E
E
4 O(n^2)
F x 1 n
F x 1 10
E
E