N = int(input())

a = []

for i in range(N):

    q = []

    for j in range(N):

        if i != j:
            q.append(j + 1)

    print ("?",N-1)
    print (" ".join(map(str,q)))

    ans = input()

    if ans == "0":
        a.append(i + 1)

print ("!",len(a))
print (" ".join(map(str,a)))