P10495 [AOJ] Range Minimum Query
普及
题目描述

Problem statement

There are real variables $ X_1, X_2, ... $, and some initial value is assigned. From now on, $ Q $ pieces of information will be given in order. The information given is one of the following two types.

  • min $\\ {X_ {a_i}, X_ {a_i + 1}, ..., X_ {b_i} \\} = y_i$.
  • Substitute $ y_i $ for the variables $ X_ {a_i}, X_ {a_i + 1}, ..., X_ {b_i} $.

Determine if you can choose the initial value of each variable so that these $ Q $ pieces of information are consistent.

Constraint

  • $1 \ leq Q \ leq 5 \ times 10 ^ 4$
  • $0 \ leq t_i \ leq 1$
  • $1 \ leq a_i \ leq b_i \ leq 10 ^ 9$
  • $1 \ leq y_i \ leq 10 ^ 9$

input

Input follows the following format. All given numbers are integers.

$ Q $
$ t_1 $ $ a_1 $ $ b_1 $ $ y_1 $
$ t_2 $ $ a_2 $ $ b_2 $ $ y_2 $
$ ... $
$ t_Q $ $ a_Q $ $ b_Q $ $ y_Q $

  1. When $ t_i = 0 $, it indicates that min $\\ {X_ {a_i}, X_ {a_i + 1}, ..., X_ {b_i} \\} = y_i$.
  2. When $ t_i = 1 $, it indicates that $ y_i $ is assigned to $ X_ {a_i}, X_ {a_i + 1}, ..., X_ {b_i} $.

output

Output "YES" if there is an initial value that does not contradict all the information, otherwise output "NO" on one line.

Examples

Input

5
0 1 2 8
0 2 3 9
0 2 2 11
1 2 2 7
0 1 3 7

Output

YES

Input

2
1 10 100 333
0 100 1000 555

Output

NO

输入格式

见题面

输出格式

见题面

样例输入
2 1 10 100 333 0 100 1000 555
样例输出
NO