from sys import stdout
n = int(input())
ans = []
for i in range(n):
    print("?", n - 1)
    print(*range(1, i + 1), end=" ")
    print(*range(i + 2, n + 1))
    stdout.flush()
    if int(input()) == 0:
        ans.append(i + 1)
print("!", len(ans))
print(*ans)