#include <bits/stdc++.h>
using namespace std;
long long a[20], b[20], d[20];
int main() {
  cin.sync_with_stdio(false);
  long long i, j, k, l, c, v, b1, n, m, r, t, e, f, h, N, p, y;
  long long x1, x2, y1, y2, x3, x4, x5, x6;
  string s, s1, s2, s3, ss[10000];
  for (i = 0; i < 4; i++) {
    cin >> a[i];
    a[10 + i] = a[i];
  }
  for (i = 0; i < 4; i++) {
    cin >> b[i];
    b[10 + i] = b[i];
  }
  for (i = 0; i < 4; i++) {
    cin >> d[i];
    d[10 + i] = d[i];
  }
  if (b[0] <= a[0] && b[1] <= a[1]) {
    if (b[2] >= a[2] && b[3] >= a[3]) {
      cout << "NO" << endl;
      return 0;
    } else if (b[2] >= a[2] && b[3] < a[3]) {
      a[1] = b[3];
    } else if (b[2] < a[2] && b[3] >= a[3]) {
      a[0] = b[2];
    }
  } else if (b[0] <= a[0] && b[1] > a[1]) {
    if (b[2] >= a[2] && b[3] >= a[3]) {
      a[3] = b[1];
    }
  } else if (b[0] > a[0] && b[1] <= a[1]) {
    if (b[2] >= a[2] && b[3] >= a[3]) {
      a[2] = b[0];
    }
  }
  if (d[0] <= a[0] && d[1] <= a[1]) {
    if (d[2] >= a[2] && d[3] >= a[3]) {
      cout << "NO" << endl;
      return 0;
    }
  }
  for (i = 0; i < 4; i++) {
    a[i] = a[10 + i];
    b[i] = b[10 + i];
    d[i] = d[10 + i];
  }
  if (d[0] <= a[0] && d[1] <= a[1]) {
    if (d[2] >= a[2] && d[3] >= a[3]) {
      cout << "NO" << endl;
      return 0;
    } else if (d[2] >= a[2] && d[3] < a[3]) {
      a[1] = d[3];
    } else if (d[2] < a[2] && d[3] >= a[3]) {
      a[0] = d[2];
    }
  } else if (d[0] <= a[0] && d[1] > a[1]) {
    if (d[2] >= a[2] && d[3] >= a[3]) {
      a[3] = d[1];
    }
  } else if (d[0] > a[0] && d[1] <= a[1]) {
    if (d[2] >= a[2] && d[3] >= a[3]) {
      a[2] = d[0];
    }
  }
  if (b[0] <= a[0] && b[1] <= a[1]) {
    if (b[2] >= a[2] && b[3] >= a[3]) {
      cout << "NO" << endl;
      return 0;
    }
  }
  cout << "YES";
}
