#ARC191B. 异或等于取模

异或等于取模

异或等于取模

时间限制:2s
空间限制:1024MB

题目描述

给定正整数 N,KN,K。如果正整数 XX 满足

XXORN=X mod N,X\mathbin{\mathrm{XOR}}N=X\bmod N,

就称 XX 与 NN 相容。判断与 NN 相容的正整数是否至少有 KK 个;若有,输出其中第 KK 小的数,否则输出 −1-1。共有 TT 组询问。

输入格式

T
N_1 K_1
N_2 K_2
...
N_T K_T

输出格式

对每组询问输出一行答案。

样例输入 1

4
2 1
2 2
1 7
20250126 191

样例输出 1

2
3
-1
20381694

数据范围

  • 1≤T≤2×1051\le T\le2\times10^5;
  • 1≤N,K≤1091\le N,K\le10^9。
子任务编号 分值 特殊限制
1 10 每组询问中的 NN 都是二的幂
2 20 T≤100T\le100 且每组询问均有 N≤5000N\le5000
3 40 T≤2000T\le2000
4 30 无特殊限制