import sys

sys.setrecursionlimit(10 ** 6)
int1 = lambda x: int(x) - 1
p2D = lambda x: print(*x, sep="\n")
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def LLI(rows_number): return [LI() for _ in range(rows_number)]

n=int(input())
hit=[]

def q(x,y):
    lst=list(range(x,y+1))+hit
    lst.sort()
    print("?",len(lst))
    print(*lst)

def main():
    b,e=1,n
    while e>2:
        l,r=1,e
        while l+1<r:
            m=(l+r)//2
            q(b,m)
            if input()=="0":
                l=m
            else:
                e=r=m
        if e==2:break
        hit.append(r)
        e-=1
    q(1,1)
    if input()=="1":
        q(2,2)
        if input()=="1":
            1
        else:
            hit.append(1)
    else:
        q(2,2)
        if input()=="0":
            hit.append(1)
            hit.append(2)
        else:
            hit.append(2)

    hit.sort()
    print("!",len(hit))
    print(*hit)

main()