# frozen_string_literal: true

def interact
  t = R.select do |x|
    i = x - 1
    s = R.dup
    s.delete_at(i)
    puts("? #{s.size}\n#{s.join(' ')}")
    $stdout.flush
    gets.chomp == '0'
  end

  "! #{t.size}\n#{t.join(' ')}"
end

N = gets.to_i

R = (1..N).to_a
RESULT = interact

puts RESULT
$stdout.flush