# coding: utf-8
# Your code here!
import sys
sys.setrecursionlimit(10**6)
readline = sys.stdin.readline
 
#h,w,k = [int(i) for i in readline().split()]
#n = int(input())
#ab = [[int(i) for i in readline().split()] for _ in range(n)]


n = int(input())

ans1 = list(range(1,n+1))
ans2 = []

for i in range(n,0,-1):
    ans1.pop()
    print("? {}".format(len(ans1) + len(ans2)))
    sys.stdout.flush()
    print(sorted(ans1 + ans2))
    sys.stdout.flush()
    if input() == "0":
        ans2.append(i)

print("! {}".format(sorted(ans1 + ans2)))