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

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

ans_list = []
for i in range(1, N+1):
    if remove[i] == 0:
        ans_list.append(i)
print('!', len(ans_list))
print(*ans_list)