ヒント：https://atcoder.jp/contests/arc211/editorial/14503

\(X=Y\) のとき

\(\max(\max(S_1),\max(S_2),\max(S_3))=0\) が達成可能です。

• \(S_1\)：\(X\) 個の \(0\) からなる数列
• \(S_2\)：\(Z\) 個の \(0\) からなる数列
• \(S_3\)：\(Z\) 個の \(0\) からなる数列

が条件を満たします。明らかに長さの制約も満たしています。

\(X\lt Y\) のとき

長さを適当に調節して観察すると、\(\max(\max(S_1),\max(S_2),\max(S_3))=0\) は達成不可であることがわかります。

\(\max(\max(S_1),\max(S_2),\max(S_3))=1\) は常に達成可能です。これは複数の方法で構築できます。\(2\) つの解法を示しますが、どちらの場合も長さの制約を満たしていることは容易に確認できます。

writer解

• \(S_1\)：\(X\) 個の \(1\) と \(Y\) 個の \(0\) をこの順につなげた数列
• \(S_2\)：\(Z\) 個の \(1\) からなる数列
• \(S_3\)：\(Y\) 個の \(0\) と \(Z\) 個の \(1\) をこの順につなげた数列

が条件を満たします。

admin/tester解

• \(S_1\)：\(X\) 個の \(0\) と \(Y-X\) 個の \(1\) をこの順につなげた数列
• \(S_2\)：\(Z\) 個の \(0\) からなる数列
• \(S_3\)：\(Z\) 個の \(0\) と \(Y-X\) 個の \(1\) をこの順につなげた数列

が条件を満たします。（この解法だと、\(X=Y\) の場合分けがいらなくて楽かもしれません。微々たる差ですが。）

実装例 (Python (Codon 0.19.3), 27ms)

X, Y, Z = [int(i) for i in input().split()]

if X == Y:
    print(X, " ".join(["0"] * X))
    print(Z, " ".join(["0"] * Z))
    print(Z, " ".join(["0"] * Z))

else:
    print(X + Y, " ".join(["1"] * X + ["0"] * Y))
    print(Z, " ".join(["1"] * Z))
    print(Y + Z, " ".join(["0"] * Y + ["1"] * Z))

Bonus!: 出力できる数列の長さの最大値を \(X\) とします。出力形式が正しいとき、\(O(X^2)\) の計算量で確実に正しい判定結果を返す出力判定器を作りましょう。