カラーコード を以下のように定義します。

• $7$文字からなる文字列
• $1$文字目は #
• $2$文字目から$7$文字目までは、0から9、aからfのいずれかの文字

また、カラーコードは以下の値を持ちます。

• $2$文字目と$3$文字目を結合し、16進数として解釈した値を $r$ とする。この値は、赤の濃さを意味する。
• $4$文字目と$5$文字目を結合し、16進数として解釈した値を $g$ とする。この値は、緑の濃さを意味する。
• $6$文字目と$7$文字目を結合し、16進数として解釈した値を $b$ とする。この値は、青の濃さを意味する。

たとえば、#808080、#804000、#008000、#00c0c0などはカラーコードです。
また、 カラーコード #804000 に対して $r, g, b$ の値は、10進数表記でそれぞれ $128, 64, 0$ となります。

ある #000000 以外のカラーコードに対して、$r, g, b$ をそれぞれそのカラーコードの赤の濃さ、緑の濃さ、青の濃さ としたとき、
$$\frac{\max(r, g, b) - \min(r, g, b)}{\max(r, g, b)}$$ をそのカラーコードの彩度と定義します。

カラーコード $S$ が与えます。$S$ の彩度が水色の彩度以下であるなら Yes を、そうでないなら No を出力してください。

ここで、水色のカラーコードは、AtCoderに従い #00c0c0 であるとします。

• $S$ はカラーコードの条件を満たす。つまり、以下の条件をすべて満たす
  • $7$文字からなる文字列
  • $1$文字目は #
  • $2$文字目から$7$文字目までは、0から9、aからfのいずれかの文字
• $S$ は #000000 ではない

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

$1$ 行で、与えられたカラーコードの彩度が水色 #00c0c0 の彩度以下なら Yes を、そうでないなら No を出力せよ。