let content = '';
process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', buf => { content += buf; })
process.stdin.on('end', () => {
  const nums = content.split(' ').map(n => parseInt(n, 10));
  console.log(nums.sort().join(' '));
});
