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

process.stdin.on('data', function (chunk) {
    let line = chunk.toString().split(' ').map(s => parseInt(s)).sort();
    console.log(`${line[0]} ${line[1]} ${line[2]}`)
});
