N = int(input())
ans = []
for i in range(N):
    print("? {}".format(N - 1))
    print(*[1 + j for j in range(N) if i != j])
    F = int(input())
    if not F:
        ans.append(i + 1)
print("! {}".format(len(ans)))
print(*ans)