Guizhou alberga muchas ciudades con una larga historia y un rico patrimonio cultural. Tras anunciarse la tercera tanda de ciudades históricas de nivel provincial en 2024, Guizhou cuenta con las siguientes $12$ ciudades históricas de nivel nacional o provincial:

• Ciudades históricas de nivel nacional: zun yi (遵义) y zhen yuan (镇远);
• Ciudades históricas de nivel provincial: an shun (安顺), zhi jin (织金), da fang (大方), shi qian (石阡), li ping (黎平), fu quan (福泉), an long (安龙), pu ding (普定), si nan (思南) y zhen feng (贞丰).

Dado un nombre de lugar escrito en pinyin con letras minúsculas, determina si figura en la lista anterior de ciudades históricas de nivel provincial. En este problema, las ciudades históricas de nivel nacional no se consideran ciudades históricas de nivel provincial.

Entrada

Cada archivo de prueba contiene un único caso de prueba.

La primera línea contiene dos cadenas $a$ y $b$ ($1 \le |a|, |b| \le 6$), que representan el pinyin de un nombre de lugar. Cada cadena consta de letras minúsculas inglesas. Las dos cadenas están separadas por exactamente un espacio.

Salida

Si el nombre de lugar figura en la lista de ciudades históricas de nivel provincial, imprime Yes. De lo contrario, imprime No.

Ejemplos

Entrada 1

zun yi

Salida 1

No

Entrada 2

zhi jin

Salida 2

Yes

Nota

En el primer ejemplo, zun yi se refiere a Zunyi (遵义), que es una ciudad histórica de nivel nacional. Este problema solo pregunta por las ciudades históricas de nivel provincial, por lo que la respuesta es No.

En el segundo ejemplo, zhi jin se refiere a Zhijin (织金), que es una ciudad histórica de nivel provincial, por lo que la respuesta es Yes.