N = int(input())
ans = []
A = list(range(1,N+1))
for i in range(N):
    tmp = A[:i]
    if i < N-1:
        tmp += A[i+1:]
    print("?", N-1)
    print(*tmp)
    x = int(input())
    if x == 0:
        ans.append(i+1)

print("!", len(ans))
print(*ans)