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