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