### 问题描述 小蓝最近在玩一种很 new 的数字游戏，规则如下： 小蓝初始有两个正整数 $n,m$，他可以对 $n$ 进行 $k$ 次以下操作： 选择 $n$ 的一个非 $0$ 的数位 $d$，将 $n$ 变成 $\lfloor\frac{n}{d}\rfloor $。 小蓝想知道他在 $k$ 次操作后能否将 $n$ 变成 $m$。 ### 输入格式 输入仅一行，包含三整数 $n, k, m$。 ### 输出格式 输出仅一行，包含一个字符串，如果可行，则输出 `Yes`，否则输出 `No`。 ### 样例输入 ```text 13 2 4 ``` ### 样例输出 ```text Yes ``` ### 说明 在样例中： 第一次操作：选择 $13$ 中的 $1$，那么 $13$ 变成 $13$。 第二次操作：选择 $13$ 中的 $3$，那么 $13$ 变成 $4$。 ### 评测数据规模 对于 $100$% 的评测数据，$1\leq n,m,k \le 10^{10}$。