from collections import defaultdict
N = int(input())

memo = defaultdict(str)
ans = []
for i in range(1,N+1):
    count = 1
    while(True):
        print("?",count,*[i]*count)
        yn = input()
        if(yn == "Yes"):
            count += 1
        else:
            count -= 1
            break
    
    for c in range(1,count+1):
        ok,ng = 0,len(ans)+1
        while(ng - ok > 1):
            mid = (ok+ng)//2
            now = ans[:mid] + [i]*c
            print("?",len(now),*now)
            if(input() == "Yes"):
                ok = mid
            else:
                ng = mid
        ans.insert(ok,i)
print("!",*ans)