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

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

});