local n = io.read()
local t = {}
for i = 1, n do
  print("? " .. n - 1)
  local z = {}
  for j = 1, n do
    if i ~= j then table.insert(z, j) end
  end
  print(table.concat(z, " "))
  local ret = io.read()
  if ret == "0" then
    table.insert(t, i)
  end
end
print("! " .. #t)
print(table.concat(t, " "))