#include <stdio.h>

int main(void){
    int i,cnt,input,ret,buf[4];
    
    cnt= 0; /* 何回目の入力かを示す */
    while( ((ret=scanf("%d",&input))!=0) && (ret!=EOF) ){
        /* 入力されるたび挿入ソートする ただし4番目に大きい数は比較しない*/
        for(i=(cnt>3)?3:cnt;(i>0)&&(buf[i-1]<input);i--){
            buf[i]=buf[i-1];
        }
        buf[i]=input;
        
        cnt++;
        /* 5回目の入力が終わったときソートされた3つの数字を表示 */
        if(cnt>4){
            printf("%d %d %d\n",buf[0],buf[1],buf[2]);
            cnt=0;
        }
    }

    return 0;
}