process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split(' ');
  
var a, b, c;
a = parseInt(lines[0], 10);
b = parseInt(lines[1], 10);
c = parseInt(lines[2], 10);
lines.sort();
console.log(lines[0]+" "+lines[1]+" "+lines[2]);

});