func_code_string: #include <bits/stdc++.h>   using namespace std;   int main() {     long long x1, y1, x2, y2, x3, y3, x4, y4, x5, y5, x6, y6;     cin >> x1 >> y1 >> x2 >> y2 >> x3 >> y3 >> x4 >> y4 >> x5 >> y5 >> x6 >> y6;     long long a1 = (x2 - x1) * (y2 - y1);     x3 = max(x3, x1);     x4 = min(x4, x2);     x5 = max(x5, x1);     x6 = min(x6, x2);     y3 = max(y3, y1);     y5 = max(y5, y1);     y6 = min(y2, y6);     y4 = min(y4, y2);     long long a2 = (x4 - x3) * (y4 - y3);     long long a3 = (x6 - x5) * (y6 - y5);     if (a2 < 0) a2 = 0;     if (a3 < 0) a3 = 0;     if (a1 == a2 || a1 == a3) {       cout <<  NO ;       return 0;     }     a1 -= a2 + a3;     if (a1 > 0) {       cout <<  YES  << endl;       return 0;     }     if (x4 > x5 && x3 <= x5) {       long long y7 = min(y4, y6);       long long y8 = max(y3, y5);       x4 = min(x4, x6);       long long val = (x4 - x5) * (y7 - y8);       if (val > 0) a1 += val;     } else if (x6 > x3 && x5 <= x3) {       long long y7 = min(y4, y6);       long long y8 = max(y3, y5);       x6 = min(x6, x4);       long long val = (x6 - x3) * (y7 - y8);       if (val > 0) a1 += val;     }     if (a1 == 0) {       cout <<  NO  << endl;       return 0;     }     cout <<  YES ;   }   