def minimal_coins(n: int, a: str, b: str) -> List[Union[int, Tuple[int, int]]]:
    """
    One player came to a casino and found a slot machine where everything depends only on how he plays. The rules follow.
    
    A positive integer $a$ is initially on the screen. The player can put a coin into the machine and then add $1$ to or subtract $1$ from any two adjacent digits. All digits must remain from $0$ to $9$ after this operation, and the leading digit must not equal zero. In other words, it is forbidden to add $1$ to $9$, to subtract $1$ from $0$ and to subtract $1$ from the leading $1$. Once the number on the screen becomes equal to $b$, the player wins the jackpot. $a$ and $b$ have the same number of digits.
    
    Help the player to determine the minimal number of coins he needs to spend in order to win the jackpot and tell how to play.
    
    
    -----Input-----
    
    The first line contains a single integer $n$ ($2 \le n \le 10^5$) standing for the length of numbers $a$ and $b$.
    
    The next two lines contain numbers $a$ and $b$, each one on a separate line ($10^{n-1} \le a, b < 10^n$).
    
    
    -----Output-----
    
    If it is impossible to win the jackpot, print a single integer $-1$.
    
    Otherwise, the first line must contain the minimal possible number $c$ of coins the player has to spend.
    
    $\min(c, 10^5)$ lines should follow, $i$-th of them containing two integers $d_i$ and $s_i$ ($1\le d_i\le n - 1$, $s_i = \pm 1$) denoting that on the $i$-th step the player should add $s_i$ to the $d_i$-th and $(d_i + 1)$-st digits from the left (e. g. $d_i = 1$ means that two leading digits change while $d_i = n - 1$ means that there are two trailing digits which change).
    
    Please notice that the answer may be very big and in case $c > 10^5$ you should print only the first $10^5$ moves. Your answer is considered correct if it is possible to finish your printed moves to win the jackpot in the minimal possible number of coins. In particular, if there are multiple ways to do this, you can output any of them.
    
    
    -----Examples-----
    Input
    3
    223
    322
    
    Output
    2
    1 1
    2 -1
    
    Input
    2
    20
    42
    
    Output
    2
    1 1
    1 1
    
    Input
    2
    35
    44
    
    Output
    -1
    
    
    
    -----Note-----
    
    In the first example, we can make a +1 operation on the two first digits, transforming number $\textbf{22}3$ into $\textbf{33}3$, and then make a -1 operation on the last two digits, transforming $3\textbf{33}$ into $3\textbf{22}$.
    
    It's also possible to do these operations in reverse order, which makes another correct answer.
    
    In the last example, one can show that it's impossible to transform $35$ into $44$.
    """


# Tests

def check(candidate):
    assert candidate(3, '223', '322') == [2, (1, 1), (2, -1)]
    assert candidate(2, '20', '42') == [2, (1, 1), (1, 1)]
    assert candidate(2, '35', '44') == [-1]
    assert candidate(2, '99', '11') == [8, (1, -1), (1, -1), (1, -1), (1, -1), (1, -1), (1, -1), (1, -1), (1, -1)]
    assert candidate(2, '85', '96') == [1, (1, 1)]
    assert candidate(2, '37', '97') == [-1]
    assert candidate(28, '1467667189658578897086606309', '4558932538274887201553067079') == [-1]
    assert candidate(4, '7972', '7092') == [-1]
    assert candidate(100, '8089764625697650091223132375349870611728630464931601901362210777083214671357960568717257055725808124', '9512358653418449264455421855641556162252709608519133283842896597058892151122487184664631033189307143') == [-1]
    assert candidate(100, '9953193386677068656613259318876668712379728264442641118985565124997863365094967466749358773230804023', '8091280541105944531036832503933946712379728264442641118985565124997863365094967466749358285078040833') == [-1]
    assert candidate(2, '28', '94') == [-1]
    assert candidate(72, '965163527472953255338345764036476021934360945764464062344647103353749065', '372568474736462416171613673826141727582556693945162947273839050948355408') == [-1]
    assert candidate(100, '2908390908193827080719193819090807182908181818190719252809190619181919190829170919080919291718191927', '2817182917394829094615163908183408282718051819180808290729591738291918272728373717180807070717070838') == [-1]
check(minimal_coins)