N = 10 # gets.to_i
S = (1 .. N).select do |n|
  puts "? #{N - 1}"
  puts (1 .. N).reject{|i| i == n}.join(' ')
  $stdout.flush
  gets.to_i == 0
end
puts "! #{S.size}"
puts S.join(' ')
$stdout.flush