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

var line = chunk.toString().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]);

});