# Kの数と、K種がどれか、という2つのわからない要因がある
# 1つをまず確定できないかと思ったが、それは難しそう
# それなら、何を含まないかを確定させていくのでどうか
# たとえばN=5なら、まず1234でチェック、次に1235として、どれを含まないかチェック
# これを一通りやればどれを含まなくてよいかわかる

N = int(input())
ans_list = []
for i in range(1, N+1):
    print('?', N-1)
    LIST = [a for a in range(1, N+1) if a != i]
    print(*LIST)
    response = int(input())
    if response == 0:
        ans_list.append(i)

print('!', len(ans_list))
print(*ans_list)