import sys
N = int(input())


def query(sym, n, args):
    print(sym, n)
    print(*args)
    sys.stdin.flush()

    if sym == '?':
        return int(input())


a = [0]*(N+1)
for i in range(1, N+1):
    a[i] = query('?', N-1, list(range(1, i)) + list(range(i+1, N+1))) ^ 1

query('!', sum(a), [i for i in range(N+1) if a[i]])