#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ EOF;
scalar_t__ abs(long long);
int /*<<< orphan*/ printf(char *);
scalar_t__ scanf(char *, long long *, ...);
int main() {
  long long int a, b, c, d, i, j, k, u, n, m, min, minx, miny, max, maxx, maxy,
      sum, S;
  while (scanf("%lld", &n) != EOF) {
    min = 10000000;
    max = -1;
    sum = 0;
    for (m = 1; m <= n; m++) {
      scanf("%lld %lld %lld %lld", &a, &b, &c, &d);
      sum += abs((c - a) * (d - b));
      if (min > a + b) {
        min = a + b;
        minx = a;
        miny = b;
      }
      if (max < c + d) {
        max = c + d;
        maxx = c;
        maxy = d;
      }
    }
    if ((maxx - minx) * (maxy - miny) == sum && (maxx - minx == maxy - miny)) {
      printf("YES\n");
    } else
      printf("NO\n");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xec6(%rip),%rdi
lea    -0x50(%rbp),%rsi
mov    $0x0,%al
call   1050 <scanf@plt>
mov    0x2e8d(%rip),%rcx
cmp    (%rcx),%rax
je     12b7 <main+0x187>
movq   $0x989680,-0x60(%rbp)
movq   $0xffffffffffffffff,-0x78(%rbp)
ff
movq   $0x0,-0x90(%rbp)
movq   $0x1,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x50(%rbp),%rax
jg     1255 <main+0x125>
lea    0xe64(%rip),%rdi
lea    -0x10(%rbp),%rsi
lea    -0x18(%rbp),%rdx
lea    -0x20(%rbp),%rcx
lea    -0x28(%rbp),%r8
mov    $0x0,%al
call   1050 <scanf@plt>
mov    -0x20(%rbp),%rdi
sub    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rax
sub    -0x18(%rbp),%rax
imul   %rax,%rdi
call   1030 <abs@plt>
add    -0x90(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x60(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    -0x18(%rbp),%rcx
cmp    %rcx,%rax
jle    120b <main+0xdb>
mov    -0x10(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x78(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    -0x28(%rbp),%rcx
cmp    %rcx,%rax
jge    123f <main+0x10f>
mov    -0x20(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x88(%rbp)
jmp    1244 <main+0x114>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1187 <main+0x57>
mov    -0x80(%rbp),%rax
sub    -0x68(%rbp),%rax
mov    -0x88(%rbp),%rcx
sub    -0x70(%rbp),%rcx
imul   %rcx,%rax
cmp    -0x90(%rbp),%rax
jne    12a6 <main+0x176>
mov    -0x80(%rbp),%rax
sub    -0x68(%rbp),%rax
mov    -0x88(%rbp),%rcx
sub    -0x70(%rbp),%rcx
cmp    %rcx,%rax
jne    12a6 <main+0x176>
lea    0xd78(%rip),%rdi
call   1040 <printf@plt>
jmp    12b2 <main+0x182>
lea    0xd6c(%rip),%rdi
call   1040 <printf@plt>
jmp    1142 <main+0x12>
xor    %eax,%eax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
lea    0xeda(%rip),%rdi
lea    0x18(%rsp),%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
mov    0x2ea0(%rip),%rcx
cmp    (%rcx),%rax
jne    115e <main+0x3e>
xor    %eax,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
jmp    11dc <main+0xbc>
xor    %ebx,%ebx
mov    0x10(%rsp),%rdx
mov    0x8(%rsp),%rsi
mov    0x20(%rsp),%rdi
mov    %r12,%rbp
mov    %rsi,0x8(%rsp)
mov    %rsi,%rax
mov    %rbp,%r12
sub    %rbp,%rax
mov    %rdx,0x10(%rsp)
mov    %rdx,%rcx
mov    %rdi,0x20(%rsp)
sub    %rdi,%rcx
mov    %rcx,%rdx
imul   %rax,%rdx
xor    %rbx,%rdx
xor    %rax,%rcx
or     %rdx,%rcx
lea    0xe6b(%rip),%rdi
lea    0xe67(%rip),%rax
cmove  %rax,%rdi
call   1030 <puts@plt>
lea    0xe4f(%rip),%rdi
lea    0x18(%rsp),%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
mov    0x2e15(%rip),%rcx
cmp    (%rcx),%rax
je     114d <main+0x2d>
cmpq   $0x0,0x18(%rsp)
jle    1160 <main+0x40>
mov    $0x989680,%r14d
mov    $0xffffffffffffffff,%r15
xor    %r13d,%r13d
xor    %ebx,%ebx
mov    0x10(%rsp),%rdx
mov    0x8(%rsp),%rsi
mov    0x20(%rsp),%rdi
mov    %r12,%rbp
nopl   0x0(%rax)
mov    %rsi,0x8(%rsp)
mov    %rdx,0x10(%rsp)
mov    %rdi,%r12
lea    0xddc(%rip),%rdi
lea    0x40(%rsp),%rsi
lea    0x38(%rsp),%rdx
lea    0x30(%rsp),%rcx
lea    0x28(%rsp),%r8
xor    %eax,%eax
call   1040 <scanf@plt>
mov    0x30(%rsp),%r8
mov    0x40(%rsp),%rcx
mov    %r8,%rdx
sub    %rcx,%rdx
mov    0x28(%rsp),%rax
mov    0x38(%rsp),%rdi
mov    %rax,%rsi
sub    %rdi,%rsi
imul   %rdx,%rsi
mov    %rsi,%rdx
neg    %rdx
cmovs  %rsi,%rdx
add    %rdx,%rbx
lea    (%rdi,%rcx,1),%rdx
cmp    %rdx,%r14
cmovg  %rdx,%r14
cmovg  %rcx,%rbp
cmovg  %rdi,%r12
mov    %r12,%rdi
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%rdx
lea    (%rax,%r8,1),%rcx
cmp    %rcx,%r15
cmovl  %rcx,%r15
cmovl  %r8,%rsi
cmovl  %rax,%rdx
add    $0x1,%r13
cmp    0x18(%rsp),%r13
jl     1210 <main+0xf0>
jmp    1174 <main+0x54>

LLVM IR (-O0):
@.str = [5 x i8] c"%lld\00"
@EOF = global i64 0
@.str.1 = [20 x i8] c"%lld %lld %lld %lld\00"
@.str.2 = [5 x i8] c"YES\0A\00"
@.str.3 = [4 x i8] c"NO\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i64
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
store i32 0, i32* %1
br label %20
20: ; preds = %90, %0
%21 = call i64 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64* %10)
%22 = load i64, i64* @EOF
%23 = icmp ne i64 %21, %22
br i1 %23, label %24, label %91
24: ; preds = %20
store i64 10000000, i64* %12
store i64 -1, i64* %15
store i64 0, i64* %18
store i64 1, i64* %11
br label %25
25: ; preds = %65, %24
%26 = load i64, i64* %11
%27 = load i64, i64* %10
%28 = icmp sle i64 %26, %27
br i1 %28, label %29, label %68
29: ; preds = %25
%30 = call i64 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.1, i64 0, i64 0), i64* %2, i64* %3, i64* %4, i64* %5)
%31 = load i64, i64* %4
%32 = load i64, i64* %2
%33 = sub nsw i64 %31, %32
%34 = load i64, i64* %5
%35 = load i64, i64* %3
%36 = sub nsw i64 %34, %35
%37 = mul nsw i64 %33, %36
%38 = call i64 @abs(i64 %37)
%39 = load i64, i64* %18
%40 = add nsw i64 %39, %38
store i64 %40, i64* %18
%41 = load i64, i64* %12
%42 = load i64, i64* %2
%43 = load i64, i64* %3
%44 = add nsw i64 %42, %43
%45 = icmp sgt i64 %41, %44
br i1 %45, label %46, label %52
46: ; preds = %29
%47 = load i64, i64* %2
%48 = load i64, i64* %3
%49 = add nsw i64 %47, %48
store i64 %49, i64* %12
%50 = load i64, i64* %2
store i64 %50, i64* %13
%51 = load i64, i64* %3
store i64 %51, i64* %14
br label %52
52: ; preds = %46, %29
%53 = load i64, i64* %15
%54 = load i64, i64* %4
%55 = load i64, i64* %5
%56 = add nsw i64 %54, %55
%57 = icmp slt i64 %53, %56
br i1 %57, label %58, label %64
58: ; preds = %52
%59 = load i64, i64* %4
%60 = load i64, i64* %5
%61 = add nsw i64 %59, %60
store i64 %61, i64* %15
%62 = load i64, i64* %4
store i64 %62, i64* %16
%63 = load i64, i64* %5
store i64 %63, i64* %17
br label %64
64: ; preds = %58, %52
br label %65
65: ; preds = %64
%66 = load i64, i64* %11
%67 = add nsw i64 %66, 1
store i64 %67, i64* %11
br label %25
68: ; preds = %25
%69 = load i64, i64* %16
%70 = load i64, i64* %13
%71 = sub nsw i64 %69, %70
%72 = load i64, i64* %17
%73 = load i64, i64* %14
%74 = sub nsw i64 %72, %73
%75 = mul nsw i64 %71, %74
%76 = load i64, i64* %18
%77 = icmp eq i64 %75, %76
br i1 %77, label %78, label %88
78: ; preds = %68
%79 = load i64, i64* %16
%80 = load i64, i64* %13
%81 = sub nsw i64 %79, %80
%82 = load i64, i64* %17
%83 = load i64, i64* %14
%84 = sub nsw i64 %82, %83
%85 = icmp eq i64 %81, %84
br i1 %85, label %86, label %88
86: ; preds = %78
%87 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0))
br label %90
88: ; preds = %78, %68
%89 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0))
br label %90
90: ; preds = %88, %86
br label %20
91: ; preds = %20
ret i32 0
}

