#include <stdio.h>

int main(void){

int i,j,n,max[3],dummy;

for(i=0;i<3;i++){
max[i]=0;
}

for(i=0;i<10;i++){

  scanf("%d",&n);

for(j=0;j<3;j++){
 if(n>max[j]){
   dummy=max[j];
   max[j]=n;
   n=dummy;
  }
 }
}

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

}