n = int(input())
D = [-1] * n
A = [0]
D[0] = 0
for _ in range(n-1):
    print("?", len(A))
    print(*[a+1 for a in A])
    y, x = list(map(int, input().split()))
    x -= 1
    A.append(x)
    D[x] = y

print("!", D[n-1])