N=int(input())
A=[i+1 for i in range(N)]


ans=[]
for M in range(N)[::-1]:
    if len(A[:M]+ans)<=1:
        print("!", str(len(pre)))
        print(*pre)
        exit()
    
    print("?", str(len(A[:M]+ans)))
    print(*A[:M]+ans)
    
    pre=A[:M]+ans
    
    judge=int(input())
    
    if judge==0:
        ans=[A[-1]]+ans
    A.pop(-1)

print("!", str(len(ans)))
print(*ans)