AT_agc077_a.[AGC077A] Reverse A…B

A, B からなる長さ $ N $ の文字列 $ X,Y $ が与えられます． $ X $ の $ i $ 文字目を $ X_i $ と表すことにします．

以下の操作を $ 0 $ 回以上 $ \left\lfloor \frac{N}{2} \right\rfloor $ 回以下行うことで， $ X $ を $ Y $ に一致させることができるか否かを判定してください．

• $ 1\leq l < r \leq N $ かつ $ X_l= $ A かつ $ X_r= $ B なる整数組 $ (l, r) $ を選ぶ． $ X $ の $ l $ 番目から $ r $ 番目までの要素を反転する．ここで，「 $ X $ の $ l $ 番目から $ r $ 番目までの要素を反転する」とは， $ X_l,X_{l+1},\ldots,X_{r-1},X_r $ を $ X_r,X_{r-1},\ldots,X_{l+1},X_l $ に同時に置き換えることを言う．

$ X $ を $ Y $ に一致させることが可能な場合には，そのような手順をひとつ出力してください．

$ T $ 個のテストケースが与えられるので，それぞれについて答えを求めてください．

入力は以下の形式で標準入力から与えられる．

$ T $ $ \mathrm{case}_1 $ $ \mathrm{case}_2 $ $ \vdots $ $ \mathrm{case}_T $

各テストケースは以下の形式で与えられる．

$ N $ $ X $ $ Y $

$ \mathrm{case}_1,\mathrm{case}_2,\ldots,\mathrm{case}_T $ に対する答えを順に以下の形式で出力せよ．

$ 0 $ 回以上 $ \left\lfloor \frac{N}{2} \right\rfloor $ 回以下の操作で $ X $ を $ Y $ に一致させることが不可能な場合には，No と出力せよ．

可能な場合には，操作手順を次の形式で出力せよ．

Yes $ K $ $ l_1 $ $ r_1 $ $ l_2 $ $ r_2 $ $ \vdots $ $ l_K $ $ r_K $

ここで $ K $ は操作回数で， $ l_i,r_i $ は $ i $ 回目の操作で選ぶ整数 $ l,r $ を表す．これらは次を満たす必要がある．

• $ 0 \leq K \leq \left\lfloor \frac{N}{2} \right\rfloor $
• $ 1 \leq l_i < r_i \leq N $

条件を満たす操作手順が複数存在する場合には，そのどれを出力しても正解と見なされる．

Sample Explanation 1

$ 1 $ 番目のテストケースでは， $ X_3= $ A かつ $ X_5= $ B なので， $ X $ の $ 3 $ 番目から $ 5 $ 番目までの要素を反転する操作を行うことができます．この操作を行うと， $ X $ は ABBAA になり， $ Y $ と一致します．

$ 2 $ 番目のテストケースでは，どのように操作を行っても $ X $ を $ Y $ に一致させることができません．

Constraints

• $ 1 \leq T \leq 2.5\times 10^5 $
• $ 2 \leq N \leq 5\times 10^5 $
• 一つのテストケースに含まれる $ N $ の総和は $ 5\times 10^5 $ 以下
• $ X,Y $ は A, B からなる長さ $ N $ の文字列
• 入力される数値は全て整数