A=*1..gets.to_i
X=A.select{|i|t=A-[i];puts"? #{t.size}\n#{t*?\s}";gets[?0]}
puts"! #{X.size}\n#{X*?\s}"