#import main(){std::vectorl(10);int n=9;while(n--){std::cin>>l[n];};sort(l.begin(),l.end());std::cout<