#include<stdio.h>
int main(void) {
	int i, j,tmp;
	int high[10];
	for (i = 0; i < 10; i++)scanf("%d", high[i]);
	for (i = 0; i < 10; i++) {
		for (j = i + 1; j < 10; j++) {
			if (high[i] < high[j]) {
				tmp = high[i];
				high[i] = high[j];
				high[j] = tmp;
			}
		}
	}
	for (i = 0; i < 3; i++)printf("%d\n", high[i]);
	return 0;
}