N=int(input())
L=[ str(x) for x in range(1,N+1)]
expl=[]
print("? "+str(N))
print(" ".join(L),flush=True)
ans=True if input()=="1" else False
if ans!=True:
    print("! 0")
    print()
    exit()

for i in range(N):
    print("? "+str(N-1))
    print(" ".join(L[0:i]+L[i+1:]))
    ans=True if input()=="1" else False
    if ans!=True:
        expl.append(i+1)

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