var input = "";

process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on( 'data', ( chunk ) => {
  input += chunk;
});
process.stdin.on( 'end', () => {
  var lines = input.split('\n');
  var sorted = lines.map( parseFloat ).sort( (a,b) => b-a );
  sorted.slice( 0, 3 ).forEach( v => console.log(v) );
});