AT_arc207_e [ARC207E] Erase and Append
Description
You are given strings $ s $ and $ t $ of length $ N $ consisting of `0` and `1`. Determine whether it is possible to make $ s $ match $ t $ by performing the following operation at least $ 0 $ and at most $ N+1 $ times, and if possible, show one such sequence of operations.
Operation: Perform the following in order.
1. Choose integers $ a $ and $ b $ satisfying $ 1 \le a,b \le N $ and $ |a-b|=1 $
2. Append the $ a $ -th character from the beginning of $ s $ to the end of $ s $
3. Remove the $ b $ -th character from the beginning of $ s $ and concatenate the remaining characters in their original order
You are given $ T $ test cases; find the answer for each of them.
Input Format
The input is given from Standard Input in the following format:
> $ T $ $ \text{case}_1 $ $ \text{case}_2 $ $ \vdots $ $ \text{case}_T $
Each test case is given in the following format:
> $ N $ $ s $ $ t $
Output Format
Print the answers for the given test cases in the order they are given. If it is impossible to make $ s $ match $ t $ by performing the operation at least $ 0 $ and at most $ N+1 $ times, print `-1`. If possible, first print the number of operations $ K $ , and on the $ j $ -th of the following $ K $ lines, print the two integers $ a_j $ and $ b_j $ chosen in the $ j $ -th operation, separated by a space.
Explanation/Hint
### Sample Explanation 1
In the first test case, $ s $ is `00101` and $ t $ is `00010`.
- By choosing $ 2 $ and $ 3 $ as $ a $ and $ b $ , appending the $ 2 $ -nd character `0` to the end of $ s $ , and then removing the $ 3 $ -rd character, we can make $ s $ and $ t $ match.
- Note that the integers $ a $ and $ b $ chosen in the operation must satisfy $ |a-b|=1 $ .
In the second test case, $ s $ and $ t $ can be made to match with zero operations.
In the third test case, no matter how the operations are performed, $ s $ and $ t $ cannot be made to match.
### Constraints
- $ 1 \le T \le 10^{5} $
- $ 2 \le N \le 2 \times 10^{5} $
- $ s $ and $ t $ are strings of length $ N $ consisting of `0` and `1`.
- The sum of $ N $ over all test cases is at most $ 2 \times 10^{5} $ .