process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split(' ');

var a, b, c, hoji;
a = lines[0];
b = lines[1];
c = lines[2];
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);
});