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