a.rb

__requires__ = ['httpagentparser', 'jaraco.itertools', 'more_itertools']

import sys

import httpagentparser
from jaraco.itertools import Counter
from more_itertools.recipes import consume


def is_IE10(agent):
	browser = agent.get('browser', None)
	return (
		browser
		and browser['name'] == 'Microsoft Internet Explorer'
		and major_ver(browser['version']) < 11
	)


def major_ver(version):
	major, sep, rest = version.partition('.')
	return int(major)


def main():
	agents = Counter(map(httpagentparser.detect, sys.stdin))
	ie10 = Counter(filter(is_IE10, agents))
	consume(ie10)
	percent = ie10.count / agents.count * 100
	print(f'{ie10.count}/{agents.count} {percent:.2f}%')


__name__ == '__main__' and main()