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