#include<stdio.h>

int main(){
  int n[10];
  int i;
  for(i=0;i<10;i++){
    scanf("%d", &n[i]);
  }
  int max1=0;
  int i1=0;
  int max2=0;
  int i2=0;
  int max3=0;
  int i3=0;
  
  for(i=0;i<10;i++){
    if (max1 < n[i])
      {max1 = n[i];i1=i;}
  }
   
  for(i=0;i<10;i++){
    if (max2 < n[i] && i!=i1)
      {max2 = n[i];i2=i;}
  }

  for(i=0;i<10;i++){
    if (max3 < n[i] && i!=i1 && i!=i2)
      {max3 = n[i];i3=i;}
  }

  //printf("%d\n%d\n%d\n", i1, i2, i3);
  printf("%d\n%d\n%d\n", max1, max2, max3);
}