N = int(input())
ans = []
for i in range(N):
  q = [j+1 for j in range(N) if i != j]
  print('? ' + ' '.join(map(str, q)))
  if input() == '0':
    ans.append(i)

print('! ' + str(len(ans)))
print(*ans)