N = int(input())

ans = []
for i in range(1,N+1):
    count = 1
    while(True):
        print("?",count,*[i]*count)
        if(input() == "No"):break
        
        for j in range(len(ans),-1,-1):
            now = ans[:j] + [i] + ans[j:]
            
            print("?",len(now),*now)
            if(input() == "Yes"):
                ans = now
                break
        count += 1
        if(len(ans) == N):break
    if(len(ans) == N):break
print("!",*ans)