{"problem":{"name":"「DROI」Round 2 构造与取模","description":{"content":"对于整数 $n,k$，若存在**非负整数** $x$ 与 **正整数** $y$ 满足： $$x + y = n\\ \\land\\ x \\bmod y =k$$ 则我们称有序数对 $(x,y)$ 是 $n$ 的一个 **优秀拆分**（其中 $\\land$  是**并且**的意思）。 现给定非负整数 $n,k$，请你构造**任意**一组 $n$ 的优秀拆分，并分别输出你构造方案中的 $x$ 和 ","description_type":"Markdown"},"platform":"Luogu","limit":{"time_limit":1000,"memory_limit":65536},"difficulty":{"LuoguStyle":"P2"},"is_remote":true,"is_sync":true,"sync_url":null,"sign":"LGP9373"},"statements":[{"statement_type":"Markdown","content":"对于整数 $n,k$，若存在**非负整数** $x$ 与 **正整数** $y$ 满足：\n\n$$x + y = n\\ \\land\\ x \\bmod y =k$$\n\n则我们称有序数对 $(x,y)$ 是 $n$ 的一个 **优秀拆分**（其中 $\\land$  是**并且**的意思）。\n\n现给定非负整数 $n,k$，请你构造**任意**一组 $n$ 的优秀拆分，并分别输出你构造方案中的 $x$ 和 $y$。特殊地，若不存在这样的拆分，则输出 `-1`。\n\n## Input\n\n**本题有多组数据。**\n\n第一行一个正整数 $T$，表示数据组数。\n\n接下来 $T$ 行，每行两个非负整数，分别为 $n,k$。\n\n## Output\n\n输出共 $T$ 行，第 $i$ 行表示第 $i$ 组数据的答案。\n\n[samples]\n\n## Background\n\n与其编写苍白无力的背景，不如出更有质量的题。\n\n## Note\n\n#### 样例解释\n\n对于第一组数据，只存在唯一的构造方式。\n\n对于第二组数据，$(3,10)$ 也是一组合法的构造。\n\n对于第三组数据，可以证明不存在一组合法的构造。\n\n------------\n\n#### 数据范围\n\n**「本题采用捆绑测试」**\n\n- $\\operatorname{Subtask} 1(20\\%)$：$n \\leq 10^6$。\n\n- $\\operatorname{Subtask} 2(40\\%)$：$n \\leq 10^{12}$。\n\n- $\\operatorname{Subtask} 3(40\\%)$：无特殊限制。\n\n对于 $100\\%$ 的数据：$T \\leq 5$，$0 \\leq n,k \\leq 10^{18}$。","is_translate":false,"language":"English"}],"meta":{"iden":"LGP9373","tags":["Special Judge","构造"],"sample_group":[["3\n1 0\n13 3\n198818800000 122122200000","0 1\n8 5\n-1"]],"created_at":"2026-03-03 11:09:25"}}