#include <stdio.h>

int main ()
{
	int input[10];
	
	for (int i = 0; i < 10; i++)
		scanf ("%d", &input[i]);
		
	for (int i = 0; i < 10; i++)
	{
		for (int j = i + 1; j < 10; j++)
		{
			if (input [j] > input[i])
			{
				int swap = input[i];
				input[i] = input[j];
				input[j] = swap;
			}
		}
	}
	
	for (int i = 0; i < 3; i++)
		printf ("%d\n", input[i]);
		
	return 0;
}