N = int(input())

A = []
for i in range(1, N+1):
    Q = [str(j) for j in range(1, N+1) if j != i]
    print("? " + str(N-1))
    print(" ".join(Q))
    ans = int(input())
    if ans == 0:
        A.append(str(i))

print("! " + str(len(A)))
print(" ".join(A))