process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split(' ');
  
var arr = lines;
arr.sort();
for(var i=0; i<arr.length; i++)
    console.log(arr[i]);

});