process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data',function(chunk){

var x = chunk.split();
x[0] = Number(x[0])
x[1] = Number(x[1])
x[2] = Number(x [2])
x.sort();

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

});