#include<bits/stdc++.h>
using namespace std;
int main(){
string s;
getline(cin,s);
vector<int>v;
int k = 0;
for(int i = 0; i < s.length(); i++)
{
while(isdigit(s[i])){
k = k*10 + s[i]-'0';
i++;
}
if(k > 0){
v.push_back(k);
k = 0;
}
}
string ans = "true";
for(int i = 0; i < v.size()-1; i++)
{
if(v[i] >= v[i+1])
ans = "false";
}
cout<<ans;
return 0;
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCl7CglzdHJpbmcgczsKCWdldGxpbmUoY2luLHMpOwoJdmVjdG9yPGludD52OwoJaW50IGsgPSAwOwoJZm9yKGludCBpID0gMDsgaSA8IHMubGVuZ3RoKCk7IGkrKykKCXsKCQl3aGlsZShpc2RpZ2l0KHNbaV0pKXsKCQkJayA9IGsqMTAgKyBzW2ldLScwJzsKCQkJaSsrOwoJCX0KCQlpZihrID4gMCl7CgkJICB2LnB1c2hfYmFjayhrKTsKCQkJayA9IDA7CgkJfQoJfQoJc3RyaW5nIGFucyA9ICJ0cnVlIjsKCWZvcihpbnQgaSA9IDA7IGkgPCB2LnNpemUoKS0xOyBpKyspCgl7CgkJaWYodltpXSA+PSB2W2krMV0pCgkJICBhbnMgPSAiZmFsc2UiOwoJfQoJY291dDw8YW5zOwoJcmV0dXJuIDA7Cn0=