K = gets.to_i
puts "32 #{K.to_s(2).chars.count('1')}"
1.upto(31) do |x|
    1.upto(x-1) do |y|
        puts "#{y} #{x}"
    end
    puts "#{x} 32" if K & (1 << (x-1)) > 0
end