import sys


n = int(input())
ans = []
for i in range(n+1)[::-1]:
    if len(([j+1 for j in range(i)] + ans[::-1])) == 1:
        ans.append(i+1)
        continue
    print("?", len(ans) + i)   
    print(*([j+1 for j in range(i)] + ans[::-1])) 
    sys.stdout.flush()
    res = int(input())
    
    if res == 1:
        continue
    else:
        ans.append(i+1)

print("!", len(ans))
print(*ans[::-1])