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)