'use strict';
process.stdin.on('data', function(chunk) {
   
  var inputs = chunk.toString().trim().split('\n');
  var cols = inputs.filter(function(v) {
    return v !== '0 0';
  })
  .map(function(v) {
    return v.split(' ')
          .map(Number)
          .sort(function(a ,b) {
            return a - b;
          })
          .join(' ');
  })
  .join('\n');
   
  console.log(cols);
   
});
process.stdin.resume();
process.stdin.setEncoding('utf8');