AT_arc164_a [ARC164A] Ternary Decomposition

[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` を出力せよ。

### 制約 - $ 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) $ は存在しないため、題意の条件を満たしていません。