var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  var data = chunk.replace( /\n/, '' ).split( ' ' );
  data.sort();
  console.log( data.join( ' ' ) );
} )