var Main = function(input) {
	var data = input.split("\n");
	data.sort(function(x, y){ return y - x });
	data.splice(0, 3);
	console.log(data.join('\n'));
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));