N = int(input())


def question(A):
    print("?", len(A), *A)
    return input() == "Yes"


length = [0] * (N + 1)

for i in range(1, N + 1):
    for j in range(1, N + 1):
        if question([i] * j):
            length[i] += 1
        else:
            break

ans = [1] * length[1]

for i in range(2, N + 1):
    j = 0
    while j <= len(ans) and ans.count(i) < length[i]:
        ans.insert(j, i)

        if not question(ans):
            ans.pop(j)

        j += 1

print("!", *ans)