# 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))) print(sorted(ans1 + list(reversed(ans2)))) sys.stdout.flush() if input() == "0": ans2.append(i) print("! {}".format(ans1 + list(reversed(ans2)))) sys.stdout.flush()