{"trustable":true,"prependHtml":"\u003cstyle type\u003d\u0027text/css\u0027\u003e\n .input, .output {\n border: 1px solid #888888;\n }\n .output {\n margin-bottom: 1em;\n position: relative;\n top: -1px;\n }\n .output pre, .input pre {\n background-color: #EFEFEF;\n line-height: 1.25em;\n margin: 0;\n padding: 0.25em;\n }\n \u003c/style\u003e\n \u003clink rel\u003d\"stylesheet\" href\u003d\"//codeforces.org/s/96598/css/problem-statement.css\" type\u003d\"text/css\" /\u003e\n\u003cscript\u003e\n window.katexOptions \u003d {\n delimiters: [\n {left: \u0027$$$$$$\u0027, right: \u0027$$$$$$\u0027, display: true},\n {left: \u0027$$$\u0027, right: \u0027$$$\u0027, display: false},\n {left: \u0027$$\u0027, right: \u0027$$\u0027, display: true},\n {left: \u0027$\u0027, right: \u0027$\u0027, display: false}\n ]\n };\n\u003c/script\u003e\n","sections":[{"title":"","value":{"format":"HTML","content":"\u003cp\u003eAquaMoon 和 Cirno 正在玩一个有趣的数组游戏。Cirno 准备了两个数组 $$$a$$$ 和 $$$b$$$,它们都由 $$$n$$$ 个非负整数组成。AquaMoon 可以进行以下操作任意次数(可以是零次):\u003c/p\u003e\u003cul\u003e \u003cli\u003e 她选择两个索引 $$$i$$$ 和 $$$j$$$($$$1 \\le i, j \\le n$$$),然后将数组 $$$a$$$ 的第 $$$i$$$ 个元素减去 $$$1$$$,同时将数组 $$$a$$$ 的第 $$$j$$$ 个元素加上 $$$1$$$。操作后,数组 $$$a$$$ 的第 $$$i$$$ 和 $$$j$$$ 个元素分别变为 $$$a_i - 1$$$ 和 $$$a_j + 1$$$。每次操作后,数组 $$$a$$$ 的每个元素 \u003cspan class\u003d\"tex-font-style-bf\"\u003e都必须是非负的\u003c/span\u003e。如果 $$$i \u003d j$$$ 这次操作没有改变数组 $$$a$$$。\u003c/li\u003e\u003c/ul\u003e\u003cp\u003eAquaMoon 希望通过一些操作使数组 $$$a$$$ 和 $$$b$$$ 变得相等。当且仅当 $$$a_i \u003d b_i$$$ 对于所有 $$$1 \\leq i \\leq n$$$ 时,数组 $$$a$$$ 和 $$$b$$$ 才被认为是相等的。\u003c/p\u003e\u003cp\u003e帮助 AquaMoon 找到一系列操作来解决她的问题,或者发现无法使数组 $$$a$$$ 和 $$$b$$$ 相等。\u003c/p\u003e\u003cp\u003e请注意,你 \u003cspan class\u003d\"tex-font-style-bf\"\u003e不必最小化\u003c/span\u003e 操作次数。\u003c/p\u003e"}},{"title":"输入","value":{"format":"HTML","content":"\u003cp\u003e输入包含多个测试用例。第一行包含一个整数 $$$t$$$ ($$$1 \\leq t \\leq 100$$$) — 测试用例的数量。\u003c/p\u003e\u003cp\u003e每个测试用例的第一行包含一个整数 $$$n$$$ ($$$1 \\leq n \\leq 100$$$)。\u003c/p\u003e\u003cp\u003e每个测试用例的第二行包含 $$$n$$$ 个整数 $$$a_1, a_2, \\dots, a_n$$$ ($$$0 \\leq a_i \\leq 100$$$)。 \u003cspan class\u003d\"tex-font-style-bf\"\u003e所有 $$$a_i$$$ 的和不超过 $$$100$$$。\u003c/span\u003e\u003c/p\u003e\u003cp\u003e每个测试用例的第三行包含 $$$n$$$ 个整数 $$$b_1, b_2, \\dots, b_n$$$ ($$$0 \\leq b_i \\leq 100$$$)。 \u003cspan class\u003d\"tex-font-style-bf\"\u003e所有 $$$b_i$$$ 的和不超过 $$$100$$$。\u003c/span\u003e\u003c/p\u003e"}},{"title":"输出","value":{"format":"HTML","content":"\u003cp\u003e对于每个测试用例,如果无法通过一系列操作使两个数组相等,只需在一行上打印 \"\u003cspan class\u003d\"tex-font-style-tt\"\u003e-1\u003c/span\u003e\"。\u003c/p\u003e\u003cp\u003e否则,在第一行上打印一个整数 $$$m$$$ ($$$0 \\leq m \\leq 100$$$) — 操作的次数。然后打印 $$$m$$$ 行,每行包含两个整数 $$$i$$$ 和 $$$j$$$ — 你选择进行操作的索引。\u003c/p\u003e\u003cp\u003e可以证明,如果可以通过一系列操作使两个数组相等,那么存在一个包含 $$$m \\leq 100$$$ 的操作序列。\u003c/p\u003e\u003cp\u003e如果存在多个可能的解决方案,你可以打印任意一个。\u003c/p\u003e"}},{"title":"示例 1","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e4\n4\n1 2 3 4\n3 1 2 4\n2\n1 3\n2 1\n1\n0\n0\n5\n4 3 2 1 0\n0 1 2 3 4\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e2\n2 1\n3 1\n-1\n0\n6\n1 4\n1 4\n1 5\n1 5\n2 5\n2 5\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e"}},{"title":"注意","value":{"format":"HTML","content":"\u003cp\u003e在第一个示例中,我们进行了以下操作:\u003c/p\u003e\u003cul\u003e \u003cli\u003e $$$i \u003d 2$$$, $$$j \u003d 1$$$: $$$[1, 2, 3, 4] \\rightarrow [2, 1, 3, 4]$$$; \u003c/li\u003e\u003cli\u003e $$$i \u003d 3$$$, $$$j \u003d 1$$$: $$$[2, 1, 3, 4] \\rightarrow [3, 1, 2, 4]$$$; \u003c/li\u003e\u003c/ul\u003e\u003cp\u003e在第二个示例中,无法使两个数组相等。\u003c/p\u003e"}}]}