{"raw_statement":[{"iden":"problem statement","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$)."},{"iden":"constraints","content":"*   $1 \\leq T \\leq 10^5$\n*   $0 \\leq a,s \\lt 2^{60}$\n*   All values in input are integers."},{"iden":"input","content":"Input 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$"},{"iden":"sample input 1","content":"2\n1 8\n4 2"},{"iden":"sample output 1","content":"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."},{"iden":"sample input 2","content":"4\n201408139683277485 381410962404666524\n360288799186493714 788806911317182736\n18999951915747344 451273909320288229\n962424162689761932 1097438793187620758"},{"iden":"sample output 2","content":"No\nYes\nYes\nNo"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}