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

shin=[2,3]

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

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