P16481 [GKS 2014 #A] Addition

六年前，邪恶科学家 Alice 发明了一个智能相当于婴儿的机器人 Bob。 现在，这个机器人已经六岁，正在上小学。加法是他在数学中学到的第一种运算。凭借强大的推理能力，他现在能从 $a=2$ 和 $b=10$ 推出 $a+b=12$。 Alice 想测试 Bob 的加法能力。她以 $a=2$、$b=10$、$c=4$ 等形式给 Bob 出了一些等式，然后 Bob 需要找出诸如 $a+b$、$a+c$ 等问题的答案。 Alice 一份一份地检查了测试卷上 Bob 的答案，到目前为止没有发现任何错误。但在一杯咖啡洒上去之后，Alice 丢失了最初给出的那些等式。不过，她还保留着 Bob 给出的一些正确答案，例如 $a+b=12$、$a+c=6$、$c+d=5$。她希望继续处理那些可检验的等式：例如，$b+d=11$ 可以通过 $a+b=12$、$a+c=6$、$c+d=5$ 推导得出，因此问题 $b+d$ 是可检验的。 为了阻止人工智能技术落入 Alice 的掌控，你伪装成她的助手。现在，Alice 想让你找出其余的问题中哪些是可检验的，并给出它们的答案。

第一行给出测试用例的数量 $\mathbf{T}$。接下来是 $\mathbf{T}$ 个测试用例。 每个测试用例的第一行包含一个整数 $\mathbf{N}$：已正确回答的问题数量。接下来的 $\mathbf{N}$ 行每行包含一个形式为 “$x+y=z$” 的已正确回答的问题，其中 $x$ 和 $y$ 是变量名，$z$ 是一个十进制整数。 接下来一行包含一个整数 $\mathbf{Q}$：剩余问题的数量。再接下来的 $\mathbf{Q}$ 行每行包含一个形式为 “$x+y$” 的问题，其中 $x$ 和 $y$ 是变量名。

对于每个测试用例，输出的第一行为 “Case #x:”，其中 $x$ 是测试用例编号（从 $1$ 开始）。对于输入中每一个可检验的问题，输出一行答案，形式为 “$x+y=z$”，其中 $x$ 和 $y$ 是变量名，$z$ 是一个十进制整数。问题必须按照在输入中给出的相同顺序列出。请**不要**忽略重复的问题，因为如果你指出 Alice 的任何错误，她就会解雇你。

### 限制 变量名是由小写英文字母组成的字符串。每个名字最多包含 $10$ 个字符。 $-200000 \leq z \leq 200000$ 已回答的问题中不存在矛盾，且如果答案是可检验的，其结果是一个整数。 **小数据集（测试集 1 - 可见）** $1 \le T \le 10$ $1 \le N \le 10$ $1 \le Q \le 10$ **大数据集（测试集 2 - 隐藏）** $1 \le T \le 3$ $1 \le N \le 5000$ $1 \le Q \le 5000$ 翻译由 DeepSeek V4 Pro 完成