LLVM IR (-O2):
@.str = [5 x i8] c"%lld\00"
@EOF = global i64 0
@.str.1 = [20 x i8] c"%lld %lld %lld %lld\00"
@str = [3 x i8] c"NO\00"
@str.4 = [4 x i8] c"YES\00"
define i32 @main() {
%1 = alloca i64
%2 = alloca i64
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = bitcast i64* %1 to i8*
%7 = bitcast i64* %2 to i8*
%8 = bitcast i64* %3 to i8*
%9 = bitcast i64* %4 to i8*
%10 = bitcast i64* %5 to i8*
%11 = call i64 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64* %5)
%12 = load i64, i64* @EOF
%13 = icmp eq i64 %11, %12
br i1 %13, label %70, label %14
14: ; preds = %0, %53
%15 = phi i64 [ %57, %53 ], [ undef, %0 ]
%16 = phi i64 [ %56, %53 ], [ undef, %0 ]
%17 = phi i64 [ %55, %53 ], [ undef, %0 ]
%18 = phi i64 [ %54, %53 ], [ undef, %0 ]
%19 = load i64, i64* %5
%20 = icmp slt i64 %19, 1
br i1 %20, label %53, label %21
21: ; preds = %14, %21
%22 = phi i64 [ %50, %21 ], [ 1, %14 ]
%23 = phi i64 [ %39, %21 ], [ 0, %14 ]
%24 = phi i64 [ %49, %21 ], [ %15, %14 ]
%25 = phi i64 [ %48, %21 ], [ %16, %14 ]
%26 = phi i64 [ %47, %21 ], [ -1, %14 ]
%27 = phi i64 [ %44, %21 ], [ %17, %14 ]
%28 = phi i64 [ %43, %21 ], [ %18, %14 ]
%29 = phi i64 [ %42, %21 ], [ 10000000, %14 ]
%30 = call i64 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.1, i64 0, i64 0), i64* %1, i64* %2, i64* %3, i64* %4)
%31 = load i64, i64* %3
%32 = load i64, i64* %1
%33 = sub nsw i64 %31, %32
%34 = load i64, i64* %4
%35 = load i64, i64* %2
%36 = sub nsw i64 %34, %35
%37 = mul nsw i64 %36, %33
%38 = call i64 @llvm.abs.i64(i64 %37, i1 true)
%39 = add nuw nsw i64 %38, %23
%40 = add nsw i64 %35, %32
%41 = icmp sgt i64 %29, %40
%42 = select i1 %41, i64 %40, i64 %29
%43 = select i1 %41, i64 %32, i64 %28
%44 = select i1 %41, i64 %35, i64 %27
%45 = add nsw i64 %34, %31
%46 = icmp slt i64 %26, %45
%47 = select i1 %46, i64 %45, i64 %26
%48 = select i1 %46, i64 %31, i64 %25
%49 = select i1 %46, i64 %34, i64 %24
%50 = add nuw nsw i64 %22, 1
%51 = load i64, i64* %5
%52 = icmp slt i64 %22, %51
br i1 %52, label %21, label %53
53: ; preds = %21, %14
%54 = phi i64 [ %18, %14 ], [ %43, %21 ]
%55 = phi i64 [ %17, %14 ], [ %44, %21 ]
%56 = phi i64 [ %16, %14 ], [ %48, %21 ]
%57 = phi i64 [ %15, %14 ], [ %49, %21 ]
%58 = phi i64 [ 0, %14 ], [ %39, %21 ]
%59 = sub nsw i64 %56, %54
%60 = sub nsw i64 %57, %55
%61 = mul nsw i64 %60, %59
%62 = icmp eq i64 %61, %58
%63 = icmp eq i64 %59, %60
%64 = and i1 %63, %62
%65 = select i1 %64, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @str.4, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @str, i64 0, i64 0)
%66 = call i32 @puts(i8* dereferenceable(1) %65)
%67 = call i64 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64* %5)
%68 = load i64, i64* @EOF
%69 = icmp eq i64 %67, %68
br i1 %69, label %70, label %14
70: ; preds = %53, %0
ret i32 0
}