#include <iostream>
#include <list>
#include <vector>
#include <string>
#include <stdio.h>
#include <stdint.h>
#include <iomanip>
using namespace std;

using uint = unsigned int;
using ll = long long;

#define CIN( LL , A ) LL A; cin >> A 
#define GETLINE( A ) string A; getline( cin , A ) 
#define FOR_LL( VAR , INITIAL , FINAL_PLUS_ONE ) for( ll VAR = INITIAL ; VAR < FINAL_PLUS_ONE ; VAR ++ ) 
#define FOR_ITR( ARRAY , ITR , END ) for( auto ITR = ARRAY .begin() , END = ARRAY .end() ; ITR != END ; ITR ++ ) 
#define RETURN( LL , ANSWER ) const LL answer_for_contest = ( ANSWER ); cout << answer_for_contest << endl; return 0 

template <typename T> inline T Distance( const T& a , const ll& b ){ return a < b ? b - a : a - b; }

inline bool Check( const ll* p ) { return p[0] != p[1] && p[1] != p[2] && p[2] != p[0] && ( ( p[1] < p[0] && p[1] < p[2] ) || ( p[0] < p[1] && p[2] < p[1] ) ); }

int main()
{

  ll a[2][3];
  FOR_LL( i , 0 , 2 ){
    FOR_LL( j , 0 , 3 ){
      cin >> a[i][j];
    }
  }
  FOR_LL( j0 , 0 , 3 ){
    FOR_LL( j1 , 0 , 3 ){
      ll b[2][3];
      FOR_LL( i , 0 , 2 ){
	FOR_LL( j , 0 , 3 ){
	  b[i][j] = a[i][j];
	}
      }
      ll c = b[0][j0];
      b[0][j0] = b[1][j1];
      b[1][j1] = c;
      if( Check( b[0] ) && Check( b[1] ) ){
	RETURN( string , "Yes" );
      }
    }
  }
  RETURN( string , "No" );

}