N = gets.to_i
A = (1 .. N).to_a
S = (1 .. N).reject do |n|
  A[n - 1] = nil
  puts "? #{N - 1}"
  puts A.join(' ')
  $stdout.flush
  A[n - 1] = n
  gets.to_i == 0
end
puts "! #{S.size}"
puts S.join(' ')
$stdout.flush