{"raw_statement":[{"iden":"background","content":"哀喜欢数字。\n\n她还喜欢变化。"},{"iden":"statement","content":"有一整数 $a$ 初始为 $1$。\n\n哀想让 $a$ 进行恰好 $k$ 次变化，每次从以下两种变化中选择一个：\n\n- $a\\gets a - 1$；\n- $a\\gets a \\times 2$。\n\n哀很好奇，经过 **恰好** $k$ 次变化后 $a$ 能否变成 $n$。"},{"iden":"input","content":"**本题有多组测试数据。**\n\n第一行，一个正整数 $T$，表示测试数据组数。\n\n接下来 $T$ 行，每行两个整数，依次为 $k$ 和 $n$，表示哀的一次询问。"},{"iden":"output","content":"共 $T$ 行，对于每次询问，若 $a$ 可以变成 $n$，输出 `Yes`，否则输出 `No`。"},{"iden":"note","content":"### 样例解释 1\n\n+ 若 $k = 2$，$n = 5$，可以证明无解。\n+ 若 $k = 2$，$n = 4$，一种可能的操作方式如下：\n\t+ 第一步，$a \\gets a\\times 2 = 2$；\n\t+ 第二步，$a \\gets a\\times 2 = 4$。\n+ 若 $k = 3$，$n = 3$，一种可能的操作方式如下：\n\t+ 第一步，$a \\gets a\\times 2 = 2$；\n\t+ 第二步，$a \\gets a\\times 2 = 4$。\n\t+ 第三步，$a \\gets a-1 = 3$。\n\n### 数据规模与约定\n\n**本题采用捆绑测试。**\n\n+ Subtask 0（10 pts）：$T \\leq 10$，$k \\leq 15$。\n+ Subtask 1（25 pts）：$n, k \\leq 2\\times 10^3$。\n+ Subtask 2（65 pts）：无特殊限制。\n\n对于所有数据，$1 \\leq T \\leq 10^5$，$0 \\leq n, k \\leq 10^{18}$。"}],"translated_statement":null,"sample_group":[["3\n2 5\n2 4\n3 3","No\nYes\nYes"],["5\n4 869\n48 69\n8 328\n66 114514\n168 1919810\n","No\nYes\nNo\nYes\nYes"]],"show_order":[],"formal_statement":null,"simple_statement":null,"has_page_source":false}