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 自动生成