問題文

$20XX$年、ある$K$種類の魔剤を混ぜると爆発することが話題になりました。
しかし、具体的にどの$K$種類の魔剤を混ぜると爆発するのか,$K$の値といったことは知られていません。
そこで$Iot$くんに与えられた仕事は$K$種類の魔剤を特定することです。
ここに$N$種類$(K\le N)$の魔剤が無限本あります。
また、魔剤は種類ごとに、$1$から$N$まで番号が振られています。 特定の$K$種類の魔剤の内、一種類でも混ざってないと爆発しません。
爆発に必要な量は考えないものとして、$Iot$くんの代わりに特定してください。
ただし、あなたは以下の質問

• 魔剤${a_1,a_2...a_M}$(ただし、$a_i=1,2,...N$のいずれか / $2\le M\le N$)を混ぜた時、爆発するか?

を$1333$回以下だけ質問することができます。

入出力

最初に標準入力から用意された魔剤の種類数$N(3\le N\le 1000)$が以下のように与えられる。

$N$

続いて、あなたのプログラムは標準出力に以下の形式の質問クエリを$1333$回まで行うことができる。

$?\ M$
$a_1\ a_2\ ...a_M$

この出力は,$M$本の魔剤${a_1,a_2,...a_M}$を混ぜると爆発するかという質問することを表す。$M$は整数で、$2\le M\le N$を満たさなければならない。
また、${a_1,a_2,...a_M}$は昇順ソートされてなければならず、空白区切りで出力しなければならない。
質問クエリを行うと、その回答が以下の形式で標準入力から与えられる。

$ans$

$M$本の魔剤を混ぜた時、爆発するならば$ans=1$であり、爆発しないのであれば$ans=0$である。
最後に、答えを以下の形式で出力しなければならない。

$!\ K$
$b_1\ b_2\ ...b_K$

まず、$K$は混ぜると爆発する魔剤の種類数を表す。そして、${b_1,b_2,...b_K}$は混ぜると爆発する魔剤の番号を表す。
ただし、昇順にソートしていなければならず、空白区切りで出力しなければならない。