Guizhou には長い歴史と豊かな文化遺産を持つ都市が数多くあります。2024 年に省級歴史都市の第 3 次指定が発表された後、Guizhou には以下の $12$ の国家級または省級歴史都市があります。

• 国家級歴史都市：zun yi (遵义) と zhen yuan (镇远)；
• 省級歴史都市：an shun (安顺)、zhi jin (织金)、da fang (大方)、shi qian (石阡)、li ping (黎平)、fu quan (福泉)、an long (安龙)、pu ding (普定)、si nan (思南)、zhen feng (贞丰)。

小文字のピンインで書かれた地名が与えられます。その地名が上の省級歴史都市の一覧に含まれているかどうかを判定してください。この問題では、国家級歴史都市は省級歴史都市とは見なしません。

入力

各テストファイルにはテストケースが 1 つだけ含まれます。

最初の行には、地名のピンインを表す 2 つの文字列 $a$ と $b$ ($1 \le |a|, |b| \le 6$) が含まれます。各文字列は英小文字からなります。2 つの文字列はちょうど 1 つの空白で区切られています。

出力

地名が省級歴史都市の一覧に含まれていれば Yes を出力してください。そうでなければ No を出力してください。

入出力例

入力 1

zun yi

出力 1

No

入力 2

zhi jin

出力 2

Yes

注記

最初の例では、zun yi は国家級歴史都市である Zunyi (遵义) を指します。この問題では省級歴史都市だけを問うため、答えは No です。

2 番目の例では、zhi jin は省級歴史都市である Zhijin (织金) を指すため、答えは Yes です。