process.stdin.resume();
process.stdin.setEncoding('utf8');

var lines = []
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on('line', (line) => {
  lines.push(line);
});

reader.on('close', () => {
 var a = lines[0].split(' ');
 var b = a.map(function(str) { return Number(str)});
 var c = [];
 for(i=0; i<3; i++){
   var min = Math.min(...b);
   c.push(min);
   
   var index = b.indexOf(min);
   
   b.splice(index,1);

 }
   //console.log(index);

   //console.log(b);
   
 
 console.log(c.join(' '));
});
