// Please run with node.js
// example:
//     $ node p0001.js < input.txt

const readline = require('readline');
const rl = readline.createInterface({
  input: process.stdin,
});

let numbers = [];

rl.on('line', (line) => {
    numbers.push(Number(line));
}).on('close', () => {
    numbers = numbers.sort();
    console.log(numbers[0]);
    console.log(numbers[1]);
    console.log(numbers[2]);
    process.exit(0);
});