var input = require('fs').readFileSync('/dev/stdin', 'utf8').split('\n');

// var input = [
// 	1819,
// 	2003,
// 	876,
// 	2840,
// 	1723,
// 	1673,
// 	3776,
// 	2848,
// 	1592,
// 	922
// ];

function quickSort(arr) {
	if (arr.length <= 1) {
		return arr;
	}

	var pivot = arr.pop();
	var left = [];
	var right = [];

	while (arr.length) {
		var elem = arr.pop();
		if (elem > pivot) {
			left.push(elem);
		} else {
			right.push(elem);
		}
	}

	return [].concat(quickSort(left), pivot, quickSort(right));
}

console.log(quickSort(input).splice(0, 3));