#include<bits/stdc++.h>
using namespace std;
int main()
{
int tmp;
vector<int> time;
int count = 0;
while(cin>>tmp)
{
if(!(count/3))
time.push_back(tmp);
else
{
if(tmp>time[count%3]||(tmp==time[count%3]&&count==5))
{
cout<<"yes"<<endl;
break;
}
else if(tmp<time[count%3])
{
cout<<"no"<<endl;
break;
}
}
count++;
}
return 0;
}
京公网安备 11010502036488号