process.stdin.resume();
process.stdin.setEncoding('utf-8');
let input_string = '';

process.stdin.on('data', (chunk) => {
    input_string += chunk;
});

process.stdin.on('end', () => {
    let lines = input_string.split('\n');

    console.log(lines);
    const xs = lines[0].split(' ').map(x => parseInt(x)).sort().join(' ');
    console.log(xs);
});
