#include <bits/stdc++.h>
#include<string.h>
using namespace std;
bool check(string str)
{
string temp = "";
int prev = 0;
for (char ch : str)
{
if (isdigit(ch))
temp += ch;
else if (temp.size() > 0)
{
int val = atoi(temp.c_str());
if (val <= prev)
return false;
temp = "";
prev = val;
}
}
int val = atoi(temp.c_str());
if (val <= prev)
return false;
return true;
}
int main()
{
char str[201];
cin.getline(str,sizeof(str));
if (check(str))
cout << "true" << endl;
else
cout << "false" << endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNpbmNsdWRlPHN0cmluZy5oPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKYm9vbCBjaGVjayhzdHJpbmcgc3RyKQp7CgogICAgc3RyaW5nIHRlbXAgPSAiIjsKICAgIGludCBwcmV2ID0gMDsKICAgIGZvciAoY2hhciBjaCA6IHN0cikKICAgIHsKICAgICAgICBpZiAoaXNkaWdpdChjaCkpCiAgICAgICAgICAgIHRlbXAgKz0gY2g7CiAgICAgICAgZWxzZSBpZiAodGVtcC5zaXplKCkgPiAwKQogICAgICAgIHsKCiAgICAgICAgICAgIGludCB2YWwgPSBhdG9pKHRlbXAuY19zdHIoKSk7CgogICAgICAgICAgICBpZiAodmFsIDw9IHByZXYpCiAgICAgICAgICAgICAgICByZXR1cm4gZmFsc2U7CiAgICAgICAgICAgIHRlbXAgPSAiIjsKICAgICAgICAgICAgcHJldiA9IHZhbDsKICAgICAgICB9CiAgICB9CiAgICBpbnQgdmFsID0gYXRvaSh0ZW1wLmNfc3RyKCkpOwoKICAgIGlmICh2YWwgPD0gcHJldikKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICByZXR1cm4gdHJ1ZTsKfQoKaW50IG1haW4oKQp7CiAgIAogICAgY2hhciBzdHJbMjAxXTsKICAgIGNpbi5nZXRsaW5lKHN0cixzaXplb2Yoc3RyKSk7CgogICAgaWYgKGNoZWNrKHN0cikpCiAgICAgICAgY291dCA8PCAidHJ1ZSIgPDwgZW5kbDsKICAgIGVsc2UKICAgICAgICBjb3V0IDw8ICJmYWxzZSIgPDwgZW5kbDsKCiAgICByZXR1cm4gMDsKfQ==