#include <iostream>
using namespace std;
int main() {
int count=0;
int v[3];
for(int i=1;i<=3;i++){
cin>>v[i];
}
int a[3],j=1;
while(j<4){
for(int i=0;i<3;i++){
cin>>a[i];
if(a[i]>v[j]) count++;
}
j++;
}
if(count>=3)cout<<"Yes"<<endl;
else cout<<"No"<<endl;
return 0;
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号