STDOUT.sync = true

N = gets.to_i

ans = 0
(1..10).each do |bit|
	m = 2**bit
	r = (0...2**bit).filter { |x| x[bit - 1] == 1 }
	puts "#{m} #{r.size}"
	puts r.join(" ")
	x = gets.to_i
	ans += x << (bit - 1)
end

puts ans