'use strict';
process.stdin.on('data', function(chunk) {
  // ????????????????????????
  var inputs = chunk.toString().trim().split('\n');
  for (var i = 0; i < inputs.length; i++) {
    if (inputs[i] === '0 0') {
      break;
    }
    var cols = inputs[i].split(' ').map(Number);
    console.log(
      cols.sort(function(a,b) {
        return a - b;
      }).join(' ')
    );
  }
});
process.stdin.resume();
process.stdin.setEncoding('utf8');