题目描述

六年前，邪恶科学家 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 的任何错误，她就会解雇你。

2
2
apple+banana=10
coconut+coconut=12
5
apple+banana
apple+banana
apple+apple
banana+apple
peach+apple
3
a+b=3
b+c=3
c+d=3
4
a+c
a+d
b+c
b+d

Case #1:
apple+banana=10
apple+banana=10
banana+apple=10
Case #2:
a+d=3
b+c=3

提示

限制

变量名是由小写英文字母组成的字符串。每个名字最多包含 $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 完成