import sys
readline = sys.stdin.readline

import itertools

N = int(readline())

# DEBUG = True
DEBUG = False

class Interactive:
    def __init__(self):
        self.ques_cnt = 0
        self.create_data()
        
    def create_data(self):
        import random
        K = random.randint(1,N)
        A = list(range(1,N+1))
        random.shuffle(A)
        A = set(A[:K])
        self.K = K
        self.A = A
        print('created', K,A)
        
    def resp_ques(self, *args):
        if set(args) & self.A:
            return '1\n'
        else:
            return '0\n'
            
    def resp_ans(self, *args):
        if set(args) == self.A:
            print('AC')
        else:
            print('WA')
            
if DEBUG:
    interactive = Interactive()
    
def question(*args, offset='?'):
    print('? {}'.format(len(args)), flush=True)
    print(*args, flush=True)
    if DEBUG:
        resp = interactive.resp_ques(*args)
        print(resp, end='')
        return resp
    else:
        return readline()
    
def answer(*args, offset='!'):
    print('! {}'.format(len(args)), flush=True)
    print(*args, flush=True)
    if DEBUG:
        interactive.resp_ans(*args)
    else:
        exit()

A = []
for i in range(1,N+1):
    resp = int(question(*itertools.chain(range(1,i), range(i+1,N+1))))
    if resp == 0:
        A.append(i)

answer(*A)