#include <stdio.h>
#include <stdlib.h>

#define MAXSIZE 10

static int min[MAXSIZE];
static int count = 0;

static void insert(int input) {
	int i;
	for (i = 0; i < count && min[i] < input; i++)
		;
	if ( i == count ) {
		if ( count < MAXSIZE ) {
			min[count++] = input;
		}
	} else if ( min[i] > input ) {
		int j;
		if ( count < MAXSIZE )
			count++;
		for ( j = count-2; j >= i; j--)
			min[j+1] = min[j];
		min[i] = input;
	}
}

int main(int argc, char **argv) {
	int input, i;

	while (scanf("%d", &input) == 1) {
		insert(input);
	}

	for (i = 0; i < count; i++)
		printf(i ? " %d" : "%d", min[i]);
	printf("\n");

	return EXIT_SUCCESS;
}