/* validator */

#include<bits/stdc++.h>
#define ALL(v) std::begin(v),std::end(v)
using lint=long long;
int main(){
    std::string s;std::getline(std::cin,s);
    std::string t;std::getline(std::cin,t);
    assert(std::cin.eof()&&t.empty());
    lint n=s.length();
    lint l=0,r;
    for(lint i=0;i<5;i++){
        for(r=l;r<n&&s.at(r)!=' ';r++);
        assert(r-l<=9);
        lint x=std::stoll(s.substr(l,r-l));
        assert(x<=1'000'000'000&&(i==4||x<=500));
    }
}