{"raw_statement":[{"iden":"background","content":"作为新时代的 OIer/XCPCer，你已经不满足于挑战 NPC 问题了。你想挑战数学的不可判定性——图灵停机问题。"},{"iden":"statement","content":"图灵给了你一个程序。程序开始运行之初，有且仅有一个变量 $A$，初始值为 $0$。程序共有 $n$ 行，行号为 $1 \\sim n$，每行是如下几种形式之一：\n\n- `A a`：令 $A \\gets A + a$，然后执行下一行。\n- `G x`：执行第 $x$ 行。\n- `I l r x y`：如果 $A \\in [l, r]$ 则执行第 $x$ 行，否则执行第 $y$ 行。\n- `E`：直接结束程序。\n\n保证最后一行是 `E`。\n\n图灵希望你判断这个程序从第一行开始执行会不会结束。为了进一步检验你到底是不是真的会判定停机问题（还是装的？），图灵还要求你给出 $A$ 最终的值，如果程序不会结束且不存在一个时刻使得在其以后 $A$ 不再变化，则输出 `@Turing ?`。"},{"iden":"input","content":"本题多测。第一行一个正整数 $T$ 表示数据组数，对于每组数据：\n\n- 第一行一个整数 $n$，表示程序的行数。\n- 接下来 $n$ 行，描述程序。"},{"iden":"output","content":"对于每个询问，输出两行：\n\n- 第一行一个字符串 `Yes` 或 `No`，表示程序是否会结束。\n- 第二行一个整数 $A_{0}$ 或字符串 `@Turing ?`，表示 $A$ 最终的值。"},{"iden":"note","content":"对于所有数据，$1 \\leq T \\leq 1000$，$1 \\leq n, \\sum n \\leq 10^5$，$1 \\leq a \\leq 10^9$，$0 \\leq l \\leq r \\leq 10^9$，$1 \\leq x, y \\leq n$。保证输入涉及到的所有数字都是整数。\n\n- 子任务 1（15 分）：不存在 `I` 类语句。\n- 子任务 2（20 分）：$r \\leq 100$。\n- 子任务 3（40 分）：$\\sum \\max r \\leq 10^5$。\n- 子任务 4（25 分）：无特殊限制。\n\nSource：NFLSPC #6 G by chenxia25"}],"translated_statement":null,"sample_group":[["3\n5\nI 1 7 1 3\nG 4\nA 2\nG 2\nE\n6\nA 2\nI 2 3 5 1\nE\nG 4\nA 1\nE\n4\nA 1\nG 1\nE\nE\n","No\n2\nYes\n3\nNo\n@Turing ?\n"]],"show_order":[],"formal_statement":null,"simple_statement":null,"has_page_source":false}