N = int(input())

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