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