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