AT_agc063_c [AGC063C] Add Mod Operations

[problemUrl]: https://atcoder.jp/contests/agc063/tasks/agc063_c 非負整数列 $ A\ =\ (A_1,\ \ldots,\ A_N) $ および $ B=(B_1,\ \ldots,\ B_N) $ が与えられます． 以下の操作を $ 0 $ 回以上 $ N $ 回以下行うことで，$ A $ を $ B $ に一致させることができるか否かを判定してください． - 操作：$ 0\leq\ x\

入力は以下の形式で標準入力から与えられます． > $ N $ $ A_1 $ $ \ldots $ $ A_N $ $ B_1 $ $ \ldots $ $ B_N $

$ 0 $ 回以上 $ N $ 回以下の操作で $ A $ を $ B $ に一致させることが不可能な場合には，`No` と出力してください． ``` No ``` 可能な場合には，操作手順を次の形式で出力してください． > Yes $ K $ $ x_1 $ $ y_1 $ $ \vdots $ $ x_K $ $ y_K $ ここで $ K $ は操作回数で，$ x_i,\ y_i $ は $ i $ 回目の操作で選ぶ整数 $ x,y $ を表します．これらは次を満たす必要があります． - $ 0\leq\ K\leq\ N $ - $ 0\leq\ x_i\

### 制約 - $ 1\leq\ N\leq\ 1000 $ - $ 0\leq\ A_i\leq\ 10^9 $ - $ 0\leq\ B_i\leq\ 10^9 $ ### Sample Explanation 1 次のようにして $ A $ を $ B $ に一致させることができます． - はじめ $ A\ =\ (7,2,4,5) $ です． - $ (x,y)\ =\ (3,5) $ として操作を行うと，$ A\ =\ (0,0,2,3) $ になります． - $ (x,y)\ =\ (3,6) $ として操作を行うと，$ A\ =\ (3,3,5,0) $ になります．