対称性より \(A_1\le A_2\) とします。

\(\operatorname{lcm}(X_1,X_2) \geq X_2\) より \(A_3 < A_2\) なら答えは No です。また、 \(\operatorname{lcm}(X_1,X_2) \le X_1\times X_2 < 10^{A_1+A_2}\) より \(A_3 > A_1+A_2\) でも答えは No となります。

これ以外の場合の答えは常に Yes です。具体的には、以下のように構築することができます：

• \(A_1+A_2=A_3\) のとき： \((X_1,X_2)=(8\times 10^{A_1-1}+1,8\times 10^{A_2-1})\)
• \(A_1+A_2 < A_3\) のとき： \((X_1,X_2)=(10^{A_1-1},10^{A_2}-10^{A_1+A_2-A_3-1})\)

実装例(Python3)

for _ in range(int(input())):
    a1, a2, a3 = map(int, input().split())
    swap = a1 > a2
    if swap:
        a1, a2 = a2, a1

    def o(x1, x2):
        print("Yes")
        if swap:
            x1, x2 = x2, x1
        print(x1, x2)

    if a3 > a1 + a2 or a3 < a2:
        print("No")
    elif a3 == a1 + a2:
        o(8 * 10 ** (a1 - 1) + 1, 8 * 10 ** (a2 - 1))
    else:
        o(10 ** (a1 - 1), 10**a2 - 10 ** (a1 + a2 - a3 - 1))