#include <stdio.h>

int main(void){
  int height[10];
  int i, j;
  int tmp;

  for(i=0;i<10;i++){
    scanf("%d", &height[i]);
  }
  
  for(i=0;i<9;i++){
    for(j=i+1;j<9;j++){
      if(height[i] <= height[j]){
	tmp = height[i];
	height[i] = height[j];
	height[j] = tmp;
      }
    }
  }

  for(i=0;i<3;i++){
    printf("%d\n", height[i]);
  }

  return 0;
}