n = int(input())

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