
process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function(chunk){
 var c = chunk.split("\n")

 c.sort(function(aft, bef){
   return bef - aft
 })
 for (var j = 0; j < 3; j++) {
   console.log(c[j])
 }




 })