{"problem":{"name":"AND and SUM","description":{"content":"Solve the following problem for $T$ test cases. > Given are non-negative integers $a$ and $s$. Is there a pair of non-negative integers $(x,y)$ that satisfies both of the conditions below? >  > *   $","description_type":"Markdown"},"platform":"AtCoder","limit":{"time_limit":2000,"memory_limit":262144},"difficulty":"None","is_remote":true,"is_sync":true,"sync_url":null,"sign":"abc238_d"},"statements":[{"statement_type":"Markdown","content":"Solve the following problem for $T$ test cases.\n\n> Given are non-negative integers $a$ and $s$. Is there a pair of non-negative integers $(x,y)$ that satisfies both of the conditions below?\n> \n> *   $x\\ \\text{AND}\\ y=a$\n> *   $x+y=s$\n\nWhat is bitwise $\\mathrm{AND}$?The bitwise $\\mathrm{AND}$ of integers $A$ and $B$, $A\\ \\mathrm{AND}\\ B$, is defined as follows:\n\n*   When $A\\ \\mathrm{AND}\\ B$ is written in base two, the digit in the $2^k$'s place ($k \\geq 0$) is $1$ if those of $A$ and $B$ are **both** $1$, and $0$ otherwise.\n\nFor example, we have $4\\ \\mathrm{AND}\\ 6 = 4$ (in base two: $100\\ \\mathrm{AND}\\ 110 = 100$).\n\n## Constraints\n\n*   $1 \\leq T \\leq 10^5$\n*   $0 \\leq a,s \\lt 2^{60}$\n*   All values in input are integers.\n\n## Input\n\nInput is given from Standard Input. The first line is in the following format:\n\n$T$\n\nThen, $T$ test cases follow. Each test case is in the following format:\n\n$a$ $s$\n\n[samples]","is_translate":false,"language":"English"}],"meta":{"iden":"abc238_d","tags":[],"sample_group":[["2\n1 8\n4 2","Yes\nNo\n\nIn the first test case, some pairs such as $(x,y)=(3,5)$ satisfy the conditions.\nIn the second test case, no pair of non-negative integers satisfies the conditions."],["4\n201408139683277485 381410962404666524\n360288799186493714 788806911317182736\n18999951915747344 451273909320288229\n962424162689761932 1097438793187620758","No\nYes\nYes\nNo"]],"created_at":"2026-03-03 11:01:14"}}