n = int(input())
mazai = list(range(1, n+1))
ans = []
for i in range(n):
    print("?", n-1)
    print(*(mazai[:i]+mazai[i+1:]))
    if input() == "0":
        ans.append(mazai[i])
print("!", len(ans))
print(*ans)