AT_tkppc4_1_m Pakenのうさぎ

这是一个交互式问题。 今年的 Paken 活动计划养几只兔子，以便随时能抚摸，但由于找不到合适的兔子，临时决定将部员 anmichi 变成一只兔子。 现在，有 $N$ 种药水可供选择，编号从 $1$ 到 $N$。其中仅有 $2$ 种药水是有效的，只有同时吃下这两种药水，人才能变成兔子。其余药水对人体没有任何效果。但我们并不知道哪两种药水有效。由于药水很苦，anmichi 只想吃这 $2$ 种有效的药水。 为了找到有效的药水，计划让其他 25 名部员进行实验，通过观察他们是否变成兔子来确定目标药水。在一次实验中，某个部员可以选择一种或多种药水同时食用，并观察自己是否变成兔子。但每个部员仅能参加一次实验，因而最多只能进行 25 次实验。 请设计实验方案，确保在限定次数内找出有效的药水。假设每种药水的数量足够多，足以满足实验需要。 ### 输入格式 首先，标准输入将提供一个整数 $N$。 > $ N $ 接下来由于是交互式问题，你需要发送一系列查询。查询次数不得超过 25 次。每次查询时，需要指定部员所吃药水的数量 $K$ 及其编号，按升序输出： > $ ? $ $ K $ $ A_1 $ $ A_2 $ $\ldots$ $ A_K $ 系统会根据查询结果返回信息： > $ s $ 其中 $s$ 是 `Rabbit` 或 `Human`，分别表示部员变成了兔子或未变成兔子。 ### 输出格式 在确定有效药水后，输出答案：假设有效的药水编号为 $x$ 和 $y$ （$x < y$），则输出： > $ ! $ $ x $ $ y $ 注意：输出答案的过程不计入查询次数。

无

无

### 约束 - $ 2 \leq N \leq 6000 $ ### 说明 - 输出的最后一行必须包含换行符，并刷新标准输出，否则可能导致 `TLE`。 - 输出答案后程序必须立即终止，否则结果会不确定。 - 若输出的答案错误，结果不一定是 `WA`。这些行为未定义。 ### 输入输出示例 下面是一个输入输出示例，其中 $N = 4$ 且药水 1 和 3 是有效的： 标准输入（程序输入） 程序输出 4 ? 2 1 3 Rabbit ? 3 1 2 4 Human ? 0 Human ? 4 1 2 3 4 Rabbit ! 1 3 注意：在最终答案中，需保证 $x < y$，例如输出 `! 3 1` 是不正确的。 **本翻译由 AI 自动生成**