N = int(input())

res = []
A = list(range(1, N + 1))

for i in range(N):
    print('?', N - 1 )
    print(*(A[:i] + A[i + 1:]))
    ans = int(input())
    if not ans:
        res.append(i + 1)

print('!', len(res))
print(*res)