process.stdin.resume();
process.stdin.setEncoding('utf8');

process.stdin.on('data', function (chunk) {
  var x= chunk.split(' ');
       x[0]  = Number(line[0]);
       x[1]  = Number(line[1]);
       x[2]  = Number(line[2]);
    x.sort();

console.log(x[0]+' '+x[1]+' '+x[2]);
    
  
});