#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")