#abc185b. [abc185_b]Smartphone Addiction

[abc185_b]Smartphone Addiction

問題文

高橋君のスマートフォンのバッテリー容量は NN [mAh] であり、時刻 0.5,1.5,2.5,ldots0.5, 1.5, 2.5, \\ldots に、つまり時刻 n+0.5,(nn + 0.5\\,(n は整数)) を迎える度にバッテリー残量が 11 [mAh] ずつ減少します。
高橋君はスマートフォンを満充電した状態で時刻 00 に外出し、途中で MM 回カフェを訪れ、時刻 TT に帰宅します。
ii 回目に訪れるカフェには時刻 AiA_i から時刻 BiB_i まで滞在します。カフェに滞在している間はスマートフォンを充電するため、バッテリー残量は減少せず、代わりに時刻 n+0.5,(nn + 0.5\\,(n は整数)) を迎える度に 11 [mAh] ずつ増加します。ただし既にバッテリー残量がバッテリー容量と等しい場合、バッテリー残量は増えも減りもしません。
高橋君が途中でスマートフォンのバッテリー残量が 00 になることなく帰宅することができるかを判定してください。

制約

  • 1leNle1091 \\le N \\le 10^9
  • 1leMle10001 \\le M \\le 1000
  • 1leTle1091 \\le T \\le 10^9
  • $0 \\lt A_1 \\lt B_1 \\lt A_2 \\lt B_2 \\lt A_3 \\lt B_3 \\lt \\dots \\lt A_M \\lt B_M \\lt T$
  • 入力は全て整数

入力

入力は以下の形式で標準入力から与えられる。

NN MM TT A1A_1 B1B_1 A2A_2 B2B_2 A3A_3 B3B_3 hspace15ptvdots\\hspace{15pt} \\vdots AMA_M BMB_M

出力

高橋君が途中でスマートフォンのバッテリー残量が 00 になることなく帰宅することができるなら Yes を、できないなら No を出力せよ。


入力例 1

10 2 20
9 11
13 17

出力例 1

Yes

バッテリー残量は以下のように変化します。

  • 時刻 00 (出発時): 1010 [mAh]
  • 時刻 99 (11 番目のカフェへの滞在開始時): 11 [mAh]
  • 時刻 1111 (11 番目のカフェへの滞在終了時): 33 [mAh] (カフェでは充電を行います)
  • 時刻 1313 (22 番目のカフェへの滞在開始時): 11 [mAh]
  • 時刻 1717 (22 番目のカフェへの滞在終了時): 55 [mAh]
  • 時刻 2020 (帰宅時): 22 [mAh]

この過程で一度もバッテリー残量が 00 になっていないので、Yes を出力します。


入力例 2

10 2 20
9 11
13 16

出力例 2

No

22 番目のカフェへの滞在をバッテリー残量 11 [mAh] の状態で開始するところまでは入出力例 1 と同じです。
時刻 161622 番目のカフェの滞在を終了したときのバッテリー残量は 44 [mAh] になります。
そして時刻 19.519.5 にバッテリー残量が 00 になってしまうので、No を出力します。


入力例 3

15 3 30
5 8
15 17
24 27

出力例 3

Yes

帰宅するときにはバッテリー残量が 11 [mAh] になっていますが、 11 度も 00 にはなっていません。


入力例 4

20 1 30
20 29

出力例 4

No

時刻 19.519.5 でバッテリー残量が 00 になります。


入力例 5

20 1 30
1 10

出力例 5

No

バッテリー残量がバッテリー容量と等しい場合は、カフェにいてもバッテリー残量が増えないことに注意して下さい。