const input = require('fs').readFileSync('/dev/stdin', 'utf8');
const lines = input.trim().split('\n');

while (line = lines.shift()) {
    const numbers = line.split(' ').map(Number).filter(Number => Number !== 0).sort().join()
    // Edit from here
    const output = numbers;
    // to here
    
    console.log(output);
    
}
