if ARGV.length == 0 then
    ARGV = $stdin.readlines.map(&:chomp)
end

ARGV.each do |cidr|

  
  dotted, size_str = cidr.split('/')
  size = size_str.to_i

  
  binary = dotted.split('.').map { |o|  % o }.join

  
  binary[size .. -1] = '0' * (32 - size)

  
  canon = binary.chars.each_slice(8).map { |a| a.join.to_i(2) }.join('.')

  
  puts 
end