#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef string str;
struct rec{
ll x1,y1,x2,y2;
ll area(){//calculates area
return (x2-x1)*(y2-y1);
}
};
ll intersection(rec a, rec b){//calculates area of intersection of 2 rectangles
ll xoverlap=max((ll)0,min(a.x2,b.x2)-max(a.x1,b.x1));
ll yoverlap=max((ll)0,min(a.y2,b.y2)-max(a.y1,b.y1));
return xoverlap*yoverlap;
}
ll special(rec a, rec b){//calculates the the coordinates of the rectangle
// formed by the intersection of the 2 black sheets
//and then uses that to determine the area of intersection of this rectangle with the white sheet
ll xoverlap=max((ll)0,min(a.x2,b.x2)-max(a.x1,b.x1));
ll yoverlap=max((ll)0,min(a.y2,b.y2)-max(a.y1,b.y1));
rec c;
c.x1=max(a.x1,b.x1),c.y1=max(a.y1,b.y1),c.x2=min(a.y2,b.y2),c.y2=min(a.x2,b.x2);
return intersection(c,a);
}
int main(){
ios::sync_with_stdio(0);
cin.tie(0);cout.tie(0);
rec a,b,t;
cin>>a.x1>>a.y1>>a.x2>>a.y2;
cin>>b.x1>>b.y1>>b.x2>>b.y2;
cin>>t.x1>>t.y1>>t.x2>>t.y2;
if(a.area()>intersection(b,a)+intersection(t,a)-special(b,t)) cout<<"YES"; //if area of white sheet is greater
//than the area covered by the black sheets
else cout<<"NO";
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIHN0cmluZyBzdHI7CnN0cnVjdCByZWN7CiAgICBsbCB4MSx5MSx4Mix5MjsKICAgIGxsIGFyZWEoKXsvL2NhbGN1bGF0ZXMgYXJlYQogICAgICAgIHJldHVybiAoeDIteDEpKih5Mi15MSk7CiAgICB9Cn07CmxsIGludGVyc2VjdGlvbihyZWMgYSwgcmVjIGIpey8vY2FsY3VsYXRlcyBhcmVhIG9mIGludGVyc2VjdGlvbiBvZiAyIHJlY3RhbmdsZXMKICAgIGxsIHhvdmVybGFwPW1heCgobGwpMCxtaW4oYS54MixiLngyKS1tYXgoYS54MSxiLngxKSk7CiAgICBsbCB5b3ZlcmxhcD1tYXgoKGxsKTAsbWluKGEueTIsYi55MiktbWF4KGEueTEsYi55MSkpOwogICAgcmV0dXJuIHhvdmVybGFwKnlvdmVybGFwOwp9CmxsIHNwZWNpYWwocmVjIGEsIHJlYyBiKXsvL2NhbGN1bGF0ZXMgdGhlIHRoZSBjb29yZGluYXRlcyBvZiB0aGUgcmVjdGFuZ2xlCiAgICAgICAgICAgICAgICAgICAgICAgIC8vIGZvcm1lZCBieSB0aGUgaW50ZXJzZWN0aW9uIG9mIHRoZSAyIGJsYWNrIHNoZWV0cwogICAgICAgICAgICAgICAgICAgICAgICAvL2FuZCB0aGVuIHVzZXMgdGhhdCB0byBkZXRlcm1pbmUgdGhlIGFyZWEgb2YgaW50ZXJzZWN0aW9uIG9mIHRoaXMgcmVjdGFuZ2xlIHdpdGggdGhlIHdoaXRlIHNoZWV0CiAgICBsbCB4b3ZlcmxhcD1tYXgoKGxsKTAsbWluKGEueDIsYi54MiktbWF4KGEueDEsYi54MSkpOwogICAgbGwgeW92ZXJsYXA9bWF4KChsbCkwLG1pbihhLnkyLGIueTIpLW1heChhLnkxLGIueTEpKTsKICAgIHJlYyBjOwogICAgYy54MT1tYXgoYS54MSxiLngxKSxjLnkxPW1heChhLnkxLGIueTEpLGMueDI9bWluKGEueTIsYi55MiksYy55Mj1taW4oYS54MixiLngyKTsKICAgIHJldHVybiBpbnRlcnNlY3Rpb24oYyxhKTsKfQoKaW50IG1haW4oKXsKICAgIGlvczo6c3luY193aXRoX3N0ZGlvKDApOwogICAgY2luLnRpZSgwKTtjb3V0LnRpZSgwKTsKICAgIHJlYyBhLGIsdDsKICAgIGNpbj4+YS54MT4+YS55MT4+YS54Mj4+YS55MjsKICAgIGNpbj4+Yi54MT4+Yi55MT4+Yi54Mj4+Yi55MjsKICAgIGNpbj4+dC54MT4+dC55MT4+dC54Mj4+dC55MjsKICAgIGlmKGEuYXJlYSgpPmludGVyc2VjdGlvbihiLGEpK2ludGVyc2VjdGlvbih0LGEpLXNwZWNpYWwoYix0KSkgY291dDw8IllFUyI7IC8vaWYgYXJlYSBvZiB3aGl0ZSBzaGVldCBpcyBncmVhdGVyCiAgICAgLy90aGFuIHRoZSBhcmVhIGNvdmVyZWQgYnkgdGhlIGJsYWNrIHNoZWV0cwogICAgZWxzZSBjb3V0PDwiTk8iOwogICAgcmV0dXJuIDA7Cn0K