import sys

N = int(input())
ans = []
for i in range(N):
  q = [j+1 for j in range(N) if i != j]
  print('? ' + str(len(q)))
  print(*q)
  sys.stdout.flush()
  if input() == '0':
    ans.append(i + 1)

print('! ' + str(len(ans)))
print(*ans)
sys.stdout.flush()