n = int(input())
vs = [1]
while True:
    print('?', len(vs))
    print(*vs)
    w, v = map(int, input().split())
    if v == n:
        print('!', w)
        break
    vs.append(v)