import sys

N = int(input())
ans = []
L = list(range(1, N + 1))
for i in range(N):
    print("?", N - 1)
    print(*(L[:i] + L[i + 1:]))
    sys.stdout.flush()
    if not int(input()):
        ans.append(i + 1)
print("!", len(ans))
print(*ans)
sys.stdout.flush()