[ARC164A] Ternary Decomposition

### 题目描述 给定两个整数 $N,K$，判断 $N$ 能不能用 $K$ 个 $3^{n}(n\in \N)$ 之和表示。 **本题有多组测试数据。** Translated by [lelml](/user/372622). ### 输入格式 第一行一个整数 $T$，表示数据的组数。 接下来共 $T$ 行，每一行有两个整数 $N,K$。 ### 输出格式 共 $T$ 行，每一行表示一组数据判断的结果，如果可以输出 ```Yes```，否则输出 ```No```。 ### 数据范围 $1\le T \le 10^5,1 \le K \le N \le 10^{18}$

[problemUrl]: https://atcoder.jp/contests/arc164/tasks/arc164_a 整数 $ N,K $ が与えられます。 $ N $ を、$ 3^m $ （$ m $ は非負整数）の形の数をちょうど $ K $ 個用いた和として表すことは可能でしょうか。 すなわち、 $ N=\ 3^{m_1}+3^{m_2}+...+3^{m_K} $ となるような非負整数の列 $ (m_1,\ m_2,\ldots\ ,\ m_K) $ が存在するでしょうか。 $ T $ 個のテストケースが与えられるので、それぞれについて答えてください。

入力は以下の形式で標準入力から与えられる。 > $ T $ $ \mathrm{case}_1 $ $ \mathrm{case}_2 $ $ \vdots $ $ \mathrm{case}_T $ 各テストケース $ \mathrm{case}_i\ (1\leq\ i\ \leq\ T) $ は以下の形式である。 > $ N $ $ K $

$ T $ 行出力せよ。$ i $ 行目には、$ i $ 番目のテストケースについて、題意の非負整数の列が存在する場合は `Yes` を、そうでない場合は `No` を出力せよ。

4
5 3
17 2
163 79
1000000000000000000 1000000000000000000

Yes
No
Yes
Yes

### 制約 - $ 1\ \leq\ T\ \leq\ 10^5 $ - $ 1\ \leq\ K\ \leq\ N\ \leq\ 10^{18} $ - 入力される値はすべて整数である ### Sample Explanation 1 $ 1 $ つめのテストケースについて、 $ 5=3^1+3^0+3^0 $ と表すことができるため、題意の条件を満たしています。 $ 2 $ つめのテストケースについて、$ 17=3^{m_1}+3^{m_2} $ となる非負整数の列 $ (m_1,\ m_2) $ は存在しないため、題意の条件を満たしていません。