#include<stdio.h>
int main() {
	int a=0, b=0, c=0, i;
	while (scanf("%d", &i) == 1) {
		if (a < i) {
			if (a != 0) {	
				if (0 != b)
					c = b;
				b = a;
			}
			a = i;
		}
		else if (b < i) {
			if (b != 0) 
				c = b;
			b = i;
		}
		else if (c < i)
			c = i;
	}
	printf("%d\n%d\n%d\n", a, b, c);
	return 0;
}